4693 search results - page 400 / 939 » Verifying Hybrid Systems |
202
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
167
click to vote
TOPLAS
2002
15 years 6 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
224
click to vote
IEAAIE
2011
Springer
14 years 10 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
194
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. With the prevalence of multi-core processors and cloud computing, the server consolidation using virtualization has increasingly expanded its territory, and the degree of...
146
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents a multi-core SoC architecture for consumer multimedia applications. The comprehensive functionality of such multimedia systems is described using the example...