3429 search results - page 601 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
ASPLOS
2012
ACM
12 years 5 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...
ASPLOS
2012
ACM
12 years 5 months ago
2012
ACM
Emerging fast, non-volatile memories (e.g., phase change memories, spin-torque MRAMs, and the memristor) reduce storage access latencies by an order of magnitude compared to state...
ISSTA
2012
ACM
12 years 18 days ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
OOPSLA
2009
Springer
14 years 4 months ago
2009
Springer
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...
LISA
2008
14 years 14 days ago
2008
In recent times a new kind of computing system has emerged: a distributed infrastructure composed of multiple physical sites in different administrative domains. This model introd...