Join Our Newsletter
CC
9 months 7 days ago
2011 Springer 
Abstract. Heterogeneous multi-core platforms are increasingly prevalent due to their perceived superior performance over homogeneous systems. The best performance, however, can onl...
CC
9 months 7 days ago
2011 Springer 
Abstract. We present a disjoint reachability analysis for Java. Our analysis computes extended points-to graphs annotated with reachability states. Each heap annotated with a set o...
CC
9 months 7 days ago
2011 Springer 
For decades, the design and implementation of arrays in programming languages has reflected a natural tension between productivity and performance. Recently introduced HPCS langua...
LCTRTS
8 months 15 days ago
2011 Springer 
nguage does not provide any abstractions for exception handling or other forms of error handling, leaving programmers to devise their own conventions for detecting and handling er...
CASES
5 months 17 days ago
2011 ACM 
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
|
System Software
