15253 search results - page 2960 / 3051 » Integer-Programming Software Systems |
102
Voted
ENTCS
1998
15 years 2 months ago
1998
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
110
click to vote
COMGEO
1999
ACM
15 years 2 months ago
1999
ACM
The visual nature of geometry applications makes them a natural area where visualization can be an effective tool for demonstrating algorithms. In this paper we propose a new mode...
126
Voted
SIGMETRICS
2002
ACM
15 years 2 months ago
2002
ACM
Computer system designers often evaluate future design alternatives with detailed simulators that strive for functional fidelity (to execute relevant workloads) and performance fi...
141
click to vote
WINET
2002
15 years 2 months ago
2002
In the near future, we will see dramatic changes in computing and networking hardware. A large number of devices (e.g., phones, PDAs, even small household appliances) will become c...
111
Voted
PVLDB
2008
15 years 1 months ago
2008
Where can I attend an interesting database workshop close to a sunny beach? Who are the strongest experts on service computing based upon their recent publication record and accep...