Search results

Create the page "System verification" on this wiki! See also the search results found.

• ACM SAC OE 2009
  - Model analysis, verification and validation. ...made electronically in PDF format via the ACM SAC online track management system at http://sac.cs.iupui.edu/SAC2009/
  6 KB (746 words) - 23:26, 14 October 2008
• ICONS 2008
  In the last years, new system concepts have been promoted and partially embedded in new deployments. Anti ...eworks and system design methodologies supported by appropriate models and system specification languages, the deployment of application-oriented systems rai
  6 KB (765 words) - 23:26, 14 October 2008
• WDA 2008
  ...de dependable operation - in terms of reliability and availability - for a system made of unreliable components. ...echanisms such as clock- and Vdd-gating are increasing voltage droops; the verification manpower budget is becoming a significant part of the design effort; oxide
  5 KB (598 words) - 01:12, 31 May 2012
• EDCC 2008
  * Hardware and software testing, verification, and validation. * Dependability in high-bandwidth and system area networks.
  4 KB (528 words) - 23:27, 14 October 2008
• MEMS 2009
  * Design, simulation and analysis tools with experimental verification * System architecture
  2 KB (278 words) - 22:54, 4 February 2009
• CRTS 2008
  technologies that allows for the decomposition of a complex system individual components to achieve system functions collectively,
  6 KB (707 words) - 23:29, 14 October 2008
• EURASIP Journal on Embedded Systems 2009
  ...ry complex as they are responsible for controlling and regulating multiple system functionalities. Often embedded systems are also safety-critical requiring ...sors controlling the modern cars or aircrafts and airport baggage handling system that track and trace unsafe baggage. To address this growing need for safet
  4 KB (456 words) - 23:30, 14 October 2008
• ESWEEK 2008
  Hardware/Software Codesign and System Synthesis 2) VLSI and circuit techniques for embedded system design
  11 KB (1,352 words) - 00:33, 15 October 2008
• LCTES 2008
  research challenges are encountered in areas such as verification, system and compiler
  5 KB (673 words) - 23:30, 14 October 2008
• APRES 2008
  improve efficiency in the use of system resources.... However, adaptability also incurs overhead in terms of system
  7 KB (851 words) - 23:30, 14 October 2008
• RTAS Event-based Semantics 2008
  certification, resulting in a major verification challenge. The notion of Cyber-Physical System (CPS) is adding new dimenions to these challenges.
  3 KB (426 words) - 23:30, 14 October 2008
• FIT 2008
  achieving component interoperability and to predict global system * Verification & analysis of interfaces
  4 KB (537 words) - 23:30, 14 October 2008
• DIPES 2008
  number of controllers distributed over the entire system and embedded system design increase the engineering challenges and demand
  5 KB (655 words) - 23:30, 14 October 2008
• DADS 2009
  ...ty. Of course, dependability and adaptiveness can not simply be added to a system like a plug-in module. Rather, for databases, services, middleware, and sof ...ions and formal methods (e.g., rigorous development of dependable systems, verification and refinement of fault tolerant systems, techniques and mechanisms ensurin
  8 KB (952 words) - 23:31, 14 October 2008
• WAODS 2008
  - Verification tools for ontologies The papers must be uploaded using the online system provided at the workshop website: http://waods.istase.fr/openconf/openconf.
  4 KB (523 words) - 23:31, 14 October 2008
• ISORC 2008
  ...ns, specification, design, verification, validation, testing, maintenance, system of systems, etc. System software: real-time kernels and operating systems, middleware support for O
  3 KB (377 words) - 23:31, 14 October 2008
• CAV 2020
  |Title=International Conference on Computer Aided Verification * Algorithms and tools for system synthesis
  2 KB (291 words) - 11:09, 20 November 2020
• FMCAD 2008
  ...ems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. FMCAD 2008 will include a full day
  2 KB (269 words) - 23:36, 14 October 2008
• IWLS 2008
  ...nd Synthesis provides a forum for research in synthesis, optimization, and verification of integrated circuits and systems. The emphasis is on novelty and intellec * testing and verification;
  3 KB (399 words) - 23:36, 14 October 2008
• DAC 2008
  ...onents with limited resources. Increases in software content introduce new system design issues. ...e tools, methods, and case studies for applications with specific embedded system content.
  2 KB (322 words) - 12:03, 27 November 2020

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)