Search results

Create the page "Software Verification" on this wiki! See also the search results found.

• SAMOS 2008
  ...-art mature research papers on all aspects of embedded processors hardware/software design and integration. The IC-SAMOS is an IEEE co-sponsored conference (by * Hardware/Software Co-design
  2 KB (275 words) - 23:24, 14 October 2008
• ICONS 2009
  ...igning, implementing, testing, validating and maintaining various kinds of software and hardware systems. Several tracks are proposed to treat the topics from ...rification of safety requirements for complex systems containing hardware, software and human subsystems must be considered from early design phases. There is
  11 KB (1,492 words) - 23:26, 14 October 2008
• ACM SAC OE 2009
  ...g has been a primary gathering forum for computer scientists, computer and software engineers from around the world. The ACM SAC conference is sponsored by the - Model analysis, verification and validation.
  6 KB (746 words) - 23:26, 14 October 2008
• ICONS 2008
  ...igning, implementing, testing, validating and maintaining various kinds of software and hardware systems. Several tracks are proposed to treat the topics from ...rification of safety requirements for complex systems containing hardware, software and human subsystems must be considered from early design phases. There is
  6 KB (765 words) - 23:26, 14 October 2008
• WDA 2008
  Current computer technology trends present to the hardware and software designer novel opportunities to improve performance and at the same time ma ...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
  ...ystems. All kinds of faults are of interest, from traditional hardware and software faults to accidental and malicious human interactions. * Hardware and software testing, verification, and validation.
  4 KB (528 words) - 23:27, 14 October 2008
• EURASIP Journal on Embedded Systems 2009
  ...ifferent applications of formal or semiformal techniques in specification, verification, and synthesis of * Verification of system-level languages
  4 KB (456 words) - 23:30, 14 October 2008
• ESWEEK 2008
  Hardware/Software Codesign and System Synthesis International Conference on Embedded Software
  11 KB (1,352 words) - 00:33, 15 October 2008
• LCTES 2008
  research challenges are encountered in areas such as verification, o Hardware, system software, and application, and their interface
  5 KB (673 words) - 23:30, 14 October 2008
• MEMOCODE 2008
  practitioners who design modern hardware/software systems. for the design of dependable hardware/software systems. Many
  4 KB (526 words) - 23:30, 14 October 2008
• APRES 2008
  hardware/software defects, resource changes, and non-continual feature... - Verification and certification of reconfigurable systems
  7 KB (851 words) - 23:30, 14 October 2008
• FIT 2008
  complex software products, rich interfaces have been proposed. These constraints in embedded software. The development of a rigorous
  4 KB (537 words) - 23:30, 14 October 2008
• DIPES 2008
  4. Validation and verification of embedded systems 11. Software synthesis for real-time applications
  5 KB (655 words) - 23:30, 14 October 2008
• DADS 2009
  Unfortunately, heterogeneous, large-scale, and dynamic software systems that typically run continuously often tend to become inert, brittle ...chological aspects, to compensate for dependability degradation of running software and services.
  8 KB (952 words) - 23:31, 14 October 2008
• WAODS 2008
  ...ng widespread in several and disconnected domains. Their usage lead to new software architectures, especially in the field of distributed systems. It is howeve ...ase (how does ontologies perform in practice ? What is the benefit for the software architect using them ? What is the benefit for the user ? What are their li
  4 KB (523 words) - 23:31, 14 October 2008
• ISORC 2008
  ...-driven development of high integrity applications, specification, design, verification, validation, testing, maintenance, system of systems, etc. System software: real-time kernels and operating systems, middleware support for ORC, QoS m
  3 KB (377 words) - 23:31, 14 October 2008
• ESOP 2009
  ...orum for academic and industrial researchers working on topics relating to Software Science. ETAPS 2009 is the 12th joint conference in this series. ...ogical foundations, denotational semantics, operational semantics, program verification, static analysis, testing, language-based security.
  6 KB (824 words) - 23:32, 14 October 2008
• PPoPP 2009
  * Formal analysis and verification * Software engineering for parallel programs
  4 KB (495 words) - 23:32, 14 October 2008
• ISSTA 2020
  |Title=29th ACM SIGSOFT International Symposium on Software Testing and Analysis |Field=Software engineering
  2 KB (216 words) - 09:31, 16 July 2020
• CAV 2020
  |Title=International Conference on Computer Aided Verification * Algorithms and tools that combine verification and learning
  2 KB (291 words) - 11:09, 20 November 2020

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