2523 search results - page 463 / 505 » Correct Development of Embedded Systems |
152
click to vote
GSEM
2004
Springer
15 years 7 months ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
127
click to vote
POPL
1992
ACM
15 years 6 months ago
1992
ACM
Polymorphic record calculi have recently attracted much attention as a typed foundation for objectoriented programming. This is based on the fact that a function that selects a fi...
127
Voted
ECCC
2010
15 years 28 days ago
2010
Applications based on outsourcing computation require guarantees to the data owner that the desired computation has been performed correctly by the service provider. Methods based...
137
click to vote
ICSOC
2010
Springer
15 years 26 days ago
2010
Springer
In this demo paper we present the prototype of our fault injection testbed generator. Our tool empowers engineers to generate emulated SOA environments and to program fault injecti...
142
click to vote
DSRT
2008
IEEE
15 years 8 months ago
2008
IEEE
Embedded systems technologies and advances in micro electronics have accelerated the evolution of driver assistance systems towards more driving safety, comfort, entertainment and...