3130 search results - page 460 / 626 » Design Correctness of Digital Systems |
173
click to vote
SIGMETRICS
2002
ACM
15 years 6 months ago
2002
ACM
Scheduling in large-scale parallel systems has been and continues to be an important and challenging research problem. Several key factors, including the increasing use of off-the...
185
click to vote
CIKM
2003
Springer
15 years 11 months ago
2003
Springer
Content-Based Image Retrieval (CBIR) presents several challenges and has been subject to extensive research from many domains, such as image processing or database systems. Databa...
197
click to vote
MICCAI
1998
Springer
15 years 10 months ago
1998
Springer
We present the design and a prototype implementation of a three-dimensional visualization system to assist with laparoscopic surgical procedures. The system uses 3D visualization, ...
300
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
This paper defines an object-oriented language with harmless aspect-oriented advice. A piece of harmless advice is a computation that, like ordinary aspect-oriented advice, execut...
188
click to vote
HPDC
2008
IEEE
16 years 29 days ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...