4299 search results - page 157 / 860 » Concurrent Test Generation |
131
Voted
ICTAC
2004
Springer
15 years 9 months ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
110
Voted
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
- The intrinsic capability brought by each new technology node opens the way to a broad range of system integration options and continuously enables new applications to be integrat...
120
Voted
ACSC
2005
IEEE
15 years 9 months ago
2005
IEEE
Parallel pattern-matching (PPM) provides true commutative implementation of functions defined by cases in functional languages, because no argument is given precedence over any o...
131
click to vote
ICDT
2010
ACM
15 years 7 months ago
2010
ACM
Snapshot Isolation is a popular and efficient protocol for concurrency control. In this paper we discuss Snapshot Isolation in view of the classical theory for transaction process...
109
Voted
CONCURRENCY
2008
15 years 3 months ago
2008
Reputation mechanisms help peers in a peer-to-peer (P2P) system avoid unreliable or malicious peers. In application-level networks, however, short peer life-times mean reputations...