2623 search results - page 195 / 525 » tools 2010 |
163
click to vote
TOOLS
2010
IEEE
15 years 11 months ago
2010
IEEE
Supporting read-only and side effect free execution has been the focus of a large body of work in the area of statically typed programming languages. Read-onlyness in dynamically t...
186
click to vote
DT
2000
15 years 6 months ago
2000
Effective high-level ATPG tools are increasingly needed, as an essential element in the quest for reducing as much as possible the designer work on gate-level descriptions. We pro...
198
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
177
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Current imaging methods such as Magnetic Resonance Imaging (MRI), Confocal microscopy, Electron Microscopy (EM) or Selective Plane Illumination Microscopy (SPIM) yield...
198
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Robotic cardiac catheters have the potential to revolutionize heart surgery by extending minimally invasive techniques to complex surgical repairs inside the heart. However, cathet...