4340 search results - page 726 / 868 » Formal Methods and Cryptography |
113
click to vote
FMCAD
2007
Springer
15 years 11 months ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
167
click to vote
FMICS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
149
click to vote
HPCC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. CAN is a famous structured peer-to-peer network based on ddimensional torus topology with constant degree and logarithmical diameter, but suffers from poor scalability wh...
127
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
143
click to vote
IFL
2007
Springer
15 years 11 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...