4299 search results - page 238 / 860 » Concurrent Test Generation |
144
click to vote
CAV
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
163
click to vote
JAL
2008
15 years 4 months ago
2008
Mixed Multi-Unit Combinatorial Auctions extend and generalize all the preceding types of combinatorial auctions. In this paper, we try to make headway on the practical application...
130
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...
105
click to vote
PPDP
2005
Springer
15 years 9 months 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...
153
click to vote
RTCSA
1999
IEEE
15 years 8 months ago
1999
IEEE
A non-blocking protocol that allows real-time tasks to share data in a multiprocessor system is presented in this paper. The protocol gives the means to concurrent real-time tasks...