4520 search results - page 334 / 904 » Algebraic Techniques for Timed Systems |
198
click to vote
APSEC
2005
IEEE
16 years 1 months ago
2005
IEEE
Automotive software systems are becoming increasingly complex, driven both by advances in technology and by demands for more powerful applications. The design of such complex syst...
182
Voted
WORDS
2005
IEEE
16 years 1 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
170
click to vote
HYBRID
2003
Springer
16 years 21 days ago
2003
Springer
Abstract. In this paper we show how hybrid control and modeling techniques can be put to work for solving a problem of industrial relevance in Surface Mount Technology (SMT) manufa...
187
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
An FPGA-based reconfigurable system may contain boards of FPGAs which are reconfigured for different applications and must work correctly. This paper presents a novel approach for...
225
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
THOR is a persistent object store that provides a powerful programming model. THOR ensures that persistent objects are accessed only by calling their methods and it supports atomic...