7167 search results - page 1111 / 1434 » Answer Set Programming |
141
click to vote
HPCA
2009
IEEE
15 years 10 months ago
2009
IEEE
While parallelism and multi-cores are receiving much attention as a major scalability path, customization is another, orthogonal and complementary, scalability path which can targ...
130
click to vote
SENSYS
2009
ACM
15 years 10 months ago
2009
ACM
This paper describes Mercury, a wearable, wireless sensor platform for motion analysis of patients being treated for neuromotor disorders, such as Parkinson’s Disease, epilepsy,...
127
click to vote
CODES
2009
IEEE
15 years 9 months ago
2009
IEEE
Multiprocessor System-on-Chips (MPSoCs) are nowadays widely used, but the problem of their software development persists to be one of the biggest challenges for developers. Virtua...
122
click to vote
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
143
click to vote
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...