1755 search results - page 346 / 351 » An efficient simulation algorithm based on abstract interpre... |
116
Voted
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
The majority of current Network on Chip (NoC) architectures employ mesh topology and use simple static routing, to reduce power and area. However, regular mesh topology is unreali...
80
Voted
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
Research in collective robotics is motivated mainly by the possibility of achieving an efficient solution to multi-objective navigation tasks when multiple robots are employed, in...
DAC
2007
ACM
15 years 1 months ago
2007
ACM
RLC circuits have been shown to be better formulated as second-order systems instead of first-order systems. The corresponding model order reduction techniques for secondorder sys...
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
This paper addresses the challenging problem of similarity search over widely distributed ultra-high dimensional data. Such an application is retrieval of the top-k most similar d...
105
click to vote
PDCN
2004
14 years 11 months ago
2004
We present a family of methods for speeding up distributed locks by exploiting the uneven distribution of both temporal and spatial locality of access behaviour of many applicatio...