21324 search results - page 361 / 4265 » Making the case for computing |
134
click to vote
ICRA
1994
IEEE
15 years 9 months ago
1994
IEEE
At the intersection of robotics, computational geometry, and manufacturingengineering, we have identifieda collection of research problems with near-term industrial applications. ...
123
Voted
ICCAD
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper is concerned with approximate delay computation algorithms for combinational circuits. As a result of intensive research in the early 90’s [3, 8] efficient tools exi...
134
click to vote
ICWS
2009
IEEE
16 years 2 months ago
2009
IEEE
The most commonly deployed web service applications employ client-server communication patterns, with clients running remotely and services hosted in data centers. In this paper, ...
119
Voted
ASM
2010
ASM
15 years 11 months ago
2010
ASM
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...
126
click to vote
EUROPAR
2007
Springer
15 years 11 months ago
2007
Springer
Grid applications need to be fault tolerant, malleable, and migratable. In previous work, we have presented orphan saving, an efficient mechanism addressing these issues for divide...