3090 search results - page 113 / 618 » On Testing Answer-Set Programs |
105
click to vote
TACAS
2010
Springer
15 years 2 days ago
2010
Springer
The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks,...
100
click to vote
HASKELL
2009
ACM
15 years 8 months ago
2009
ACM
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...
131
click to vote
KBSE
2003
IEEE
15 years 7 months ago
2003
IEEE
Database application programs are often designed to be executed concurrently by many clients. By grouping related database queries into transactions, DBMS systems can guarantee th...
GROUP
2007
ACM
15 years 6 months ago
2007
ACM
This paper examines how software developers discuss users and how such discussions are intrinsic to the negotiation and settling of technical decisions in the development and test...
IEEEIAS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...