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 2008
(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: 103.

Longpradit, P., Hall, W., Walters, R., Gilbert, L., Gee, Q. and Wills, G. (2008) An Inquiry-led Personalised Navigation System (IPNS) using multi-dimensional linkbases. New Review of Hypermedia and Multimedia , 14 (1). pp. 33-55. ISSN 1740-7842 (electronic) 1361-4568 (paper)

Nicole, D. A. (2008) Robots that don't suck. In: Higher Education Academy workshop on Robots in the Curriculum (Invited Presentation), 2008-11-20, Southampton.

Abbas, N., Gravell, A. and Wills, G. (2008) An Empirical Comparison of Two Agile Projects in the Same Organization. In: Agile 2008 Conference, 4- 8 August, Toronto, Canada.

Abbas, N., Gravell, A. and Wills, G. (2008) Historical Roots of Agile Methods: Where did “Agile Thinking” Come from? In: Agile processes and eXtreme programming in Software Engineering, 10-14 june 2008, Limerick, Ireland.

Abrial, J. R., Butler, M., Hallerstede, S. and Voisin, L. (2008) A Roadmap for the Rodin Toolset. In: Abstract State Machines, B and Z, First International Conference ABZ 2008. p. 347.

Acharyya, A., Maharatna, K. and M. Al Hashimi, B. (2008) Hardware Development for Pervasive Healthcare Systems: Current Status and Future Directions. In: 2008 IEEE Asia Pacific Conference on Circuits and Systems, 30 November - 3 December, 2008, Macao, China. pp. 1304-1307.

Apampa, K. M., Wills, G. B., Argles, D. and Marais, E. (2008) Electronic Integrity Issues in E-assessment Security. In: ICALT 2008: The 8th IEEE International Conference on Advanced Learning, 1 to 5 July, Spain.

Apampa, K. M., Zhang, T., Wills, G. B. and Argles, D. (2008) Ensuring Privacy of Biometric Factors in Multi-Factor Authentication Systems. In: SECRYPT 2008, International Conference on Security and Cryptography in ICETE 08, 26-29 July, Porto, Portugal.

Banach, R., Jeske, C. and Poppleton, M. (2008) Composition Mechanisms for Retrenchment. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 75 (2). pp. 209-229. ISSN 1567-8326

Basir, N., Denney, E. and Fischer, B. (2008) Constructing a safety case for automatically generated code from formal
program verification.
Computer Safety, Reliability, and Security. Proceedings 27th International Conference, SAFECOMP 2008 . pp. 249-62.

Basir, N., Denney, E. and Fischer, B. (2008) Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. Submitted to: The 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP'08), 22-25 September 2008, Newcastle upon Tyne, UK. (Submitted)

Basir, N., Denney, E. and Fischer, B. (2008) Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. In: International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert '08), 29th March 2008, Budapest, Hungary.

Boerger, E., Butler, M., Bowen, J. and Boca, P. (2008) ABZ2008 Conference - Short Papers. Technical Report , Electronics and Computer Science, University of Southampton.

Börger, E., Butler, M., Bowen, J. P. and Boca, P. (2008) Abstract State Machines, B and Z - First International Conference ABZ 2008. LNCS, 5238 Springer. ISBN 978-3-540-87602-1

Butler, M. and Yadav, D. (2008) An Incremental Development of the Mondex System in Event-B. Formal Aspects of Computing, 20 (1). pp. 61-77. ISSN 0934-5043

Chen, W. P., Millard, D. and Wills, G. (2008) A Four Dimensional Model of Formal and Informal Learning. In: The 16th International International Conference on Computers in Education, on October 27 through 31, 2008, Howard International House Taipei.

Chen, W. P., Millard, D. and Wills, G. (2008) Mobile VLE vs. Mobile PLE: How Informal is Mobile Learning? In: mLearn 2008 Conference , Wed 8th to Fri 10th October , the University of Wolverhampton.

Chen-Wilson, L., Newcombe, P., Royce, P., Ong, S., Wonnacott, T., Wills, G. and Argles, D. (2008) Secure Certification for e-Portfolios. In: Ed-media 2008, 2008 June 30 - July 4, Vienna, Austria.

Chen-Wilson, L., Newcombe, P., Royce, P., Ong, S., Wonnacott, T., Argles, D. and Wills, G. (2008) Secure Certification for ePortfolios. In: ICALT 2008: The 8th IEEE International Conference on Advanced Learning, 2008 July 1-5, Spain.

Cirstea, C., Kurz, A., Pattinson, D., Schröder, L. and Venema, Y. (2008) Modal Logics are Coalgebraic. In: Visions of Computer Science 2008.

Cirstea, C. and Sadrzadeh, M. (2008) Modular Games for Coalgebraic Fixed Point Logics. In: Coalgebraic Methods in Computer Science 2008. pp. 71-92.

Corradini, A., Hermann, F. and Sobocinski, P. (2008) Subobject transformation systems. APPLIED CATEGORICAL STRUCTURES, 16 . pp. 389-419.

Crouch, S., Henderson, P. and Walters, R. (2008) Utilising Located Functions to Model and Optimise Distributed Computations. In: 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), 28 July 2008 - 1 August 2008, Turku, Finland. (In Press)

Crowder, R., Wong, S., Shadbolt, N. and Wills, G. (2008) Knowledge-Based Repository to Support Engineering Design. In: Proceedings of the ASME 2008 International Design Engineering Technical Conferences & Computers and Information in Engineering, 3-6 August 2008, New York.

Damchoom, K., Butler, M. and Abrial, J. R. (2008) Modelling and proof of a Tree-structured File System in Event-B and Rodin. In: ICFEM 2008. pp. 25-44.

Darbari, A. and Al-Hashimi, B. (2008) Hardware Dependability in the Presence of Soft Errors. In: BCS Visions of Computer Science, 22-24 Sep 2008, Imperial College, London, England. (In Press)

Darbari, A. and Al-Hashimi, B. (2008) Symbolic Simulation based Transient Fault Injection Methodology. Technical Report 15376, Electronics and Computer Science, University of Southampton.

Darbari, A., Al-Hashimi, B., Harrod, P. and Bradley, D. (2008) A New Approach for Transient Fault Injection using Symbolic Simulation. In: IOLTS 2008. (In Press)

Darbari, A., Al-Hashimi, B., Harrod, P. and Bradley, D. (2008) A Novel Transient Fault Injection Methodology Based on STE Model Checking. In: European Test Symposium (ETS), May 25-28, Italy.

Denney, E. and Fischer, B. (2008) Explaining Verification Conditions. In: AMAST. pp. 145-159.

Denney, E. and Fischer, B. (2008) Generating customized verifiers for automatically generated code. In: GPCE. pp. 77-88.

Dhanjal, C., Gunn, S. and Shawe-Taylor, J. (2008) Efficient Sparse Kernel Feature Extraction Based on Partial Least Squares. IEEE Transactions on Pattern Analysis and Machine Intelligence, 99 (1).

Edmunds, A. and Butler, M. (2008) Linking Event-B and Concurrent Object-Oriented Programs. In: Refine 2008 - International Refinement Workshop, 27 May 2008, Turku, finland.

El Shabrawy, K., Maharatna, K., Bagnall, D. and Al-Hashimi, B. (2008) A new analytical model for predicting SWCNT band-gap from geometric properties. In: International Conference on IC design and technology (ICICDT 2008), 2-4 June, Grenoble, France. pp. 211-214.

Faulds, S., Howard, Y., Zhang, P., Millard, D., Wills, G. and Gobbi, M. (2008) mPLAT Mobile Placement Learning and Assessment toolkit for Healthcare Students. In: The Higher Education Academy on ePortfolios, identity and personalised learning in healthcare education .

Frazer, A., Argles, D. and Wills, G. (2008) Demystifying the Educational Benefits of Different Gaming Genres. In: ALT-C 2008: Rethinking the digital divide, 9-11 September 2008, Leeds, UK.

Frazer, A., Argles, D. and Wills, G. (2008) The Same, But Different: The Educational Affordances of Different Gaming Genres. In: ICALT 2008: The 8th IEEE International Conference on Advanced Learning, 1 to 5 July, Spain.

Gilbert, L. and Gale, V. (2008) Principles of E-learning Systems Engineering. Chandos. ISBN 1843342901

Guo, B., Damper, R. I., Gunn, S. R. and Nelson, J. D. B. (2008) A fast separability-based feature selection method for high-dimensional remotely-sensed image classification. Pattern Recognition, 41 (5). pp. 1670-1679.

Guo, B., Gunn, S. R., Damper, R. I. and Nelson, J. D. B. (2008) Customizing kernel functions for SVM-based hyperspectral image classification. IEEE Transactions on Image Processing, 17 (4). pp. 622-629.

Ibrahim, R. (2008) A Model for Gender-Inclusivity in Games. Other thesis, University of Southampton.

Ingelsson, U., Al-Hashimi, B. M. and Harrod, P. (2008) Variation Aware Analysis of Bridging Fault Testing. In: 17th Asian Test Symposium, 24-27 Nov 2008, Sapporo, Japan. (In Press)

Joochim, T. and Poppleton, M. (2008) Timing diagrams add Requirements Engineering capability to Event-B Formal Development. In: 16th IEEE INTERNATIONAL REQUIREMENTS , 8 - 12 September 2008, Barcelona, Spain.

Kazmierski, T., Zhou, D. and Al-Hashimi, B. (2008) Efficient circuit-level modelling of ballistic CNT using piecewise non-linear approximation of mobile charge density. In: DATE08. pp. 146-151.

Khursheed, S., Ingelsson, U., Rosinger, P., Al-Hashimi, B. and Harrod, P. (2008) Bridging Fault Test Method with Adaptive Power Management Awareness. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS . (In Press)

Leuschel, M. and Butler, M. (2008) ProB: An Automated Analysis Toolset for the B Method. International Journal on Software Tools for Technology Transfer, 10 (2). pp. 185-203. ISSN 1433-2779

Maharatna, K., El Shabrawy, K. and Al-Hashimi, B. (2008) Reduced Z-datapath CORDIC rotator. In: IEEE ISCAS, May 2008, Seattle, Washington, USA. pp. 3374-3377.

Mamun, M. S., Hussain, J., Haque, M. H. and Shafik, R. A. (2008) Space Time Block Coded Multi-user CDMA Systems over Rayleigh Fading Channel. In: Annual IEEE Student Paper Conference (AISPC'08), 15th February, 2008, Aalborg, Denmark.

Mangieri, E., Ahmadi, A., Maharatna, K., Ahmad, S. and Chappell, P. (2008) A novel analogue circuit for controlling prosthetic hands. In: IEEE Biomedical Circuits and Systems Conference , November 2008, USA. pp. 81-84.

Mathioudakis, I., White, N. M., Harris, N. R. and Merrett, G. V. (2008) Wireless Sensor Networks:A case study for Energy Efficient Environmental Monitoring. In: Eurosensors 2008, 7-11 September 2008, Dresden, Germany.

Maunder, R. G., Weddell, A. S., Merrett, G. V., Al-Hashimi, B. M. and Hanzo, L. (2008) Iterative Decoding for Redistributing Energy Consumption in Wireless Sensor Networks. In: International Conference on Computer Communications and Networks, 3-7 August 2008, St. Thomas, U.S. Virgin Islands.

Merrett, G. V., Weddell, A. S., Harris, N. R., Al-Hashimi, B. M. and White, N. M. (2008) A Structured Hardware/Software Architecture for Embedded Sensor Nodes. In: 17th International Conference on Computer Communications and Networks, 03-07 August 2008, St Thomas, Virgin Islands (USA).

Merrett, G. V., Harris, N. R., Al-Hashimi, B. M. and White, N. M. (2008) Energy Managed Reporting for Wireless Sensor Networks. Sensors and Actuators A: Physical, 142 (1). pp. 379-389.

Merrett, G. V., Weddell, A. S., Berti, L., Harris, N. R., White, N. M. and Al-Hashimi, B. M. (2008) A Wireless Sensor Network for Cleanroom Monitoring. In: Eurosensors 2008, 07-11 September 2008, Dresden, Germany. pp. 1553-1556.

Merrett, G. V., Weddell, A. S., Lewis, A. P., Harris, N. R., Al-Hashimi, B. M. and White, N. M. (2008) An Empirical Energy Model for Supercapacitor Powered Wireless Sensor Nodes. In: 17th International IEEE Conference on Computer Communications and Networks, 03-07 August 2008, St Thomas, Virgin Islands (USA).

Millard, D., Bailey, C., Boulain, P., Chennupati, S., Howard, Y., Davis, H. and Wills, G. (2008) Semantics on Demand: Can a Semantic Wiki Replace a Knowledge Base? New Review of Hypermedia and Multimedia , 14 (1). pp. 95-120. ISSN 1740-7842 (electronic) 1361-4568 (paper)

Millard, D., Doody, K., Davis, H., Gilbert, L., Howard, Y., Tao, F. and Wills, G. (2008) (Semantic Web) Services for e-Learning. International Journal of Knowledge and Learning (IJKL), 4 (3&4). pp. 298-315. ISSN 1741-1009

Millard, D., Faulds, S., Gilbert, L., Howard, Y., Sparks, D., Wills, G. and Zhang, P. (2008) Co-design for conceptual spaces: an agile design methodology for m-learning. In: IADIS International Conference Mobile Learning 2008.

Millard, D., Howard, Y., Wills, G., Watson, J. and Arrebola, M. (2008) Towards an Open Repository of Teaching Resources. In: Open Repositories Conference 2008 (OR2008), 1st-4th April 2008, Southampton, United Kingdom.

Mishra, B. and M. Al-Hashimi, B. (2008) Subthreshold FIR Filter Architecture for Ultra Low Power Applications. In: LNCS, pp. 1-10, Springer. ISBN 978-3-540-95947-2

Mishra, B., Wilson, P. and Al-Hashimi, B. (2008) Advancement in Color Image Processing using Geometric Algebra. In: EUSIPCO.

Nelson, J. D. B., Damper, R. I., Gunn, S. R. and Guo, B. (2008) Signal theory for SVM kernel design with applications to parameter estimation and sequence kernels. Neurocomputing, 72 (1-3). pp. 15-22.

Ogg, S., Al-Hashimi, B. and Yakovlev, A. (2008) Asynchronous Transient Resilient Links for NoC. Submitted to: CODES+ISSS, October 19th - 24th, Atlanta. (Submitted)

Ogg, S., Valli, E., Al-Hashimi, B., Yakovlev, A., D'Alessandro, C. and Benini, L. (2008) Serialized Asynchronous Links for NoC. In: DATE , 2008, Munich. (In Press)

P Iskandar, Y. H., Gilbert, L. and Wills, G. (2008) Reducing latency when using Virtual Reality for teaching in sport. In: Information Technology, 2008. ITSim 2008. International Symposium on, 26-28 Aug. 2008, KUALA LUMPUR, MALAYSIA. pp. 1-5.

Parker, M., Wills, G. and Wills, J. (2008) Community in Tension (CiT). Technical Report ECSTR-LSL08-002, ECS, University of Southampton.

Poppleton, M., Fischer, B., Franklin, C., Gondal, A., Snook, C. and Sorge, J. (2008) Towards Reuse with ``Feature-Oriented Event-B''. In: McGPLE: Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering, October 23, 2008, Nashville, TN. pp. 1-6.

Poppleton, M. (2008) The composition of Event-B models. In: ABZ2008: Int. Conference on ASM, B and Z, 16-18 September 2008, London. pp. 209-222. (In Press)

Price, J., Wills, G., Dror, I. E., Cherrett, T. and Maynard, S. (2008) Risk Assessment Education: Utilizing Interactive Video for Teaching Health and Safety. In: ICALT 2008: The 8th IEEE International Conference on Advanced Learning, 1st-5th July, Santander, Cantabria, Spain.

Rathke, J. and Sobocinski, P. (2008) Deconstructing behavioural theories of mobility. In: Fifth IFIP International Conference on Theoretical Computer Science (TCS), Sep 2008, Milan. pp. 507-520.

Rathke, J. and Sobocinski, P. (2008) Deriving structural labelled transitions for mobile ambients. In: 19th International Conference on Concurrency Theory (CONCUR), Aug 2008, Toronto. pp. 462-476.

Razali, R., Snook, C., Poppleton, M. and Garratt, P. (2008) Usability Assessment of a UML-based Formal Modelling Method Using Cognitive Dimensions Framework. Human Technology: An Interdisciplinary Journal on Humans in ICT Environments . (In Press)

Rebenich, T. and Gravell, A. M. (2008) An Adaptive Time Management System for Student Learning. In: World Conference on Educational Multimedia, Hypermedia and Telecommunications 2008, 30 June 2008, Vienna, Austria. pp. 5357-5366.

Recio, A. (2008) Emergent literacy across languages: using stories and technology to teach English to three and four year old Spanish children in a foreign language context. In: BAAL Annual Conference 2007.

Shabrawy, K., Maharatna, K., Bagnall, D. M. and Al-Hashimi, B. M. (2008) A new analytical model for predicting SWCNT band-gap from geometrical
properties.
2008 IEEE INTERNATIONAL CONFERENCE ON INTEGRATED CIRCUIT DESIGN AND TECHNOLOGY, PROCEEDINGS . pp. 211-214.

Shafik, R., Rosinger, P. and Al-Hashimi, B. (2008) SystemC-based Minimum Intrusive Fault Injection Technique with Improved Fault Representation. In: International On-line Test Symposium (IOLTS), 7-9 July, 2008, Rhodes, Greece. pp. 99-104.

Shafik, R. A., Rosinger, P. and Al-Hashimi, B. M. (2008) MPEG-based Performance Comparison between Network-on-Chip and AMBA MPSoC. In: 2008 IEEE Design and Diagnostics of Electronic Circuits and Systems, 16-18April, 2008, Bratislava, Slovakia. pp. 98-103.

Shafik, R. A., Rosinger, P. and Al-Hashimi, B. M. (2008) SystemC-based Fault Injection Technique with Improved Fault Representation. In: European Test Symposium (ETS), May 25-28, Italy.

Silva, R. (2008) Composition using Event-B Notation (9 months report).

Sitthisak, O., Gilbert, L. and Davis, H. (2008) Deriving e-assessment from a competency model. In: The 8th IEEE International Conference on Advanced Learning Technologies (ICALT 2008), July 1st- July 5th, 2008, Santander, Cantabria, Spain.

Sitthisak, O., Gilbert, L. and Davis, H. (2008) An evaluation of pedagogically informed parameterised questions for self assessment. Learning, Media and Technology, 33 (3). pp. 235-248.

Sitthisak, O., Gilbert, L. and Davis, H. (2008) Transforming a competency model to assessment items. In: 4th International Conference on Web Information Systems and Technologies (WEBIST), 4-7 May 2008, Funchal, Madeira - Portugal.

Snook, C. and Butler, M. (2008) UML-B and Event-B: an integration of languages and tools. In: The IASTED International Conference on Software Engineering - SE2008, 12-14th February 2008, innsbruck, Austria.

Snook, C. and Butler, M. (2008) UML-B: A plug-in for the Event-B tool set. In: Abstract State Machines, B and Z, First International Conference ABZ 2008. p. 347.

Snook, C., Poppleton, M. and Johnson, I. (2008) Rigorous engineering of product-line requirements: a case study in
failure management.
Information and Software Technology, 50 (1-2). pp. 112-129. ISSN 0950-5849

Spikings, S., Al-Hashimi, B. and Harris, N. (2008) Unobtrusive Welfare Monitoring System. (Unpublished)

Tao, F. B., Khoja, S., Davis, H. and Gravell, A. (2008) Academic Administration and Management Scenarios on the Semantic Web. In: IEEE International Conference on Advanced Learning Technologies: ICALT 2008, July 2008, Santander, Spain.

Torre, S. L., Madhusudan, P. and Parlato, G. (2008) Context-Bounded Analysis of Concurrent Queue Systems. In: TACAS, March 29-April 6, 2008, Budapest, Hungary. pp. 299-314.

Torre, S. L., Madhusudan, P. and Parlato, G. (2008) An Infinite Automaton Characterization of Double Exponential Time. In: CSL, September 16-19, 2008, Bertinoro, Italy. pp. 33-48.

Torre, S. L., Napoli, M., Parente, M. and Parlato, G. (2008) Verification of scope-dependent hierarchical state machines. Inf. Comput., 206 (9-10). pp. 1161-1177.

Troya, A., Maharatna, K., Krstic, M., Grass, E., Jagdhold, U. and Kraemer, R. (2008) Low-Power VLSI Implementation of the Inner Receiver for OFDM-Based WLAN Systems. IEEE Trans. on Circuits and Systems - I, 55 (2). pp. 672-686.

Wald, M., Wills, G., Millard, D., Gilbert, L., Khoja, S., Kajaba, J. and Butt, P. (2008) Multimedia Annotation and Community Folksonomy Building. In: World Conference on Educational Multimedia, Hypermedia & Telecommunications (EDMEDIA) , 3-4 June 2008 , Vienna, Austria . pp. 2213-2220.

Wang, L., Kazmierski, T., Al-Hashimi, B., Beeby, S. and Torah, R. (2008) Integrated approach to energy harvester mixed technology modelling and performance optimisation. In: Design, Automation and Test in Europe (DATE 2008), March 10-14, 2008, Munich, Germany.

Weddell, A. S., Merrett, G. V., Harris, N. R. and Al-Hashimi, B. M. (2008) Energy Harvesting and Management for Wireless Autonomous Sensors. Measurement + Control, 41 (4). pp. 104-108. ISSN 0020-2940

Wills, G., Gilbert, L., Hare, J., Kajaba, J., Argles, D. and Millard, D. (2008) Assessment Delivery Engine for QTIv2 Tests. In: 4th Ten Competence Open Workshop, 10-11 April 2008, Madrid.

Wills, G., Hare, J., Kajaba, J., Argles, D., Gilbert, L. and Millard, D. (2008) Assessment Delivery Engine for QTIv2 Tests. In: International CAA Conference, 8-9th July 2008, Loughborough UK.

Wills, G., Hare, J., Kajaba, J., Argles, D., Gilbert, L. and Millard, D. (2008) A Delivery Engine for QTI Assessments. International Journal of Emerging Technologies in Learning (iJET), 3 . ISSN 1863-0383

Wilson, P., McNally, I., Swabey, M. and Al-Hashimi, B. (2008) IC Design and Manufacture for Undergraduates: Theory, Design and Practice. In: 7th European Workshop on Microelectronics Education, 28th May 2008, Budapest, Hungary. pp. 22-23.

Wilson, P., Wilcock, R., McNally, I., Swabey, M. and Al-Hashimi, B. (2008) The Superchip: Innovative Teaching of IC Design and Manufacture. In: Custom Integrated Circuits Conference, September 2008, San Jose, Ca, USA. (In Press)

Wong, S. C., Crowder, R. M., Wills, G. B. and Shadbolt, N. R. (2008) Knowledge Transfer: From Maintenance to Engine Design. Journal of Computing and Information Science in Engineering (Transactions of the ASME), 8 (1). ISSN 1530-9827

Zadorozhnii, V. I., Sluckin, T. J., Reshetnyak, V. Y. and Thomas, K. S. (2008) The Frederiks effect and related phenomena in ferronematic materials. SIAM Journal on Applied Mathematics . pp. 1688-716.

Zhang, P., Millard, D., Wills, G., Howard, Y., Faulds, S., Gilbert, L. and Sparks, D. (2008) A Mobile Toolkit for Placement Learning. In: The 8th IEEE International Conference on Advanced Learning Technologies (ICALT 2008), July 1st- July 5th, 2008, Santander, Cantabria, Spain.

Zhou, D., Kazmierski, T. and Al-Hashimi, B. (2008) VHDL-AMS implementation of a numerical
ballistic CNT model for logic circuit simulation.
In: Specification, Verification and Design Languages, 2008. FDL 2008. Forum on, 23-25 Sept. 2008, Stuttgart. pp. 94-98.

This list was generated on Wed Sep 3 00:56:32 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