5762 search results - page 1078 / 1153 » R-tree: A Hardware Implementation |
179
click to vote
IPPS
2007
IEEE
16 years 18 days ago
2007
IEEE
For a grid middleware to perform resource allocation, prediction models are needed, which can determine how long an application will take for completion on a particular platform o...
162
click to vote
ISCAS
2007
IEEE
16 years 18 days ago
2007
IEEE
— With increasing reliability concerns for current and next generation VLSI technologies, fault-tolerance is fast becoming an integral part of system-on-chip (SoC) and multicore ...
181
click to vote
TPHOL
2007
IEEE
16 years 17 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
189
click to vote
EMSOFT
2007
Springer
16 years 14 days ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
183
click to vote
CODES
2006
IEEE
16 years 11 days ago
2006
IEEE
For modern embedded systems, the complexity of embedded applications has reached a point where the performance requirements of these applications can no longer be supported by emb...