17 search results - page 3 / 4 » Containers on the Parallelization of General-Purpose Java Pr... |
JTRES
2010
ACM
13 years 6 months ago
2010
ACM
Requirements to embedded systems increase steadily. In parallel, also the performance of the processors used in these systems is improved leading to multithreaded and/or multicore...
IJPP
2006
13 years 5 months ago
2006
Abstract. In order to address the problems faced in the wireless communications domain, picoChip has devised the picoArrayTM . The picoArrayTM is a tiled-processor architecture, co...
EUROMICRO
2007
IEEE
14 years 4 days ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
PPOPP
2005
ACM
13 years 11 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
AI
2011
Springer
13 years 25 days ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...