9425 search results - page 1800 / 1885 » Some Notes on Models and Modelling |
127
Voted
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
130
click to vote
SIGECOM
2003
ACM
15 years 7 months ago
2003
ACM
Some recent trends in business and manufacturing hold the promise of greater profits, yet, due to profit-robbing inventory increases, this promise has not been fully realized. [9]...
102
click to vote
SIGUCCS
2003
ACM
15 years 7 months ago
2003
ACM
Working in a team environment can be either an efficient and productive means of completing projects or a nightmare where the project never seems to end. Most of us have been a pa...
110
click to vote
SMA
2003
ACM
15 years 7 months ago
2003
ACM
The prediction of collisions amongst N rigid objects may be reduced to a series of computations of the time to first contact for all pairs of objects. Simple enclosing bounds and...
118
click to vote
SPAA
2003
ACM
15 years 7 months ago
2003
ACM
In this paper we consider the following scenario. A set of n jobs with different threads is being run concurrently. Each job has an associated weight, which gives the proportion ...