1262 search results - page 163 / 253 » Generating instruction sets and microarchitectures from appl... |
139
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
We generalize the Kahn-Kalai-Linial (KKL) Theorem to random walks on Cayley and Schreier graphs, making progress on an open problem of Hoory, Linial, and Wigderson. In our general...
158
click to vote
ISPASS
2008
IEEE
16 years 22 days ago
2008
IEEE
— This work addresses the problem of building representative subsets of benchmarks from an original large set of benchmarks, using statistical analysis techniques. The subsets sh...
169
click to vote
ISBI
2007
IEEE
16 years 19 days ago
2007
IEEE
We have developed a novel framework for medical image analysis, known as Shells and Spheres. This framework utilizes spherical operators of variable radius centered at each image ...
152
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
158
click to vote
ICECCS
1997
IEEE
15 years 10 months ago
1997
IEEE
Design of practical routing protocols is complex and dificult due to complicated requirements of faulttolerance and flexibility. The protocol is defined to be fault-tolerant if me...