4520 search results - page 680 / 904 » Algebraic Techniques for Timed Systems |
195
click to vote
ESWS
2004
Springer
16 years 20 days 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, ...
248
click to vote
SCOPES
2004
Springer
16 years 18 days 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...
206
click to vote
DSN
2003
IEEE
16 years 17 days 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...
193
click to vote
SLIP
2003
ACM
16 years 15 days 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...
186
click to vote
SIGMOD
2010
ACM
16 years 2 days 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 ...