1446 search results - page 67 / 290 » Formal analysis of hardware requirements |
HVC
2007
Springer
14 years 1 months ago
2007
Springer
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
Feature location aims at locating pieces of code that implement a given set of features (requirements). It is a necessary first step in every program comprehension and maintenanc...
FM
2005
Springer
14 years 2 months ago
2005
Springer
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...
VLSISP
2008
13 years 9 months ago
2008
Abstract. The large amount of data generated by neuroprosthetic devices requires a high communication bandwidth for extra-cranial transmission, critically limiting the number and u...
INFOCOM
2003
IEEE
14 years 2 months ago
2003
IEEE
— Mobile ad hoc networking has been an active research area for several years. How to stimulate cooperation among selfish mobile nodes, however, is not well addressed yet. In th...