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 2002
(Grouped by Item Type)

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: 69.

Article

Butler, M. J. (2002) On the Use of Data Refinement in the Development of Secure Communications Systems. Formal Aspects of Computing, 14 (1). pp. 2-34.

Butler, M. (2002) A System-based Approach to the Formal Development of Embedded Controllers for a Railway. Design Automation for Embedded Systems, 6 . pp. 355-366.

Butler, M., Ferreira, C., Henderson, P., Chessell, M., Griffin, C. and Vines, D. (2002) Extending the Concept of Transaction Compensation. IBM Systems Journal, 47 . pp. 743-758.

Chang, C. M., Al-Hashimi, B. M., Chen, H. P., Tu, S. H. and Wan, J. A. (2002) Current mode single resistance controlled oscillators using only grounded passive components. Electronics Letters, 38 (19). pp. 1071-1072.

Cirstea, C. (2002) A coalgebraic equational approach to specifying observational structures. Theoretical Computer Science, 280 (1). pp. 35-68. ISSN 0304-3975

Gao, J. B., Gunn, S. R., Harris, C. J. and Brown, M. (2002) A Probabilistic Framework for SVM Regression and Error Bar Estimation. Machine Learning, 46 . pp. 71-89.

Gunn, R. N., Gunn, S. R., Turkheimer, F. E., Aston, J. A. D. and Cunningham, V. J. (2002) Positron emission tomography compartmental models: A basis pursuit strategy for kinetic modelling. Journal of Cerebral Blood Flow and Metabolism, 22 (12). pp. 1425-1439.

Gunn, S. R. and Kandola, J. S. (2002) Structural Modelling with Sparse Kernels. Machine Learning, 48 (1). pp. 137-163.

Nicolici, N. and Al-Hashimi, B. M. (2002) Power-conscious test synthesis and scheduling. IEEE Proceedings of Design and Test of Computers, 20 (4). pp. 48-55. ISSN 0740-7475

Rosinger, P., Al-Hashimi, B. and Nicolici, N. (2002) Power Profile Manipulation: A New Approach for Reducing Test Application Time Under Power Constraints. IEEE Transactions on Computer Aided Design of Integrated Circuits .

Schmitz, M. T., Al-Hashimi, B. M. and Eles, P. (2002) Synthesizing Energy-Efficient Embedded Systems with LOPOCOS. Design Automation for Embedded Systems, 6 . pp. 401-424.

Shi, D., Gunn, S. R. and Damper, R. I. (2002) Handwritten Chinese character recognition using nonlinear active shape models and the Viterbi algorithm. Pattern Recognition Letters, 23 (14). pp. 1853-1862.

Snelling, D., van den Berghe, S., von Laszewski, G., Wieder, P., Breuer, D., MacLaren, J., Nicole, D. and Hoppe, H. C. (2002) A Unicore Globus Interoperability Layer. Computing and Informatics, 21 (4). pp. 399-411. ISSN 1335-9150

Wills, G., Sim, Y. W., Crowder, R. and Hall, W. (2002) Open Hypermedia for Product Support. International Journal of Systems Science, 33 (6). pp. 421-432. ISSN 0020 7721

Conference or Workshop Item

(2002) Low Power Systems-on-Chip. In: UNSPECIFIED.

(2002) Scan Architecture for Shift and Capture Cycle Power Reduction. In: International Symposium on Defect and Fault Tolerance in VLSI Systems, November 2002, Vancouver, Canada. (In Press)

Butler, M. and Falampin, J. (2002) An Approach to Modelling and Refining Timing Properties in B. In: Refinement of Critical Systems (RCS).

Cirstea, C. (2002) Institutionalising many-sorted coalgebraic modal logic. In: 5th International Workshop on Coalgebraic Methods in Computer Science, 6-7 April 2003, Grenoble, France.

Cirstea, C. (2002) On specification logics for algebra-coalgebra structures: reconciling reachability and observability. In: Foundations of Software Science and Computation Structures Conference, 10-12 April 2002, Grenoble, France. pp. 82-97.

Doche, M. and Gravell, A. M. (2002) Extraction of Abstraction Invariants for Data Refinement. In: ZB 2002, January 2002, Grenoble. pp. 120-139.

Gao, J. B., Gunn, S. R. and Kandola, J. S. (2002) Adapting Kernels by Variational Approach in SVM. In: 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia. pp. 395-406.

Garratt, P. W. and Hosier, A. (2002) ASHTALK:SOFTWARE ACHIEVING DELAY-FREE VOICE TRANSMISSION OVER A LOCAL AREA NETWORK. In: Software Engineering,Artificial Intelligence,Networking and Parallel/distributed Computing, June 2002, Madrid. pp. 287-294.

Gonciari, P. T., Al-Hashimi, B. and Nicolici, N. (2002) Improving Compression Ratio, Area overhead, and Test Application Time in System-on-a-Chip Test Data Compression/Decompression. In: Proceedings Design, Automation, and Test in Europe (DATE). pp. 604-611.

Gonciari, P. T., Al-Hashimi, B. and Nicolici, N. (2002) Reducing Synchronization Overhead in Test Data Compression Environments. In: Proceedings IEEE European Test Workshop (ETW).

Gonciari, P. T., Al-Hashimi, B. and Nicolici, N. (2002) Useless Memory Allocation: Problems and Solutions. In: Proceedings IEEE VLSI Test Symposium (VTS). pp. 423-430.

Gonciari, P. T., Al-Hashimi, B. and Nicolici, N. N. (2002) Integrated Test Data Decompression and Core Wrapper Design for Low-Cost System-on-a-Chip Testing. In: Proceedings IEEE International Test Conference (ITC). pp. 64-73. (In Press)

Grange, S., Setchell, C., Campbell, N., Wills, G. and Bunker, T. (2002) Integrating Learning And Visualization Technologies In Orthopaedics:- Establishing The Virtual Orthopaedic European University. In: Surgetica 2002, 18-20 September, Grenoble. pp. 353-363.

Grass, E., Sarker, B. and Maharatna, K. (2002) Dual Mode Synchronous/Asynchronous CORDIC Processor. In: 8th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) 2002, Manchester, UK. pp. 76-83.

Gunn, R. N., Gunn, S. R., Turkheimer, F. E., Aston, J. A. D. and Cunningham, V. J. (2002) Tracer kinetic modeling via basis pursuit. In: Brain Imaging using PET.

Henderson, P., Walters, R. J. and Crouch, S. (2002) RICES: Reasoning about Information Consistency across Enterprise Solutions. In: Systems Enginerring for Business Process Change: New Directions. pp. 367-371.

Hiett, B. P., Beckett, D. H., Cox, S. J., Generowicz, J. M., Molinari, M. and Thomas, K. S. (2002) Application of Finite Element Methods to Photonic Crystal Modelling. In: UNSPECIFIED.

Mikhailov, L. and Butler, M. (2002) An Approach to Combining B and Alloy. In: ZB'2002.

Ng, M. Y. and Butler, M. (2002) Tool Support for Visualizing CSP in UML. In: International Conference on Formal Engineering Methods(ICFEM), October 21-25, 2002, Shanghai, China. pp. 287-298.

Nicolici, N. and Al-Hashimi, B. (2002) Multiple Scan Chains for Power Minimization during Test Application in Sequential Circuits. In: UNSPECIFIED. pp. 721-733.

Owen, T., Rathke, J., Wakeman, I. and Watson, D. (2002) Implementing Policies in Programs using Labelled Transition Systems. In: Cosener's House Multi-Service Networks Conference.

Owen, T., Rathke, J., Wakeman, I. and Watson, D. (2002) A Model for Controlling Program Behaviour in Pervasive Networks. In: Fifth IEEE Workshop on Networked Appliances, Liverpool.

Poppleton, M. and Banach, R. (2002) Controlling control systems: an application of evolving retrenchment. In: ZB2002: Formal Specification and Development in Z and B, January 2002, Grenoble, France. pp. 42-61.

Power, G., Damper, R. I., Hall, W. and Wills, G. B. (2002) Realism and naturalness in a conversational multi-modal interface. In: ISCA Workshop on Interactive Dialogue in Mobile Environments, Kloster Irsee, Germany. CD-ROM.

Power, G., Wills, G. and Hall, W. (2002) User Perception of Anthropomorphic Characters with Varying Levels of Interaction. In: HCI 2002, The 16th British HCI Group Annual Conference, 2nd to 6th September 2002, London. pp. 37-51.

Rosinger, P., Gonciari, P., Al-Hashimi, B. M. and Nicolici, N. (2002) Analysing trade-offs in scan power and test data compression for Systems-on-a-chip. In: UNSPECIFIED.

Rosinger, P., Al-Hashimi, B. and Nicolici, N. (2002) Low Power Mixed-Mode BIST Based on Mask Pattern Generation Using Dual LFSR Re-seeding. In: International Conference on computer Design, September 2002, Freiburg.

Sarker, B., Grass, E. and Maharatna, K. (2002) Asynchronous CORDIC processor implementation. In: 2nd Asynchronous Circuit Design Workshop (AciD) 2002.

Sassone, V. and Sobocinski, P. (2002) Deriving Bisimulation Congruences: A 2-Categorical Approach. In: 9th Int. Workshop on Expressiveness in Concurrency, EXPRESS 2002.. 19 pp..

Schmitz, M. T., Al-Hashimi, B. M. and Eles, P. (2002) Energy-Efficient Mapping and Scheduling for DVS Enabled Distributed Embedded Systems. In: Design, Automation and Test Europe Conference (DATE2002), March 2002, Paris, France. pp. 514-521.

Troya, A., Maharatna, K., Krstic, M., Grass, E. and Kraemer, R. (2002) OFDM synchronizer implementation for an IEEE 802.11(a) compliant modem. In: IASTED International Conference on Wireless and Optical Communication, 2002, Banff, Canada. pp. 152-157.

Varea, M., Al-Hashimi, B. and Leuschel, M. (2002) Finite and Infinite Model Checking of Dual Transition Petri Net Models. In: Second Workshop on Automated Verification of Critical Systems (AVOCS), 15-16 April 2002, Birmingham, UK. pp. 265-269.

Varea, M., Al-Hashimi, B. M., Cortes, L. A., Eles, P. and Peng, Z. (2002) Symbolic Model Checking of Dual Transition Petri Nets. In: International Symposium on Hardware/Software Codesign (CODES), 6-8 May 2002, Estes Park, Colorado, USA. pp. 43-48.

Walters, R. J. (2002) A graphically based language for constructing, executing and analysing models of software systems. In: 26 th Annual International Computer Software and Applications Conference, 26-29 August 2002, Oxford, England. pp. 363-369.

Whalen, M., Schumann, J. and Fischer, B. (2002) AutoBayes/CC --- Combining Program Synthesis with Automatic Code Certification (System Description). In: 18th International Conference on Automated Deduction, July 27-30, 2002, Copenhagen. pp. 290-294.

Whalen, M., Schumann, J. and Fischer, B. (2002) Synthesizing Certified Code. In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, July 22-24, 2002, Copenhagen. pp. 431-450.

Wilcock, R. and Al-Hashimi, B. M. (2002) Analogue Filter IP Cores for Design Reuse. In: IEE Conference on Analog Signal Processing, November 2002, Oxford, UK. 2.1-2.6.

Wilcock, R. and Al-Hashimi, B. M. (2002) A New BIST Methodology for Fully-Balanced OTA-C Filters. In: IEEE International Symposium on Circuits and Systems, Phoenix, Arizona.

Wills, G., Alani, H., Ashri, R., Crowder, R., Kalfoglou, Y. and Kim, S. (2002) Design Issues for Agent-based Resource Locator Systems. In: Practical Aspects of Knowledge Management, 2-3 December 2002, Vienna. pp. 156-168.

Xie, Y. and Al Hashimi, B. (2002) Synthesis of switched-current Ladder Derived Group delay Equalizers. In: Proc. IEE Analog Signal Processing Symposium, 1 November 2002, Oxford, UK. 1/1- 6/1.

Book

Hennessy, M. and Rathke, J. (2002) Typed behavioural equivalences for processes in the presence of subtyping. Electronic Notes in Theoretical Computer Science, 61 Elsevier.

Jeffrey, A. and Rathke, J. (2002) A fully abstract may testing semantics for concurrent objects. IEEE Computer Society Press.

Book Section

Christensen, S. W., Reed, P. A. S., Gunn, S. R. and Sinclair, I. (2002) Comparison of Modelling Techniques in the Analysis of Commercial Materials Data. In: Intelligence in a Materials World, pp. 49-58, CRC Press.

Wills, G. and O'Hara, K. (2002) Ontologies. In: Building a Digital World: ICT Skills for Healthcare Professionals, pp. 181-186, University of Southampton. ISBN 0854327738

Technical Report

Hennessy, M., Merro, M. and Rathke, J. (2002) Towards a behavioural theory of access and mobility control in distributed systems. Technical Report Computer Science Report 01-2002, Informatics, University of Sussex.

Jeffrey, A. and Rathke, J. (2002) Contextual equivalence for higher-order pi-calculus revisited. Technical Report Computer Science Report 04-2002, Informatics, University of Sussex.

Jeffrey, A. and Rathke, J. (2002) A fully abstract may testing semantics for concurrent objects. Technical Report Computer Science Report 03-2002, Informatics, University of Sussex.

Jeffrey, A. and Rathke, J. (2002) A theory of bisimulation for a fragment of concurrent ML with local names. Technical Report Computer Science Report 02-2002, Informatics, University of Sussex.

Mikhailova, A., Doche, M. and Butler, M. (2002) Contracts for Scenario-Based Testing of Object-Oriented Programs. Technical Report , Electronics and Computer Science, University of Southampton. (Unpublished)

Wills, G., Kim, S. and Ashri, R. (2002) Capability Management. Technical Report ECS-IAM-02-003, Electronics and Computer Science, University of Southampton.

Thesis

Lee, K. K. (2002) Classification of Imbalanced Data with Transparent Kernels. PhD thesis, University of Southampton.

Shi, D. (2002) An Active Radical Approach to Handwritten Chinese Character Recognition. PhD thesis, University of Southampton.

Walters, R. J. (2002) A Graphically based language for constructing, executing and analysing models of software systems. PhD thesis, University of Southampton.

Other

Schmitz, M. T., Al-Hashimi, B. M. and Eles, P. (2002) Energy-Efficient Mapping and Scheduling for DVS Enabled Distributed Embedded Systems.

Schmitz, M. T., Al-Hashimi, B. M. and Eles, P. (2002) Synthesising Energy-Efficient Embedded Systems with LOPOCOS.

This list was generated on Wed Oct 1 00:56:09 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