4520 search results - page 195 / 904 » Algebraic Techniques for Timed Systems |
165
click to vote
DSN
2004
IEEE
15 years 11 months ago
2004
IEEE
Designing storage systems to provide business continuity in the face of failures requires the use of various data protection techniques, such as backup, remote mirroring, point-in-...
192
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
184
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents a near real-time multilingual news monitoring and analysis system that forms the backbone of our research work. The system integrates technologies to address t...
185
click to vote
ECRTS
2008
IEEE
16 years 1 months ago
2008
IEEE
A multiprocessor scheduling scheme is presented for supporting hierarchical containers that encapsulate sporadic soft and hard real-time tasks. In this scheme, each container is a...
185
click to vote
ECBS
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper addresses software implementation of large sparse systems of Boolean functions. Fast evaluation of such functions with the smallest memory consumption is often required ...