4690 search results - page 656 / 938 » An operational semantics for Scheme |
322
Voted
ICDE
2004
IEEE
16 years 8 months ago
2004
IEEE
In constrained data mining, users can specify constraints that can be used to prune the search space to avoid mining uninteresting knowledge. Since it is difficult to determine th...
170
Voted
DAC
2002
ACM
16 years 8 months ago
2002
ACM
This paper presents a class of algorithms suitable for model reduction of distributed systems. Distributed systems are not suitable for treatment by standard model-reduction algor...
175
Voted
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
We present a new scheme for performing binary translation that produces code comparable to or better than existing binary translators with much less engineering effort. Instead of...
231
Voted
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
Recent advances in miniaturization and low-cost, lowpower design have led to active research in large-scale networks of small, wireless, low-power sensors and actuators. Time sync...
192
click to vote
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
Client request rates for Internet services tend to be bursty and thus it is important to maintain efficient resource utilization under a wide range of load conditions. Network ser...