4636 search results - page 471 / 928 » Modelling and Validation with VipTool |
212
click to vote
ICRA
2005
IEEE
16 years 20 days ago
2005
IEEE
Abstract— Nanomanipulation using Atomic Force Microscope (AFM) has been extensively investigated for many years. However, control of tip position during nanomanipulation is still...
230
click to vote
EGC
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Grid technology is widely emerging as a solution for wide-spread applicability of computerized analysis and processing procedures in biomedical sciences. In this paper we...
160
click to vote
SPIN
2004
Springer
16 years 13 days ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
199
click to vote
TACAS
2004
Springer
16 years 13 days ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
172
click to vote
GLVLSI
2003
IEEE
16 years 11 days ago
2003
IEEE
Concerned by the wall that Moore’s Law is expected to hit in the next decade, the integrated circuit community is turning to emerging nanotechnologies for continued device impro...