3898 search results - page 700 / 780 » Maintaining Component-Based Systems |
164
click to vote
ICRA
2008
IEEE
16 years 18 days ago
2008
IEEE
— This paper presents an initial design and feasibility study for a 1-DOF Magnetic Resonance Imaging (MRI) compatible needle driver robot for radiofrequency ablation (RFA). This ...
154
click to vote
IISWC
2008
IEEE
16 years 17 days ago
2008
IEEE
The design and evaluation of microprocessor architectures is a difficult and time-consuming task. Although small, handcoded microbenchmarks can be used to accelerate performance e...
138
click to vote
ISCA
2008
IEEE
16 years 17 days ago
2008
IEEE
A high-concurrency transactional memory (TM) implementation needs to track concurrent accesses, buffer speculative updates, and manage conflicts. We present a system, FlexTM (FLE...
168
click to vote
SCAM
2008
IEEE
16 years 16 days ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
189
click to vote
TPHOL
2008
IEEE
16 years 16 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...