7080 search results - page 882 / 1416 » Designing High Integrity Systems Using Aspects |
196
Voted
ICSE
1998
IEEE-ACM
15 years 11 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
162
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Distributed clusters like the Grid and PlanetLab enable the same statistical multiplexing efficiency gains for computing as the Internet provides for networking. One major challen...
162
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
213
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Widespread adoption of reconfigurable devices requires system level synthesis techniques to take an application written in a high level language and map it to the reconfigurable d...
191
click to vote
ESTIMEDIA
2003
Springer
15 years 12 months ago
2003
Springer
Current multimedia applications are characterized by highly dynamic and non-deterministic behavior as well as high-performance requirements. In addition, portable devices demand a...