4693 search results - page 663 / 939 » Verifying Hybrid Systems |
169
click to vote
RSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
147
click to vote
TRIDENTCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents the setup of a testbed developed for the fast evaluation of RFID systems in two frequency domains. At the one hand the 13.56 MHz and at the other hand the 868 ...
129
click to vote
DEXAW
2007
IEEE
16 years 1 months ago
2007
IEEE
The current effort to extend the power of information systems by making use of the semantics associated with terms and structures has resulted in a need to establish correspondenc...
203
click to vote
NAS
2007
IEEE
16 years 1 months ago
2007
IEEE
In cluster-based storage systems, the metadata server cluster must be able to adaptively distribute responsibility for metadata to maintain high system performance and long-term l...
148
click to vote
SRDS
2007
IEEE
16 years 29 days ago
2007
IEEE
The reliability of a large-scale storage system is influenced by a complex set of inter-dependent factors. This paper presents a comprehensive and extensible analytical framework ...