3090 search results - page 388 / 618 » On Testing Answer-Set Programs |
164
click to vote
TPHOL
2007
IEEE
16 years 20 days ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
166
click to vote
LADS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...
161
click to vote
ML
2006
ACM
16 years 11 days ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
134
click to vote
ACSAC
2005
IEEE
16 years 1 days ago
2005
IEEE
We present e-NeXSh, a novel security approach that utilises kernel and LIBC support for efficiently defending systems against process-subversion attacks. Such attacks exploit vul...
169
click to vote
ICPP
2005
IEEE
16 years 5 hour ago
2005
IEEE
We describe a generic programming model to design collective communications on SMP clusters. The programming model utilizes shared memory for collective communications and overlap...