526 search results - page 78 / 106 » Type Abstractions of Name-Passing Processes |
VLSID
2003
IEEE
14 years 9 months ago
2003
IEEE
Abstract-- In battery driven portable applications, the minimization of energy, average power, peak power, and peak power differential are equally important to improve reliability ...
CADE
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
MICCAI
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Regional assessment of lung disease (such as chronic obstructive pulmonary disease) is a critical component to accurate patient diagnosis. Software tools than enable such...
ICCAD
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— We consider the problem of robotic object detection of such objects as mugs, cups, and staplers in indoor environments. While object detection has made significant pro...