570 search results - page 36 / 114 » A Core Calculus of Dependency |
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
Heterogeneous multi-core processors, such as the IBM Cell processor, can deliver high performance. However, these processors are notoriously difficult to program: different cores...
DFT
2007
IEEE
14 years 3 months ago
2007
IEEE
We address two problems in this work, namely, 1) the resilience challenge in the future chips made up of massively defective nanoelements and organized in replicative multicore ar...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
—In this paper, we propose a scalable and transparent parallelization scheme using threads for multi-core processor. The performance achieved by our scheme is scalable to the num...
CSL
2009
Springer
14 years 3 months ago
2009
Springer
We study Craig interpolation for fragments and extensions of propositional linear temporal logic (PLTL). We consider various fragments of PLTL obtained by restricting the set of te...
SECURWARE
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...