3090 search results - page 320 / 618 » On Testing Answer-Set Programs |
132
click to vote
GECCO
2007
Springer
16 years 25 days ago
2007
Springer
This study investigates automatic regular expression generation using Grammatical Evolution. The software implementation is based on a subset of POSIX regular expression rules. Fo...
140
click to vote
NPC
2007
Springer
16 years 24 days ago
2007
Springer
Parallelism is one of the main sources for performance improvement in modern computing environment, but the efficient exploitation of the available parallelism depends on a number ...
176
click to vote
RTAS
2006
IEEE
16 years 20 days ago
2006
IEEE
We report on our experience with the implementation of the Real-time Specification for Java (RTSJ) in the DARPA Program Composition for Embedded System (PCES) program. Within the...
152
click to vote
OOPSLA
2005
Springer
16 years 4 days ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
137
click to vote
PPDP
2005
Springer
16 years 4 days ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...