1837 search results - page 13 / 368 » Architecture = Abstractions over Software |
AMAST
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
WIMAW
2008
13 years 9 months ago
2008
: The industrialization of software development induces several changes to the development process as software development becomes distributed over company borders. They cooperativ...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
ing models and HW-SW Interfaces Abstraction for Multi-Processor SoC Ahmed A. Jerraya TIMA Laboratory 46 Ave Felix Viallet 38031 Grenoble CEDEX, France +33476574759 Ahmed.Jerraya@im...
WICSA
2004
13 years 9 months ago
2004
In this paper, we address the correct refinement of abstract architectural models into more platformspecific representations. We consider the challenging case of dynamic architect...
CASES
2008
ACM
13 years 9 months ago
2008
ACM
fficient Programming Abstractions for Heterogeneous Multicore Systems on Chip Alastair D. Reid Krisztian Flautner Edmund Grimley-Evans ARM Ltd Yuan Lin University of Michigan The ...