Search results

• 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) - 12:23, 17 February 2021
• CAV 2020
  |Title=International Conference on Computer Aided Verification * Algorithms and tools for system synthesis
  2 KB (291 words) - 14:12, 17 February 2021
• FSEN 2017
  |Field=system verification, software engineering, formal methods, software testing
  418 bytes (51 words) - 13:21, 17 February 2021
• VLSI-DAT 2009
  * System-in-package design * Electronic System Level Design
  2 KB (282 words) - 12:38, 17 February 2021
• SSV 2009
  | Title = 4th International Workshop on Systems Software Verification Industrial-strength software analysis and verification has advanced in
  2 KB (255 words) - 12:58, 17 February 2021
• SnT2017
  ...n Treaty (CTBT)'''. Such interaction helps ensure that the Treaty’s global verification regime remains at the forefront of scientific and technical innovation. ...phere, underwater and underground. The CTBTO is tasked with establishing a verification regime which includes a global network of over 300 monitoring stations.
  3 KB (451 words) - 13:38, 17 February 2021
• Petri Nets 2018
  ...ed with the 18th International Conference on Application of Concurrency to System Design (ACSD 2018). * ● Model checking and verification of distributed systems
  2 KB (243 words) - 14:03, 17 February 2021
• Petri Nets 2019
  * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems
  2 KB (251 words) - 14:03, 17 February 2021
• TACAS 2021
  * specification and verification techniques; * software and hardware verification;
  2 KB (293 words) - 14:08, 17 February 2021
• SimpleScalar
  ...ormance visualization tools, statistical analysis resources, and debug and verification infrastructure.
  2 KB (210 words) - 13:18, 17 February 2021
• 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) - 12:23, 17 February 2021
• Francesco Flammini
  .../ETCS (European Railway Traffic Management System / European Train Control System) projects. Since February 2007, he has worked on the protection of transpor
  1 KB (186 words) - 12:59, 17 February 2021
• Petri Nets 2020
  * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems
  2 KB (291 words) - 14:03, 17 February 2021
• CADS 2017
  * High-Performance I/O Systems and Storage System Architectures * Dependable and Fault Tolerant System Designs
  1 KB (178 words) - 14:12, 17 February 2021
• Free VLSI Workshop 2017 : Registrations open – Free VLSI Workshop at Maven Silicon on 20th Aug 2017
  Join us for Free Workshop on RTL Design & Functional Verification and receive Verification.
  2 KB (327 words) - 13:40, 17 February 2021
• TACAS 2019
  * specification and verification techniques; * software and hardware verification;
  3 KB (369 words) - 14:08, 17 February 2021
• 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) - 12:34, 17 February 2021
• APSAR 2009
  A1. Airborne SAR System A2. Space-borne SAR System
  2 KB (307 words) - 12:19, 17 February 2021
• ECSI
  ...vantage, knowledge base and access to innovative emerging solutions in the system design domain. ...tion of member partners originating in the entire System Design ecosystem: system companies (aerospace, automotive, telecom, consumer, networking, …), embe
  3 KB (394 words) - 13:09, 17 February 2021
• CORCS 2008
  Any submission whose content is relevant to the area of resource constrained system design will be considered, but submission whose subject matter is related t * formal techniques for verification and validation of
  2 KB (254 words) - 12:20, 17 February 2021

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