1525 search results - page 20 / 305 » Formal Models for Communication-Based Design |
VLSID
2005
IEEE
2005
IEEE
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model
14 years 1 months ago
One of the emerging challenges in formal property verification (FPV) technology is the problem of deciding whether sufficient properties have been written to cover the design in...
ENTCS
2008
13 years 8 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
APCCM
2006
13 years 9 months ago
2006
A wide range of database applications manage information that varies over time. Many of the underlying database schemas of these were designed using one of the several versions of...
WSC
2004
13 years 9 months ago
2004
Building computational models of real world systems usually requires the interaction of decision modules and simulation modules. Given different models and algorithms, the major h...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
Bio-inspired ad hoc routing is an active area of research. The designers of these algorithms predominantly evaluate the performance of their protocols with the help of simulation ...