5762 search results - page 566 / 1153 » R-tree: A Hardware Implementation |
206
click to vote
IJPP
2008
15 years 7 months ago
2008
We present an approach to the analysis and optimisation of heterogeneous multiprocessor embedded systems. The systems are heterogeneous not only in terms of hardware components, b...
153
click to vote
PPL
2006
15 years 7 months ago
2006
This paper analyses the micro-threaded model of concurrency making comparisons with both data and instruction-level concurrency. The model is fine grain and provides synchronisati...
161
click to vote
SIGMETRICS
2008
ACM
15 years 7 months ago
2008
ACM
We study the problem of guaranteeing data durability [2] in distributed storage systems based on replication. Our work is motivated by several several recent efforts [3, 5, 1] to ...
199
click to vote
TAP
2008
Springer
15 years 7 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
188
click to vote
INTEGRATION
2007
15 years 7 months ago
2007
This tutorial paper describes different approaches to modeling and simulation of mixed-technology microsystems that consist of electrical circuits connected to subsystems describe...