4520 search results - page 133 / 904 » Algebraic Techniques for Timed Systems |
201
Voted
PARCO
1997
15 years 8 months ago
1997
During the last decade, all commercial database systems have included features for parallel processing into their products. This development has been driven by the fact that datab...
195
Voted
CIDR
2003
15 years 8 months ago
2003
Speculation is an every day phenomenon whereby one acts in anticipation of particular conditions that are likely to hold in the future. Computer science research has seen many suc...
203
Voted
ECRTS
2002
IEEE
2002
IEEE
Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis
15 years 12 months ago
Real-time control systems are complex to design, and automation support is important. We are interested in systems with multiple tasks, each with multiple modes, implementing a fu...
202
Voted
LOPSTR
2004
Springer
16 years 9 days ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
179
click to vote
ICCTA
2007
IEEE
16 years 1 months ago
2007
IEEE
Population size plays a major role in determining the performance of any biometric authentication system, particularly when such systems are used for civilian applications. In thi...