4245 search results - page 824 / 849 » Input Modeling |
113
Voted
SIGSOFT
2004
ACM
15 years 7 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
123
click to vote
GCB
2004
Springer
15 years 7 months ago
2004
Springer
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
129
click to vote
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
We deļ¬ne a natural notion of eļ¬ciency for approximate nearest-neighbor (ANN) search in general n-point metric spaces, namely the existence of a randomized algorithm which answ...
144
Voted
ICS
2004
Tsinghua U.
15 years 7 months ago
2004
Tsinghua U.
Studying program behavior is a central component in architectural designs. In this paper, we study and exploit one aspect of program behavior, the behavior repetition, to expedite...
178
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
The parallel packet switch (PPS) extends the inverse multiplexing architecture, and is extensively used as the core of contemporary commercial switches. A key factor in the perfor...