2607 search results - page 392 / 522 » On the Architecture of System Verification Environments |
176
click to vote
MSS
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper examines the application of Tornado Codes, a class of low density parity check (LDPC) erasure codes, to archival storage systems based on massive arrays of idle disks (...
170
click to vote
CODES
2005
IEEE
16 years 4 days ago
2005
IEEE
For embedded system development, several companies provide cross-platform development tools to aid in debugging, prototyping and optimization of programs. These are full system em...
193
click to vote
ICDE
2005
IEEE
16 years 3 days ago
2005
IEEE
Current federated systems deploy cost-based query optimization mechanisms; i.e., the optimizer selects a global query plan with the lowest cost to execute. Thus, cost functions in...
183
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Three distinct and interacting types of entities: people, software agents and e-markets are considered in this paper. These entities operate within Shaman, a proposed framework fo...
216
click to vote
SIES
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--In distributed embedded systems operated by battery, energy management is a critical issue that has to be addressed at different architecture levels. For systems that tig...