5128 search results - page 323 / 1026 » When Abstraction Fails |
251
click to vote
ENTCS
2006
15 years 7 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
224
click to vote
IJCOMSYS
2006
15 years 7 months ago
2006
Abstract. Numerous studies have shown that packet reordering is common, especially in networks where there is high degree of parallelism and different link speeds. Reordering of pa...
207
click to vote
IJHPCA
2006
15 years 7 months ago
2006
This paper describes capabilities, evolution, performance, and applications of the Global Arrays (GA) toolkit. GA was created to provide application programmers with an interface ...
148
Voted
JSCIC
2008
15 years 7 months ago
2008
Abstract This paper proposes and implements a novel hybrid level set method which combines the numerical efficiency of the local level set approach with the temporal stability affo...
179
click to vote
IJAC
2007
15 years 7 months ago
2007
Abstract. We say the endomorphism problem is solvable for an element W in a free group F if it can be decided effectively whether, given U in F , there is an endomorphism φ of F ...