1525 search results - page 110 / 305 » Formal Models for Communication-Based Design |
ACSD
2006
IEEE
14 years 2 months ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
FAABS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
PVM
2007
Springer
14 years 2 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
ENTCS
2006
13 years 8 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
CVPR
2006
IEEE
14 years 10 months ago
2006
IEEE
It is widely conjectured that the excellent ROC performance of biological vision systems is due in large part to the exploitation of context at each of many levels in a part/whole...