2576 search results - page 374 / 516 » Methodology work is ontology work |
170
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
197
click to vote
PATMOS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Reduction of chip packaging and cooling costs for deep sub-micron SystemOn-Chip (SOC) designs is an emerging issue. We present a simulation-based methodology able to real...
178
click to vote
ICDCS
1995
IEEE
15 years 10 months ago
1995
IEEE
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...
130
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes the control and ergonomic evaluation of a ceiling mounted (or support frame suspended) 7-axis surgical robot (HISAR)f o r laparoscopic camera navigation. A ke...
180
click to vote
SC
1995
ACM
15 years 10 months ago
1995
ACM
In this paper we present an analytical-based framework for parallel program performance prediction. The main thrust of this work is to provide a means for treating realistic appli...