4520 search results - page 135 / 904 » Algebraic Techniques for Timed Systems |
206
Voted
EUROSYS
2011
ACM
14 years 10 months ago
2011
ACM
Buffer caches in operating systems keep active file blocks in memory to reduce disk accesses. Related studies have been focused on how to minimize buffer misses and the caused pe...
188
click to vote
RTSS
2005
IEEE
16 years 16 days ago
2005
IEEE
Static timing analysis safely bounds worst-case execution times to determine if tasks can meet their deadlines in hard real-time systems. However, conventional timing analysis req...
177
Voted
CSREAESA
2008
15 years 8 months ago
2008
This paper discusses why the extensive scientific results on predicting embedded systems temporal behavior never, or very seldom, reaches the industrial community. We also point ou...
162
click to vote
ICASSP
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper deals with a new technique for blind source separation (BSS) from convolutive mixtures. We present a three-stage separation system employing time-frequency binary maski...
245
Voted
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...