Intranet Tools

nb. next round of REF2013 will NOT be using data from eprints.ecs, but the central university REF interface.

RSS 1.0 Feed
RSS 2.0 Feed
Atom Feed
 
Warning

Important message for ECS staff
From 1st March 2012 ECS EPrints will be merging with the central Southampton EPrints Repository (ePrints Soton) and will no longer be accepting new publications - click here to find out more.

Items from Current ECS Groups > Electronic and Software Systems in 2006
(Grouped by Nothing)

Up a level
Export as [feed] Atom [feed] EPP RSS 2.0 [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Creator/Authors Name
Number of items: 93.

Guyon, I. M., Gunn, S. R., Nikravesh, M. and Zadeh, L., eds. (2006) Feature Extraction, Foundations and Applications. Springer. (In Press)

Saunders, C. J., Gunn, S. R., Grobelnik, M. and Shawe-Taylor, J., eds. (2006) Subspace, Latent Structure and Feature Selection techniques. Springer. (In Press)

Al-Hashimi, B. M., ed. (2006) System-on-Chip: Next Generation Electronics. IEE Press. ISBN 0-86341-552-0

Abrial, J. R., Butler, M., Hallerstede, S. and Voisin, L. (2006) An open extensible tool environment for Event-B. In: ICFEM 2006, November 2006, Macau.

Baldan, P., Corradini, A., Heindel, T., König, B. and Sobocinski, P. (2006) Processes for adhesive rewriting systems. In: Foundations of Software Science and Computation Structures, March 25-31, 2006, Vienna, Austria. pp. 202-216.

Ball, E. and Butler, M. (2006) Using Decomposition to Model Multi-agent Interaction Protocols in Event-B. In: FM'06 Doctoral Symposium, August 2006, McMaster University, Hamilton, Canada. (In Press)

Boulain, P. R., Parker, M. B., Millard, D. E. and Wills, G. B. (2006) Weerkat: An extensible semantic Wiki. In: 8th Annual Conference on WWW Applications, 6 to 8 September 2006, Bloemfontein, Free State Province, South Africa.

Butler, M. (2006) On the Verified-by-Construction Approach. FACS FACTS .

Butler, M., Jones, C. B., Romanovsky, A. and Troubitsyna, E. (2006) Rigorous Development of Complex Fault-Tolerant Systems. Lecture Notes in Computer Science, 4157 Springer. ISBN 3-540-48265-2

Cai, Y., Schmitz, M., Al-Hashimi, B. M. and Reddy, S. M. (2006) Workload-Ahead-Driven Online Energy Minimization Techniques for Battery-Powered Embedded Systems with Time-Constraints. ACM Transactions on Design Automation of Electronic Systems .

Cai, Y., Schmitz, M., Ejlali, A., Al-Hashimi, B. and Reddy, S. (2006) Cache Size Selection for Performance, Energy and Reliability of Time-Constrained Systems. In: 11th Asia and South Pacific Design Automation Conference (ASP-DAC 2006), Japan. (In Press)

Cirstea, C. (2006) An Institution of Modal Logics for Coalgebras. Journal of Logic and Algebraic Programming, 67 (1-2). pp. 87-113.

Cirstea, C. (2006) A modular approach to defining and characterising notions of simulation. Information and Computation, 204 (4). pp. 469-502. ISSN 0890-5401

Cirstea, C. (2006) Modularity in Coalgebra. In: 8th International Workshop on Coalgebraic Methods in Computer Science. pp. 3-26.

Collins, M., Al-Hashimi, B. and Wilson, P. (2006) On-chip timing measurement architecture with femtosecond resolution. Electronics Letters, 42 (9). pp. 528-530.

Collins, M. and Al-Hashimi, B. M. (2006) On-Chip Time Measurement Architecture with Femtosecond Timing Resolution. In: 11th IEEE European Test Symposium (ETS'06), 21-25 May, Southampton, UK. (In Press)

Collins, M. and Al-Hashimi, B. M. (2006) On-Chip Time Measurement Architecture with Femtosecond Timing Resolution. In: 11th IEEE European Test Symposium (ETS'06), 21-25 May, Southampton, UK.

Danos, V., Krivine, J. and Sobocinski, P. (2006) General reversibility. In: 13th International Workshop on Expressiveness in Concurrency, Express '06, 26 August, 2006, Bonn, Germany.

Denney, E., Fischer, B. and Schumann, J. (2006) An Empirical Evaluation of Automated Theorem Provers in Software Certification. International Journal on Artificial Intelligence Tools, 15 (1). pp. 81-107. ISSN 0218-2130

Dhanjal, C., Gunn, S. R. and Shawe-Taylor, J. (2006) Sparse Feature Extraction using Generalised Partial Least Squares. In: IEEE International Workshop on Machine Learning for Signal Processing, September 2006, Maynooth, Ireland. pp. 27-32.

DILILLO, L., ROSINGER, P., AL-HASHIMI, B. M. and GIRARD, P. (2006) Minimizing Test Power in SRAM through Reduction of Pre-charge Activity. In: DATE - Design Automation and Test in Europe, 6-10 March 2006, Munich, Germany. (In Press)

Dilillo, L., Hashimi, B. M., Rosinger, P. and Girard, P. (2006) Leakage Read Fault in Nanoscale SRAM: Analysis, Test and Diagnosis. In: International Design and Test Workshop, 19-20 November 2006, Duday.

Dilillo, L., Rosinger, P., Al-Hashimi, B. M. and Girard, P. (2006) Reducing Power Dissipation in SRAM during Test. Journal of Low Power Electronics . (In Press)

Ejlali, A., Al-Hashimi, B. M., Schmitz, M., Rosinger, P. and Miremadi, S. G. (2006) Combined Time and Information Redundancy for SEU-Tolerance in Energy-Efficient Real-Time Systems. IEEE Transactions on Very Large Scale Integration (VLSI) Systems . ISSN 1063-8210 (In Press)

El-Maleh, A., Khursheed, S. S. and M. Sait, S. (2006) Efficient Static Compaction Techniques for Sequential Circuits Based on Reverse-Order Restoration and Test Relaxation. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 25 (11).

Evans, N. and Butler, M. (2006) Incremental Construction of Large Specifications: Case Study and Techniques. Technical Report , Electronics and Computer Science, University of Southampton. (Submitted)

Evans, N. and Butler, M. (2006) A Proposal for Records in Event-B. In: Formal Methods 2006, August 2006, McMaster, Canada. pp. 221-235.

Fraga, E. S., Wills, G., Fairweather, M. and Perris, T. (2006) “Smart Models” - a framework for adaptive multi-scale modelling. In: 16th European Symposium on Computer Aided Process Engineering and 9th International Symposium on Process Systems Engineering, July 9 – 13, 2006, Garmisch-Partenkirchen, Germany.

Garrido, J. S., Piachocki, R., Maharatna, K. and McNamara, D. (2006) Analogue MIMO detection on the basis of belief propagation. In: IEEE Mid-West Symposium on Circuits and Systems (MWSCAS) 2006.

Garrido, J. S., Piachocki, R., Maharatna, K. and McNamara, D. (2006) MIMO detection in analogue VLSI. In: IEEE International Symposium on Circuits and Systems (ISCAS) 2006, Kos, Greece. pp. 4895-4898.

Gilbert, L., Sitthisak, O., Sim, Y. W., Wang, C. and Wills, G. (2006) From collaborative virtual research environment to teaching and learning. In: TENcompetence Workshop: Learning Networks for Lifelong Competence Development, 30-31 March 2006, Sofia, Bulgaria.

Grange, S., Wang, C., Gilbert, L., Sim, Y. W., Millard, D. E., Hall, W., Gardner, E. and Wills, G. B. (2006) A Web/Grid Services Approach for Integration of Virtual Clinical & Research Environments. In: Integrated Health Records “Practice and Technologies”, 9-10th March, National eScience Centre (NeSC), Edinburgh.

Grange, S. (2006) A Virtual University Infrastructure For Orthopaedic Surgical Training With Integrated Simulation. PhD thesis, University of Exeter, United Kingdom.

Gravell, A. M. (2006) Verification Conditions are Code. Acta Informatica, 43 . pp. 431-477.

Guo, B., Gunn, S. R., Damper, R. I. and Nelson, J. D. B. (2006) Band selection for hyperspectral image classification using mutual information. IEEE Geoscience and Remote Sensing Letters, 3 (4). pp. 522-526.

Islam, A. H. M. R., Shafik, R. A. and Ali, S. (2006) Comparative Performance of Non-linear Distortion Effects in OFDM-RoF Link. In: IEEE-TENCON2006, 14-17 November, HongKong.

Islam, A. H. M. R., Shafik, R. A., Hassan, M. I. and Song, J. B. (2006) Next Generation Converged Connectivity Model for Rural Business Opportunities in Developing Countries. In: 2nd IEEE ComSoc Joint International Conference on Optical Internet and Next-generation Network (COIN-NGNCON 2006), Jeju Island, Korea. pp. 272-274.

Islam, A. H. M. R., Shafik, R. A., Hassan, M. I. and Song, J. B. (2006) Next Generation Rural Wireless Connectivity Model For Developing Countries. In: 12th IEEE Asia Pacific Conference on Communications (APCC2006), August 31 - September 1, Busan, Korea.

Islam, A. H. M. R., Shafik, R. A., Rahman, M. S. and Song, J. B. (2006) On The Non-linear Distortion Effects in an OFDM-RoF Link. In: 2nd IEEE International Conference on Emerging Technologies (IEEE-ICET2006), 13-14 November, 2006, Peshawar, Pakistan. pp. 20-26.

Islam, A. H. R., Shafik, R. A. and Song, J. B. (2006) ACPR Performance of OFDM Systems. Journal of Kyung-Hee Devan Design Centre, 14 (1). pp. 61-65.

Lack, S. and Sobocinski, P. (2006) Toposes are adhesive. In: International Conference on Graph Transformation (ICGT '06), September 17-23, 2006, Natal, Brazil. pp. 184-198.

Leavens, G. T., Abrial, J. R., Batory, D., Butler, M., Coglio, A., Fisler, K., Hehner, E., Jones, C. B., Miller, D., Peyton-Jones, S., Sitaraman, M., Smith, D. R. and Stump, A. (2006) Roadmap for Enhanced Languages and Methods to Aid Verification. In: Generative Programming and Component Engineering, 5th International, October 22-26, 2006, Portland, Oregon.

Leeke, S. and Maharatna, K. (2006) A low-power geometric mapping co-processor for high-speed graphics application. In: IEEE International Symposium on Circuits and Systems (ISCAS) 2006, Kos, Greece. pp. 3193-3196.

Leuschel, M., Butler, M., Spermann, C. and Turner, E. (2006) Symmetry Reduction for B by Permutation Flooding. In: B2007, January 2007, Besancon, France. (In Press)

Lo Presti, S., Butler, M., Leuschel, M. and Booth, C. (2006) Holistic Trust Design of E-Services. In: Trust in E-services: Technologies, Practices and Challenges, UNSPECIFIED. (In Press)

Longpradit, P., Bailey, C., Hall, W. and Wills, G. (2006) Personalised Navigation System with Multidimensional Linkbases. In: Adaptive Hypermedia and Adaptive Web-Based Systems 2006, 21-23 June 2006, National College of Ireland, Dublin.

Maharatna, K. (2006) A low-power 128-pt FFT for wireless personal area network. In: International Conference on Electronic and Photonic Materials, Devices and Systems (EPMDS) 2006, Calcutta, India. pp. 11-14.

Maharatna, K., Troya, A., Kristic, M. and Grass, E. (2006) On the Implementation of a Low-Power IEEE 802.11a Compliant Viterbi Decoder. In: 19th VLSI Design Conference 2006, Hyderabad, India.

Makola, D., Sim, Y. W., Wang, C., Gilbert, L., Grange, S. A. W. and Wills, G. B. (2006) A Service-Oriented Architecture for a Collaborative Orthopaedic Research Environment. In: 8th Annual Conference on WWW Applications, 6 to 8 September 2006, Bloemfontein, Free State Province, South Africa.

Maneewatthana, T., Wills, G. and Hall, W. (2006) Adaptation in Adaptable Personal Information Environment. In: Adaptive Hypermedia and Adaptive Web-Based Systems, June 20th - June 23rd, 2006, Dublin, Ireland.

Matthew, J., Maharatna, K. and Pradhan, D. (2006) Exploration of Power Optimal Implementation Technique of 128-Pt FFT/IFFT for WPAN using Pseudo-Parallel Datapath Structure. In: 10th IEEE International Conference on Communication Systems (ICCS) 2006, Singapore.

Merrett, G. V., Harris, N. R., Al-Hashimi, B. M. and White, N. M. (2006) Rule Managed Reporting in Energy Controlled Wireless Sensor Networks. In: Eurosensors XX, 17th-20th September 2006, Gothenburg, Sweden. pp. 402-403.

Merrett, G. V., Harris, N. R., Al-Hashimi, B. M. and White, N. M. (2006) Energy Controlled Reporting for Industrial Monitoring Wireless Sensor Networks. In: IEEE Sensors 2006, 22nd-25th October 2006, Daegu, Korea. pp. 892-895.

Merrett, G. V., Weddell, A. S., Harris, N. R., White, N. M. and Al-Hashimi, B. M. (2006) The Unified Framework for Sensor Networks: A Systems Approach. Technical Report UF1, School of Electronics & Computer Science, University of Southampton. (Unpublished)

Miles-Board, T., Carr, L., Wills, G., Power, G., Bailey, C., Hall, W., Stenning, M. and Grange, S. (2006) Extending the role of a healthcare digital library environment to support orthopaedic research. Health Informatics Journal, 12 (2). pp. 93-105.

Millard, D., Bailey, C., Davis, H., Gilbert, L., Howard, Y. and Wills, G. (2006) The e-Learning Assessment Landscape. In: International Conference on Advanced Learning Technologies (ICALT) 2006, 5-7 July, 2006, Kerkrade, The Netherlands.

Millard, D., Doody, K., Davis, H., Howard, Y., Gilbert, L., Tao, F. and Will, G. (2006) (Semantic Web) Services for e-Learning. In: 2nd International ELeGI Conference on Advanced Technology for Enhanced Learning, Oct 2006, Barcelona.

Millard, D., Howard, Y., Chennupati, S., Davis, H., Jam, E. R., Gilbert, L. and Wills, G. (2006) Design Patterns for Wrapping Similar Legacy Systems with Common Service Interfaces. In: European Conference on Web Services (ECOWS) 2006, 4-6 December, 2006, Zurich, Switzerland.

Millard, D. E., Howard, Y., Jam, E. R., Chennupati, S., Davis, H. C., Gilbert, L. and Wills, G. B. (2006) FREMA method for describing Web Services in a Service Oriented Architecture. Technical Report ECSTR-IAM06-002, ECS, University of Southampton.

Nelson, J. D. B., Damper, R. I., Gunn, S. R. and Guo, B. (2006) Signal theory for SVM kernel parameter estimation. In: IEEE International Workshop on Machine Learning for Signal Processing, Maynooth, Ireland. pp. 149-154.

Nguyen, N. and Rathke, J. (2006) Typed Static Analysis for Concurrent, Policy-Based, Resource Access Control. In: PASSWORD workshop, ECOOP, Nantes. (Unpublished)

Parker, M., Stofberg, C., De la Harpe, R., Venter, I. and Wills, G. (2006) DATA QUALITY: HOW THE FLOW OF DATA INFLUENCES DATA QUALITY IN A SMALL TO MEDIUM MEDICAL PRACTICE. In: Community informatics for developing countries: Understanding and organising for a participatory future information society, 31 August -2 September 2006, Cape Town, South Africa.

Parker, M. B., Moleshe, V., De la Harpe, R. and Wills, G. B. (2006) An evaluation of Information quality frameworks for the World Wide Web. In: 8th Annual Conference on WWW Applications, 6-8th September 2006, Bloemfontein, Free State Province, South Africa.

Paventhan, A., Takeda, K., Cox, S. J. and Nicole, D. A. (2006) Leveraging Windows Workflow Foundation for Scientific Workflows in Wind Tunnel Applications. In: Proceedings of the 22nd International Conference on Data Engineering Workshops (ICDEW'06), pp. 65-74, IEEE Computer Society. ISBN 0-7695-2571-7

Paventhan, A., Takeda, K., Cox, S. J. and Nicole, D. A. (2006) Workflows for Wind Tunnel Grid Applications. Lecture Notes in Computer Science Computational Science – ICCS 2006, 3993 . pp. 928-935. ISSN 0302-9743

Pearce, C. B., Gunn, S. R., Ahmed, A. and Johnson, C. D. (2006) Machine Learning Can Improve Prediction of
Severity in Acute Pancreatitis using Admission
Values of APACHE II Score and C-Reactive Protein.
Pancreatology, 6 . pp. 123-131.

Poppleton, M. and Groves, L. (2006) Formal perspectives on software evolution:
from refinement to retrenchment.
In: Software Evolution and Feedback: Theory and Practice, pp. 313-338, John Wiley. ISBN 0470871806

Razali, R. and Garratt, P. W. (2006) Measuring the Comprehensibility of a UML-B Model and a B Model. Enformatika Transactions onEngineering Computing and Technology, Vol 16 . pp. 338-343.

Razali, R. and Garratt, P. W. (2006) Measuring the Comprehensibility of a UML-B model and a B model. In: International Conference on Computer and Information Science and Engineering (CISE 2006), 24-26 November 2006, Venice, Italy. pp. 338-343.

Rezazadeh, A. (2006) Formal Patterns for Web-based Systems Design. PhD thesis, University of Southampton.

Ripon, S. and Butler, M. (2006) Relating Semantic Models of Compensating CSP. Technical Report , Electronics and Computer Science, University of Southampton.

Sadrzadeh, M. and Cirstea, C. (2006) Relating Algebraic and Coalgebraic Logics of Knowledge and Update. In: Logic and the Foundations of Game and Decision Theory, July 13-16, University of Liverpool.

Shafik, R. A., Rahman, M. S., Adnan, N. A. and Islam, M. S. (2006) On the Lempel-Ziv-Welch Coded Speech Transmission and Markov Chain Detection. In: 2nd IEEE International Conference on Emerging Technologies (IEEE-ICET2006), 13-14 November, 2006, Peshawar, Pakistan. pp. 183-187.

Shafik, R. A., Rahman, M. S., Islam, A. H. M. R. and Ashraf, N. S. (2006) On the error vector magnitude as a performance metric and comparative analysis. In: 2nd IEEE International Conference on Emerging Technologies (IEEE-ICET2006), 13-14 November, 2006, Peshawar, Pakistan. pp. 27-31.

Shafik, R. A., Rahman, M. S. and Islam, A. H. M. R. (2006) On the Extended Relationships Among EVM, BER and SNR as Performance Metrics. In: 4th International Conference on Electrical and Computer Engineering, December, 2006, Dhaka, Bangladesh. pp. 408-411.

Sim, Y. W., Crowder, R. M. and Wills, G. B. (2006) Expert Finding by Capturing Organisational Knowledge from Legacy Documents. In: IEEE International Conference on Computer & Communication Engineering (ICCCE '06), 9-11 May 2006, Kuala Lumpur, Malaysia.

Snook, C. and Butler, M. (2006) UML-B: Formal modelling and design aided by UML. ACM Transactions on Software Engineering and Methodology, 15 (1). pp. 92-122. ISSN 1049-331X

Turner, E. and Butler, M. (2006) Symmetry Reduction in the ProB Model Checker. In: FM2006 Doctoral Symposium, 21-27 August 2006, McMaster University, Canada. (In Press)

Walters, R. J., Millard, D. E., Bernnett, P., Argles, D., Crouch, S., Gilbert, L. and Wills, G. (2006) Teaching the Grid: Learning Distributed Computing with the M-grid Framework. In: ED-MEDIA 2006--World Conference on Educational Multimedia, Hypermedia & Telecommunications, 26th-30th June 2006, Orlando, USA. pp. 3857-3864.

Watkins, E. R. and Nicole, D. A. (2006) Named Graphs as a Mechanism for Reasoning about Provenance. Lecture Notes in Computer Science Frontiers of WWW Research and Development - APWeb 2006: 8th Asia-Pacific Web Conference, Harbin, China, January 16-18, 2006. Proceedings, 3841 . pp. 943-948. ISSN 0302-9743

White, S. A., Carr, L. A., Davis, H. C., Hooper, C. J., Griffith, T. P. and Wills, G. B. (2006) ANNANN – Next Steps for Scaffolding Learning About Programs. In: The 6th IEEE International Conference on Advanced Learning Technologies (ICALT 2006), July 5 - 7, 2006, Kerkrade, The Netherlands.

Wills, G., Davis, H., Chennupati, S., Gilbert, L., Howard, Y., Jam, E. R., Jeyes, S., Millard, D., Sherratt, R. and Willingham, G. (2006) R2Q2: Rendering and Reponses Processing for QTIv2 Question Types. In: 10th International CAA Conference, 4th and 5th July 2006, Loughborough University, UK.

Wilson, P. R., Al Hashimi, B., Brown, A. D. and Zwolinski, M. (2006) A Masters Course in System on Chip. In: European Workshop on Microelectronics Education, June 2006, Stockholm. pp. 11-14.

Wong, S. C., Crowder, R. M., Shadbolt, N. R. and Wills, G. B. (2006) Knowledge Management for a Large Service-Oriented Corporation. In: Practical Aspects of Knowledge Management (PAKM), 30 November - 1 December, Vienna, Austria. pp. 326-337.

Wong, S. C., Crowder, R. M. and Wills, G. B. (2006) On a Service-Oriented Approach for an Engineering Knowledge Desktop. In: 15th International World Wide Web Conference (WWW2006), 23-26 May 2006, Edinburgh, Scotland.

Wong, S. C., Crowder, R. M., Wills, G. B. and Shadbolt, N. R. (2006) Knowledge Engineering - From Front-line Support to Preliminary Design. In: ACM Symposium on Document Engineering (DocEng), 10-13 October 2006, Amsterdam, The Netherlands. pp. 44-52.

Wu, D., Al-Hashimi, B. M. and Schmitz, M. T. (2006) Improving Routing Efficiency for Network-on-Chip through Contention-Aware Input Selection. In: 11th Asia and South Pacific Design Automation Conference (ASP-DAC 2006), 2006, Japan. (In Press)

Wuertemberger, A., Rosinger, P., Al-Hashimi, B. and Chakrabarty, K. (2006) Cost Model-Driven Test Resource Partitioning for SoCs. IEE Electronics Letters .

Yadav, D. and Butler, M. (2006) Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems using Event B. In: Rigorous Development of Complex Fault-Tolerant Systems, pp. 343-363, Lecture Notes in Computer Science, Springer , 2006. ISBN 3-540-48265-2

Zadorozhnii, V. I., Vasilev, A. N., Reshetnyak, V. Y., Thomas, K. S. and Sluckin, T. J. (2006) Nematic director response in ferronematic cells. EUROPHYSICS LETTERS, 73 (3). pp. 408-414.

Zain Ali, N. B., Zwolinski, M., Al-Hashimi, B. M. and Harrod, P. (2006) Dynamic Voltage Scaling Aware Delay Fault Testing. In: European Test Symposium, May 21-25, 2006, Southampton.

Zhang, Z., M. Reddy, S., Pomeranz, I., Rajski, J. and M. Al-Hashimi, B. (2006) Enhancing Delay Fault Coverage through Low Power Segmented Scan. 11th IEEE European Test Symposium, Southampton, UK, 21-24 May 2006 .

Zhiyuan, H., Peng, Z., Eles, P., Rosinger, P. and Al-Hashimi, B. M. (2006) Thermal-aware SoC test scheduling with test set partitioning and interleaving. In: ”, International Symposium on Defect and Fault Tolerance in VLSI System, 3-4 October 2006, Washington DC. (In Press)

This list was generated on Wed Oct 22 00:56:18 2014 BST.
  Welcome from Deputy Head of School (Research) Research Prospectus Industrial Partnerships New Research Students Notes for Guidance New Research Students Notes for Guidance
The ECS EPrints Repository supports OAI 2.0 with a base URL of http://eprints.ecs.soton.ac.uk/cgi/oai2

EPrints is free software developed by the University of Southampton to facilitate Open Access to research.
EPrints