10159 search results - page 1907 / 2032 » System Design Validation Using Formal Models |
PLDI
2003
ACM
14 years 1 months ago
2003
ACM
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...
ICSE
1999
IEEE-ACM
14 years 14 days ago
1999
IEEE-ACM
Software architectures have the potential to substantially improve the development and evolution of large, complex, multi-lingual, multi-platform, long-running systems. However, i...
MSWIM
2004
ACM
14 years 1 months ago
2004
ACM
Mobile networks are becoming increasingly popular as a means for distributing information to a large number of users. In comparison to wired networks, mobile networks are distingu...
CASES
2007
ACM
14 years 6 days ago
2007
ACM
The last decade has witnessed the emergence of the Application Specific Instruction-set Processor (ASIP) as a viable platform for embedded systems. Extensible ASIPs allow the user...
ASPLOS
2012
ACM
12 years 3 months ago
2012
ACM
Effective resource management of virtualized environments is a challenging task. State-of-the-art management systems either rely on analytical models or evaluate resource allocati...