10213 search results - page 1659 / 2043 » An Experimental Analysis of Parallel |
141
click to vote
DSN
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper describes an experimental study of Linux kernel behavior in the presence of errors that impact the instruction stream of the kernel code. Extensive error injection exper...
159
Voted
GLVLSI
2003
IEEE
16 years 4 days ago
2003
IEEE
The MINCE heuristic for variable-ordering [1] successfully reduces the size of BDDs and can accelerate SAT-solving. Applications to reachability analysis have also been successful...
144
click to vote
HAPTICS
2003
IEEE
16 years 4 days ago
2003
IEEE
Cobots assist humans by mechanically guiding motion along software-defined paths or surfaces. Cobot design has been extensively studied previously. This paper reports the first sy...
174
click to vote
HAPTICS
2003
IEEE
16 years 4 days ago
2003
IEEE
Force-feedback mechanisms have been designed to simplify and enhance the human-vehicle interface. The increase in secondary controls within vehicle cockpits has created a desire f...
171
click to vote
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper attempts to evaluate the performance of an environmental mitigation banking system operating under different regulatory. Pricing and subsidization policies using system...