1890 search results - page 56 / 378 » Model-Based Testing in Practice |
PODC
1996
ACM
15 years 4 months ago
1996
ACM
Drawing ideas from previous authors, we present a new non-blocking concurrent queue algorithm and a new twolock queue algorithm in which one enqueue and one dequeue can proceed co...
WSC
2007
15 years 2 months ago
2007
Intelligent agents offer a new and exciting way of understanding the world of work. In this paper we apply agentbased modeling and simulation to investigate a set of problems in a...
102
click to vote
CONEXT
2008
ACM
15 years 1 months ago
2008
ACM
Recent research on Internet traffic classification algorithms has yielded a flurry of proposed approaches for distinguishing types of traffic, but no systematic comparison of the ...
CSC
2008
15 years 1 months ago
2008
- The set-covering problem is an interesting problem in computational complexity theory. In [1], the setcovering problem has been proved to be NP hard and a greedy heuristic algori...
ISMB
2000
15 years 1 months ago
2000
The next phase of human genomics will involve largescale screens of populations for signi cant DNA polymorphisms, notably single nucleotide polymorphisms SNP's. Dense human S...