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 2011
(Grouped by Creator/Authors Name)

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
Jump to: A | B | C | D | E | F | G | H | I | J | K | L | M | N | P | R | S | T | W | X | Y | Z
Number of items: 116.

A

Acharyya, A., Maharatna, K. and Al-Hashimi, B. (2011) Predictive Algorithm Based Low Complexity 2D FastICA. In: UK Electronics Forum 2011, 4-5 July, 2011, University of Manchester, Manchester, UK. (In Press)

Acharyya, A., Maharatna, K., Al-Hashimi, B. and Reeve, J. (2011) Co-ordinate Rotation based Low Complexity N-D FastICA Algorithm and Architecture. IEEE Transactions on Signal Processing . (In Press)

Acharyya, A., Maharatna, K., Al-Hashimi, B. and Tudugalle, H. (2011) Simplified Logic Design Methodology for Fuzzy Membership Function based Robust Detection of Maternal Modulus Maxima Location : a Low Complexity Fetal ECG Extraction Architecture for Mobile Health Monitoring Systems. In: IEEE International Symposium on Circuits and Systems, 15-18 May, 2011, Rio de Janeiro, Brazil. (In Press)

Ahmadi, A., Mangieri, E., Maharatna, K., Dasmahapatra, S. and Zwolinski, M. (2011) On the VLSI Implementation of Adaptive-Frequency Hopf Oscillator. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS—I: REGULAR PAPERS, 58 (7). (In Press)

Anderson, G. (2011) Behavioural Properties and Dynamic Software Update for Concurrent Programs, Thesis Progress Report. Technical Report , ECS, University of Southampton. (Unpublished)

Apampa, K. M., Wills, G. and Argles, D. (2011) Towards a blob-based presence verification system in summative e-assessments. International Journal of e-Assessment, 1 (1). ISSN 2045-9432

Asnawi, A. L., Gravell, A. and Wills, G. (2011) Empirical Investigation on Agile Methods Usage: Issues Identified from Early Adopters in Malaysia. In: XP2011, 12th International conference on Agile Software Development,, 10-13 May, Madrid Spain. pp. 192-207.

Atig, F. M., Bouajjani, A. and Parlato, G. (2011) Getting Rid of Store-Buffers in the Analysis of Weak Memory Models. In: CAV, July 14-20, 2011, Cliff Lodge, Snowbird, Utah, USA. (In Press)

B

Bacigalupo, D. A., van Hemert, J., Chen, X., Usmani, A., Chester, A. P., He, L., Dillenberger, D. N., Wills, G., Gilbert, L. and Jarvis, S. A. (2011) Managing Dynamic Enterprise and Urgent Workloads on Clouds Using Layered Queuing and Historical Performance Models. Simulation Modelling Practice and Theory , 19 (6). pp. 1479-1495.

Barreto, R., Cordeiro, L. and Fischer, B. (2011) Verifying Embedded C Software with Timing Constraints using an Untimed Bounded Model Checker. In: Symposium on Computing System Engineering, November 7th-11th, 2011, Florianópolis, Santa Catarina, Brazil.

Barreto, R., Cordeiro, L. and Fischer, B. (2011) Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker. Technical Report , Dependable Systems and Software Engineering, University of Southampton. (Submitted)

Bouajjani, A., Emmi, M. and Parlato, G. (2011) On Sequentializing Concurrent Programs. In: SAS, 14-16 September 2011, Venice, Italy . (In Press)

Butler, M. and Schulte, W. (2011) FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Springer.

C

Caldas, R., Barreto, R., Cordeiro, L. and Campos, S. (2011) A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems. In: IADIS Applied Computing Conference.

Carrabs, F., Cerulli, R., Gentili, M. and Parlato, G. (2011) A Tabu Search Heuristic based on k-diamonds for the Weighted Feedback Vertex Set Problem. In: INOC, June 13-16, 2001, Hamburg, Germany. (In Press)

Chang, V. (2011) Cloud Computing: Tsunami and seismic simulations to study impacts to Japan. In: United Nations World Summit Information Society, 16-20 May, 2011, Geneva, Switzerland.

Chang, V. (2011) Simulations and Modelling in Cloud Computing: Contributions offered by Organisational Sustainability and Enterprise Portability for Industry and Academia. In: Complex Science, 4-7 of August, 2011, Winchester, UK. (In Press)

Chang, V. (2011) A thorough investigation of Cloud Computing: Sustainability Modelling and Enterprise Portability for Industry and Academia. In: "Set for Britain" 2011, The UK Parliament.

Chang, V., De Roure, D., Wills, G. and Walters, R. (2011) Case Studies and Organisational Sustainability Modelling presented by Cloud Computing Business Framework. International Journal of Web Services Research, 8 (3). pp. 26-53. ISSN 1545-7362

Chang, V., De Roure, D., Wills, G., Walters, R. and Barry, T. (2011) Organisational Sustainability Modelling for Return on Investment: Case Studies presented by a National Health Service (NHS) Trust UK. Journal of Computing and Information Technology, 19 (3). pp. 177-192. ISSN Print ISSN 1330-1136 | Online ISSN 1846-3908

Chang, V., De Roure, D., Wills, G., Walters, R., Li, C. S. and Currie, W. (2011) The development that leads to the Cloud Computing Business Framework. Information and Management . (Submitted)

Chang, V., Khoe, M., Wills, G. and Walters, R. (2011) Three Greenwich Case Studies in Private Cloud migration and adoption.

Chang, V., Li, C. S., De Roure, D., Wills, G., Walters, R. and Chee, C. (2011) The Financial Clouds Review. International Journal of Cloud Applications and Computing, 1 (2). pp. 41-63. ISSN 2156-1834, eISSN 2156-1826

Chang, V., Wills, G. and Walters, R. (2011) The positive impacts offered by Healthcare Cloud and 3D Bioinformatics. In: 10th e-Science All Hands Meeting 2011, 26-29 September 2011, York.

Chang, V., Wills, G. and Walters, R. (2011) Towards Business Integration as a Service 2.0. In: IEEE International Conference on e-Business Engineering, The 3rd International Workshop on Cloud Services - Platform Accelerating e-Business , 19-21 October, 2011, Beijing, China.

Chang, V., Wills, G., Walters, R. and Currie, W. (2011) Towards a structured Cloud ROI: The University of Southampton cost-saving and user satisfaction case studies. Sustainable Green Computing: Practices, Methodologies and Technologies. (In Press)

Chen, W. P., Millard, D. E. and Wills, G. B. (2011) Using Scrutable Learning Models to Support Personal learning Objectives on Mobile Devices. In: The PLE Conference 2011, 11-13 July, Southampton, UK.

Chen, X., Wills, G. and Gilbert, L. (2011) Developing Resource Usage Service in WLCG. IEEE Transactions on Nuclear Science, 58 (2). pp. 451-460. ISSN 0018-9499

Chen-Wilson, L., Gilbert, L., Wills, G., Gravell, A. and Argles, D. (2011) A User-Centric Approach for Secured eDocument Transmission: Digital Signing Practical Issues and the eCert Solution. International Journal for Information Security Research (IJISR), 1 (3). ISSN 2042-4639

Chen-Wilson, L., Gravell, A. and Argles, D. (2011) Giving You back Control of Your Data:
Digital Signing Practical Issues and the eCert Solution.
In: The World Congress on Internet Security (WorldCIS-2011), 2011 February 21-23, London, UK.

Chen-Wilson, L., Wang, X., Wills, G., Argles, D. and Shoniregun, C. (2011) Healthcare Data Management Issues and the eCert Solution. In: International Conference on Information Society (i-Society 2011), June 27-29, 2011,, London, UK.

Cirstea, C., Kupke, C. and Pattinson, D. (2011) EXPTIME Tableaux for the Coalgebraic Mu-Calculus. Logical Methods in Computer Science . (In Press)

Cirstea, C., Kurz, A., Pattinson, D., Schröder, L. and Venema, Y. (2011) Modal Logics are Coalgebraic. The Computer Journal, 54 . pp. 31-41.

Cirstea, C. (2011) Maximal Traces and Path-Based Coalgebraic Temporal Logics. Theoretical Computer Science, 412 (38). pp. 5025-5042.

Cirstea, C. (2011) Model Checking Linear Coalgebraic Temporal Logics: an Automata-Theoretic Approach. In: 2011 International Conference on Algebra and Coalgebra in Computer Science. (In Press)

Cordeiro, L. and Fischer, B. (2011) Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking. In: 33rd International Conference on Software Engineering (ICSE), May 21-28, 2011, Waikiki, Honolulu, Hawaii. pp. 331-340.

Cordeiro, L. and Fischer, B. (2011) Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking. In: International Conference on Software Engineering, May 21-28, 2011, Waikiki, Honolulu, Hawaii.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2011) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. IEEE Transactions on Software Engineering . (In Press)

Cordeiro, L., Morse, J., Nicole, D. and Fischer, B. (2011) Context-Bounded Model Checking with ESBMC 1.17. In: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Competition on Software Verification Track, 24 March - 1 April 2012, Tallinn, Estonia. (In Press)

D

De Jager, D., Wood, A. L., Merrett, G. V., Al-Hashimi, B. M., O'Hara, K., Shadbolt, N. R. and Hall, W. (2011) A low-power, distributed, pervasive healthcare system for supporting memory. In: 1st ACM MobiHoc Workshop on Pervasive Wireless Healthcare (MobileHealth 2011), 16th May 2011, Paris, France.

E

Edmunds, A. and Butler, M. (2011) Tasking Event-B: An Extension to Event-B for Generating Concurrent Code. In: PLACES 2011, 2nd April 2011, Saarbrucken, Germany.

Edmunds, A., Rezazadeh, A. and Butler, M. (2011) From Event-B Models to Code: Sensing, Actuating, and the Environment. In: SBMF2011, 26-28th September 2011, Sao Paulo, Brazil.

Ejlali, A., Al-Hashimi, B. and Eles, P. (2011) Low-Energy Standby-Sparing for Hard Real-Time Systems. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems . ISSN (In Press)

Elizabeth, H. E. E., Andras, S. A., Kamal, D., Marc, M. M., Ken, T. K. S. and Simon, C. S. J. (2011) A geometry optimization framework for photonic crystal design. Photonics and Nanostructures - Fundamentals and Applications . ISSN 1569-4410 (In Press)

F

Ferrara, A. L., Madhusudan, P. and Parlato, G. (2011) Security Analysis of Access Control Policies through Program Verification. Submitted to: Not Specified. (Submitted)

Francalanza, A., Rathke, J. and Sassone, V. (2011) Permission-Based Separation Logic for Message-Passing Concurrency. Logical Methods in Computer Science, 7 (3). p. 47.

G

Gilbert, L., Whitelock, D. and Gale, V. (2011) Synthesis report on assessment and feedback with technology enhancement. Technical Report , ECS, University of Southampton.

Gondal, A. (2011) Capability & Potential for Formal Feature-oriented Reuse in Event-B. Information and Software Technology . (Submitted)

Gondal, A., Poppleton, M. and Butler, M. (2011) Composing Event-B Specifications - Case-Study Experience. In: 10th International Conference on Software Composition, 30 June – 1 July, 2011, Zurich, Switzerland . pp. 100-115.

Grange, S. (2011) Current Issues and Regulations in Tendon Regeneration and Musculoskeletal Repair with Mesenchymal Stem Cells. CURRENT STEM CELL RESEARCH AND THERAPY, 3 . ISSN 1876-8938

H

Hallerstede, S. and Snook, C. (2011) Refining Nodes and Edges of State Machines. In: ICFEM 2011: 13th International Conference on Formal Engineering Methods, 26th—28th October 2011, Durham, United Kingdom. (In Press)

Hoang, T. S., Illianov, A., Silva, R. and Wei, W. (2011) Monitor and Update Master Data Case Studies.

Huang, H., Merrett, G., Metcalf, C. and White, N. (2011) A Feasibility Study on Body-Worn Inertial Energy Harvesting during Walking and Running. In: Energy Harvesting 2011, 7th February 2011, IET London, Savoy Place, London, UK .

Huang, H., Merrett, G. and White, N. (2011) Human-powered inertial energy harvesters: the effect of orientation, location and activity on obtainable power. In: Eurosensors XXV, 4-7 September 2011, Athens, Greece.

I

Ibrahim, R. (2011) A Conceptual Framework for Supporting Gender Inclusivity in Games. PhD thesis, University of Southampton.

Ibrahim, R. (2011) Games for Change.

Ibrahim, R. (2011) Gender Inclusivity in Games: Towards Reliability and Construct Validity of the Gender Inclusivity Rating Scale (GIRS). Submitted to: th European Conference on Games Based Learning (ECGBL 2011), 20th-21st October 2011, Athens, Greece. (Submitted)

Ibrahim, R. (2011) Gender Issues in Games.

Ibrahim, R. (2011) Gender-Inclusivity Framework (GIF): A Conceptual Framework for Supporting Gender-Inclusivity in Games. In: 3rd International Conference on Education and New Learning Technologies, EDULEARN11, 4th - 6th July 2011, Barcelona, Spain. (In Press)

Ibrahim, R., Wills, G. and Gilbert, L. (2011) DEVELOPMENT OF A CONCEPTUAL FRAMEWORK FOR SUPPORTNG GENDER INCLUSIVITY IN GAMES. In: IADIS International Conference Game and Entertainment Technologies 2011 , 22nd - 24th July 2011, Rome, Italy. (In Press)

Ibrahim, R., Wills, G. and Gilbert, L. (2011) GENDER INCLUSIVITY FRAMEWORK (GIF): INTER-RATER AGREEMENT TOWARDS THE COMPONENTS OF GENDER INCLUSIVITY IN GAMES. In: IADIS International Conference Game and Entertainment Technologies 2011 , 22nd - 24th July 2011, Rome, Italy. (In Press)

Ireland, A., Grov, G., Llano, M. T. and Butler, M. (2011) Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. Science of Computer Programming . (In Press)

J

Jagadeesan, R., Pitcher, C., Rathke, J. and Riely, J. (2011) Local Memory via Layout Randomization. In: Computer Security Foundations Symposium, 27th -29th June, Domaine de l'Abbaye des Vaux de Cernay, France.

Jeffrey, A. and Rathke, J. (2011) The Lax Braided Structure of Streaming I/O. In: Annual Conference of the European Association for Computer Science Logic, 12th-15th Sep 2011, Bergen, Norway.

Jones, G., Lovell, C., Morgan, H. and Zauner, K. P. (2011) Organising Chemical Reaction Networks in Space and Time with Microfluidics. International Journal of Nanotechnology and Molecular Computation (IJNMC), 3 (1). pp. 35-56. ISSN 1941-6318

K

Khursheed, S. S., Yang, S., Al-Hashimi, B., Huang, X. and Flynn, D. (2011) Improved DFT for Testing Power Switches. In: 16th IEEE European Test Symposium (ETS 2011), 23-27 May, 2011, Trondheim, Norway.

L

La Torre, S., Madhusudan, P. and Parlato, G. (2011) Sequentializing Parameterized Programs. In: Not Specified. (Unpublished)

Li, Y., Wald, M. and Wills, G. (2011) Applying Linked Data in Multimedia Annotations. International Journal of Semantic Computing (IJSC) Special Issue on Semantic Multimedia . ISSN 1793-351X, OCLC: 174284435 (In Press)

Li, Y., Wald, M. and Wills, G. (2011) Interlinking Multimedia Annotations. In: Web Science 2011, 14th to 18th June,2011, Koblenz, Germany.

Lovell, C. (2011) An Artificial Experimenter for Automated Response Characterisation. PhD thesis, University of Southampton.

Lovell, C., Jones, G., Gunn, S. and Zauner, K. P. (2011) Autonomous Experimentation: Active Learning for Enzyme Response Characterisation. JMLR: Workshop and Conference Proceedings, 16 . pp. 141-155.

Lovell, C., Zauner, K. P. and Gunn, S. (2011) Exploration and Exploitation in an Artificial Experimenter. In: ICML Workshop on On-line Trading of Exploration and Exploitation 2.

M

Madhusudan, P. and Parlato, G. (2011) The Tree Width of Auxiliary Storage. In: POPL, January 26-28, 2011, Austin, TX, USA. pp. 283-294.

Madhusudan, P., Parlato, G. and Qiu, X. (2011) Decidable logics combining heap structures and data. In: POPL, January 26-28, 2011, Austin, TX, USA. pp. 611-622.

Mahmoodi, S. and Gunn, S. (2011) Scale Space Smoothing, Image Feature Extraction and Bessel Filters. In: Lecture Notes in Computer Science-17th Scandinavian Conference on Image Analysis, 23-27 May 2011, Ystad, Sweden. pp. 625-634.

Mahmoodi, S. and Gunn, S. (2011) Snake based Unsupervised Texture Segmentation using Gaussian Markov Random Field Models. In: 18th IEEE International Conference on Image Processing , 11-14 September 2011, Brussels, Belgium.

Mazomenos, E., Acharyya, A. and Maharatna, K. (2011) Clinical Feature Extraction for Mobile ECG. In: 8th International Conference on Wearable Micro and Nano Technologies for Personalised Health (pHealth 2011), 29 June - 1 July 2011, Lyon, France.

Merrett, G. (2011) Wireless Sensor Networks for Process Monitoring: The Rise of Remote Control (Editorial). Energy and Environmental Management, 2011 (Summer). p. 43.

Merrett, G. V., Metcalf, C. D., Zheng, D., Cunningham, S., Barrow, S. and Demain, S. H. (2011) Design and Qualitative Evaluation of Tactile Devices for Stroke Rehabilitation. In: IET Assisted Living 2011, 06 April 2011, London, UK.

Mistry, J., Al-Hashimi, B., Flynn, D. and Hill, S. (2011) Sub-Clock Power-Gating Technique for Minimising Leakage Power During Active Mode. In: Design, Automation and Test in Europe, 14-18 March 2011, Grenoble, France.

Morse, J., Cordeiro, L., Nicole, D. and Fischer, B. (2011) Context-Bounded Model Checking of LTL Properties for ANSI-C Software. In: 9th International Conference on Software Engineering and Formal Methods, 14--18th November 2011, Montevideo, Uruguay. pp. 302-317. (In Press)

Morse, J., Cordeiro, L., Nicole, D. and Fischer, B. (2011) Context-Bounded Model Checking of LTL Properties for ANSI-C Software. In: 9th International Conference on Software Engineering and Formal Methods, 14--18th November 2011, Montevideo, Uruguay.

N

Nitchot, A., Gilbert, L. and Wills, G. (2011) Competence-based System for Recommending Study Materials from the Web: Design and Experiment. In: ED-MEDIA 2011-World Conference on Educational Multimedia, Hypermedia & Telecommunications, 27 June - 1 July 2011, Lisbon, Portugal.

Nitchot, A., Gilbert, L. and Wills, G. (2011) Designing a Competence Structure to Generate Learning Paths and Assessment Questions for Self-Study. In: 2011 International Computer Assisted Assessment (CAA) Conference.

Nitchot, A., Gilbert, L. and Wills, G. (2011) Designing XML Schema of a Competence Structure from Course Intended Learning Outcomes. In: The 14th IASTED International Conference on Computers and Advanced Technology in Education, 11 - 13 July 2011, Cambridge, UK.

P

P Iskandar, Y. H., Gilbert, L. and Wills, G. (2011) Machine-processable Representation of Training Outcomes. IEEE Learning Technology Newsletter, 13 (1).

Purwandari, B., Hall, W. and Wills, G. (2011) Methodology for Impact Analysis of the Mobile Web in Developing Countries: a Pilot Study in Nairobi, Kenya. In: ACM Web Science Conference 2011, 14-17 June 2011, Koblenz, Germany.

R

Rebenich, T., Gravell, A. and Tiropanis, T. (2011) Evaluating a Web-Based Information System for Managing Master of Science Summer Projects. In: ITiCSE 2011, 16th Annual Conference on Innovation and Technology in Computer Science Education, June 27-29, 2011, Darmstadt, Germany. pp. 123-127.

Recio, A. (2011) Exploring the Impact of using Stories and ICT to teach English to 3- and 4- year-old Spanish children: Motivation and Development. In: EDULearn International Conference on Education and New Learning Technologies, 4th-6th of July, 2011, Barcelona, Spain.

Reed, N., Scanlan, J., Wills, G. and Halliday, S. T. (2011) Knowledge use in an advanced manufacturing environment. Design Studies, 32 (3). pp. 292-312. ISSN 0142-694X

S

Salehi Fathabadi, A., Rezazadeh, A. and Butler, M. (2011) Applying Atomicity and Model Decomposition to a Space Craft System in Event-B. In: THIRD NASA FORMAL METHODS SYMPOSIUM, 18-20 April 2011, Pasadena, California.

Schiano di Zenise, M., Vitaletti, A. and Argles, D. (2011) A User-Centric Approach to eCertificate for Electronic Identities (eIDs) Management in Mobile Environment. In: WorldCIS-2011, 21-23 February 2011, London. pp. 212-217.

Schiano di Zenise, M., Vitaletti, A., Chen-Wilson, L., Gilbert, L. and Argles, D. (2011) eIDeCert: A User-Centric Solution for Mobile Identification. International Journal for Infonomics (IJI), 4 (1). ISSN 1742 4712

Shafik, R. and Al-Hashimi, B. (2011) Reliability Analysis of On-Chip Communication Architectures: An MPEG-2 Video Decoder Case Study. Embedded Hardware Design (MICPRO), 35 (2). pp. 285-296.

Shafik, R., Al-Hashimi, B. and Reeve, J. (2011) Design Optimization of Low Power and Reliable Time-Constrained Homogeneous MPSoCs. TBA . (Submitted)

Silva, R. (2011) Application of Decomposition and Generic Instantiation. (Unpublished)

Silva, R. (2011) Towards the Composition of Specifications in Event-B. In: B 2011, 21st June 2011, Limerick, Ireland.

Silva, R., Pascal, C., Hoang, T. S. and Butler, M. (2011) Decomposition Tool for Event-B. Software: Practice and Experience, 41 (2). pp. 199-208. ISSN 1097-024X

Snook, C. (2011) Modelling Control Process and Control Mode with Synchronising Orthogonal State Machines. In: B2011, 21st June 2011, Limerick. (Unpublished)

Snook, C., Savicks, V. and Butler, M. (2011) Verification of UML models by translation to UML-B. Lecture Notes in Computer Science, 6957 . p. 251. (In Press)

T

Tangworakitthaworn, P., Gilbert, L. and Wills, G. (2011) Towards a Matching Strategy of Constructivism and Instructionism. In: The 19th International Conference on Computers in Education, ICCE 2011, November 28, 2011 - December 2, 2011, Chiang Mai, Thailand.

Turnbull, N., Wills, G. and Gobbi, M. (2011) The Challenge of Four-Status Model of eLearning: Principles Toward a New Understanding for Healthcare Professionals. In: International eLearning Conference (IEC2011), January 13-14, 2011, Bangkok, Thailand.

W

Wang, L., Kazmierski, T., Al-Hashimi, B., Weddell, A., Merrett, G. and Ayala Garcia, I. (2011) Accelerated simulation of tunable vibration energy harvesting systems using a linearised state-space technique. In: Design, Test and Automation in Europe (DATE 2011), March 14-18, 2011, Grenoble, France.

Weddell, A., Merrett, G. and Al-Hashimi, B. (2011) Photovoltaic Sample-and-Hold Circuit Enabling MPPT Indoors for Low-Power Systems. IEEE Transactions on Circuits and Systems I: Regular Papers . (In Press)

Weddell, A., Merrett, G. and Al-Hashimi, B. (2011) Ultra Low-Power Photovoltaic MPPT Technique for Indoor and Outdoor Wireless Sensor Nodes. In: Design, Automation and Test in Europe (DATE), 14-18 March 2011, Grenoble, France. pp. 905-908.

Weddell, A., Merrett, G., Kazmierski, T. and Al-Hashimi, B. (2011) Accurate Supercapacitor Modeling for Energy-Harvesting Wireless Sensor Nodes. IEEE Transactions on Circuits and Systems II: Express Briefs . (In Press)

Wood, A. L. (2011) DejaView: energy-efficient, adaptive, and context-aware sensing for a wearable memory aid system. In: ESS group internal poster session, 2nd November 2011, ECS, Southampton.

Wood, A. L., de Jager, D., Merrett, G. V., Al-Hashimi, B. M., O'Hara, K., Shadbolt, N. R. and Hall, W. (2011) DejaView: a low-power, distributed, pervasive system for supporting memory. In: 1st ACM MobiHoc Workshop on Pervasive Wireless Healthcare (MobileHealth 2011), 16th May 2011, Paris, France. (Unpublished)

X

Xun, L., Shiqi, T., Merrett, G. and White, N. (2011) Energy-Efficient Data Acquisition in Wireless Sensor Networks through Spatial Correlation. In: IEEE Int'l Conf. Mechatronics and Automation (ICMA 2011), 7-10 August 2011, Beijing, China. pp. 1068-1073.

Y

Yang, S., Khursheed, S. S., Al-Hashimi, B., Flynn, D. and Idgunji, S. (2011) Reliable State Retention-Based Embedded Processors Through Monitoring and Recovery. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS . (In Press)

Yeganefard, S. and Butler, M. (2011) Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation. Technical Report , Electronics and Computer Science, University of Southampton. (Unpublished)

Yusoff, A., Wills, G., Crowder, R. and Gilbert, L. (2011) Pedagogy and Game Attributes for Teaching English as a Second Language. In: Universiti Malaysia Terengganu 10th International Annual Symposium (UMTAS 2011), 11-13 Jult 2011, Kuala Terengganu, Terengganu, Malaysia .

Z

Zhang, P., Recio, A., Wills, G., Smitham, P., Gilbert, L., Santer, M., Kanani, M. and Grange, S. (2011) Catch Before a Fall – an iPad Application for Osteoporosis Risk Assessment. In: IADIS e-Society, 10-13 March, Avila, Spain.

Zhao, Y., Khursheed, S. and Al-Hashimi, B. (2011) Cost-Effective TSV Grouping for Yield Improvement of 3D-ICs. In: ATS 2011, November 2011, India. (In Press)

Zhong, S., Khursheed, S. and Al-Hashimi, B. (2011) A Fast and Accurate Process Variation-aware Modeling Technique for Resistive Bridge Defects. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . (In Press)

Zhong, S., Khursheed, S., Al-Hashimi, B., Reddy, S. and Chakrabarty, K. (2011) Analysis of Resistive Bridge Defect Delay Behavior in the Presence of Process Variation. In: Asian Test Symposium 2011, 21-23 November, 2011, New Delhi, India. (In Press)

This list was generated on Tue Jul 29 00:55:56 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