36320 search results - page 7115 / 7264 » From Code to Models |
167
click to vote
SIGUCCS
2003
ACM
16 years 2 days ago
2003
ACM
Students are a wonderful resource for any department of a college or university, especially an ITS department. They are inexpensive and abundant. They want to work at strange time...
181
click to vote
SPAA
2003
ACM
16 years 2 days 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 ...
191
click to vote
WSNA
2003
ACM
16 years 2 days ago
2003
ACM
Sensor networks have become an important source of data with numerous applications in monitoring various real-life phenomena as well as industrial applications and traffic contro...
222
click to vote
AGTIVE
2003
Springer
16 years 2 days ago
2003
Springer
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...
185
click to vote
ASM
2003
ASM
16 years 2 days ago
2003
ASM
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...