6404 search results - page 364 / 1281 » Blocks |
155
click to vote
NOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
Conventional packet-switched on-chip routers provide good resource sharing while minimizing latencies through various techniques. A virtual channel (VC) is allocated on a per-pack...
154
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— In the area of surgical robotics no standard means of performance evaluation has been established. Thousands of surgeons have gone through the SAGES FLS Program, and the psycho...
170
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
178
click to vote
ISAAC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Given two comparative maps, that is two sequences of markers each representing a genome, the Maximal Strip Recovery problem (MSR) asks to extract a largest sequence of ma...
161
click to vote
PDCAT
2009
Springer
16 years 1 months ago
2009
Springer
—We have proposed an auto-memoization processor. This processor automatically and dynamically memoizes both functions and loop iterations, and skips their execution by reusing th...