8780 search results - page 395 / 1756 » On the Feasibility of Consistent Computations |
181
click to vote
MICCAI
2005
Springer
16 years 8 months ago
2005
Springer
We address the problem of the stitching task in endoscopic surgery using a circular needle under robotic assistance. Our main focus is to present an algorithm for suturing using gu...
319
click to vote
CP
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
191
click to vote
CAV
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. We propose a novel, sound, and complete Simplex-based algorithm for solving linear inequalities over integers. Our algorithm, which can be viewed as a semantic generaliza...
138
click to vote
VLSID
2007
IEEE
16 years 8 months ago
2007
IEEE
State-of-the-art FPGA architectures have millions of gates in CLBs, Block RAMs, and Multiplier blocks which can host fairly large designs. While their physical design calls for oor...
210
click to vote
VLSID
2003
IEEE
16 years 8 months ago
2003
IEEE
Exploitation of silicon capacity will require improvements in design productivity and more scalable system paradigms. Asynchronous message passing networks on chip (NOC) have been...