8154 search results - page 1291 / 1631 » Understanding changes in use cases: A case study |
157
click to vote
SC
2004
ACM
16 years 6 days ago
2004
ACM
The Merrimac supercomputer uses stream processors and a highradix network to achieve high performance at low cost and low power. The stream architecture matches the capabilities o...
161
click to vote
ADAEUROPE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
185
click to vote
CIKM
2004
Springer
16 years 5 days ago
2004
Springer
We explore join optimizations in the presence of both timebased constraints (sliding windows) and value-based constraints (punctuations). We present the first join solution named...
168
click to vote
GG
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Graph programs as introduced by Habel and Plump [8] provide a simple yet computationally complete language for computing functions and relations on graphs. We extend this...
168
click to vote
ICFEM
2004
Springer
16 years 4 days ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...