4520 search results - page 680 / 904 » Algebraic Techniques for Timed Systems |
177
click to vote
ESWS
2004
Springer
16 years 13 hour ago
2004
Springer
Abstract. In an open environment populated by heterogeneous information services integration will be a major challenge. Even if the problem is similar to planning in some aspects, ...
222
click to vote
SCOPES
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
179
click to vote
DSN
2003
IEEE
15 years 12 months ago
2003
IEEE
Processor caches already play a critical role in the performance of today’s computer systems. At the same time, the data integrity of words coming out of the caches can have ser...
166
click to vote
SLIP
2003
ACM
15 years 12 months ago
2003
ACM
In the past, a priori interconnect prediction, based on Rent’s rule, has been applied mainly for technology evaluation and roadmap applications. These applications do not requir...
157
Voted
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Parameterized queries are commonly used in database applications. In a parameterized query, the same SQL statement is potentially executed multiple times with different parameter ...