255 search results - page 19 / 51 » Systematic and Automated Multiprocessor System Design, Progr... |
ICLP
1993
Springer
14 years 25 days ago
1993
Springer
Erlang is a concurrent programming language designed for prototyping and implementing reliable real-time systems. In its design Erlanginherits someideas fromconcurrent logic progra...
ARCS
2006
Springer
14 years 14 days ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
TCAD
2008
13 years 8 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
HICSS
2009
IEEE
14 years 18 days ago
2009
IEEE
Humans use computers to carry out tasks that neither is able to do easily alone: humans provide eyes, hands, and judgment while computers provide computation, networking, and stor...
DAC
2008
ACM
13 years 10 months ago
2008
ACM
Security of MPSoCs is an emerging area of concern in embedded systems. Security is jeopardized by code injection attacks, which are the most common types of software attacks. Prev...