853 search results - page 38 / 171 » New test approach for embedded applications |
119
click to vote
CSMR
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract--Building comprehensive test suites for web applications poses new challenges in software testing. Coverage criteria used for traditional systems to assess the quality of ...
102
click to vote
ICFP
2001
ACM
16 years 1 months ago
2001
ACM
The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic...
109
click to vote
SIMUTOOLS
2008
15 years 2 months ago
2008
Embedded Peer-to-Peer Systems (EP2P) represent a new challenge in the development of software for distributed systems. The main objective of the SMEPP (Secure Middleware for Embed...
121
click to vote
BIRTHDAY
2012
Springer
13 years 9 months ago
2012
Springer
3-D integration presents many new opportunities for architects and embedded systems designers. However, 3-D integration has not yet been explored by the cryptographic hardware com...
124
click to vote
HASE
2007
IEEE
15 years 5 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...