4615 search results - page 688 / 923 » Virtual Classes and Their Implementation |
191
click to vote
SIGMETRICS
2002
ACM
15 years 6 months ago
2002
ACM
On-line routing algorithms deal with requests as they arrive without assuming any knowledge of the underlying process that generates the streams of requests. By contrast, off-line...
166
click to vote
TPDS
1998
15 years 6 months ago
1998
—We show that deadlocks due to dependencies on consumption channels are a fundamental problem in wormhole multicast routing. This type of resource deadlocks has not been addresse...
167
click to vote
MICS
2010
15 years 5 months ago
2010
We introduce a framework for the construction, maintenance, and manipulation of arrangements of curves embedded on certain two-dimensional orientable parametric surfaces in three-d...
186
click to vote
SCP
2010
15 years 5 months ago
2010
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
184
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...