3643 search results - page 130 / 729 » System Architecture for Software Peripherals |
100
click to vote
DAGSTUHL
2004
15 years 3 months ago
2004
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
SIGSOFT
2003
ACM
15 years 7 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
104
click to vote
ICSM
1999
IEEE
15 years 6 months ago
1999
IEEE
Evolving an existing software system is fundamentally different from developing one from scratch. Consequently, tools to support evolution must go beyond traditional development t...
126
click to vote
DAC
2011
ACM
14 years 1 months ago
2011
ACM
Modern processor architectures call for software that is highly tuned to an unpredictable operating environment. Processlevel virtualization systems allow existing software to ada...
130
click to vote
APSEC
1999
IEEE
15 years 6 months ago
1999
IEEE
One of the characteristics of large software systems is that they evolve over time. Evolution patterns include modifications related to the implementation, interfaces and the over...