2624 search results - page 94 / 525 » The 2LIP model and its implementations |
126
click to vote
WSC
1997
15 years 7 months ago
1997
At a parcel delivery company, the items being shipped must be sorted by destination. However, the company typically serves more destinations than there are distinct positions for ...
182
click to vote
IJMMS
2007
15 years 6 months ago
2007
Much has been written of the facilities for ontology building and reasoning offered for ontologies expressed in the Web Ontology Language (OWL). Less has been written about how th...
151
click to vote
CGF
1998
15 years 5 months ago
1998
In this paper, we present an e cient algorithm for contact determination between spline models. We make use of a new hierarchy, called ShellTree, that comprises of spherical shell...
175
click to vote
SIGMETRICS
2002
ACM
15 years 5 months ago
2002
ACM
Being able to model contention for software resources (e.g., a critical section or database lock) is paramount to building performance models that capture all aspects of the delay...
175
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...