266 search results - page 35 / 54 » Combining Software and Hardware Verification Techniques |
106
click to vote
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
Program source is an intermediate representation of software; it lies between a developer’s intention and the hardware’s execution. Despite advances in languages and developme...
110
click to vote
MSE
2002
IEEE
15 years 6 months ago
2002
IEEE
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaini...
112
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
89
Voted
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
—This paper suggests a new approach for bitstream processing of embedded systems, using a combination of C++ metaprogramming combined with architecture extensions of an customiza...
117
Voted
SOSP
1989
ACM
15 years 3 months ago
1989
ACM
The Synthesis operating system kernel combines several techniques to provide high performa.nce, incl1iding kernel code synthesis, fine-gra.in scheduling. and optimistic sylicllrol...