4806 search results - page 786 / 962 » Interactive uncertainty analysis |
266
click to vote
VLSI
2007
Springer
16 years 8 days ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
145
click to vote
WDAG
2007
Springer
16 years 8 days ago
2007
Springer
Byzantine-fault-tolerant service protocols like Q/U and FaB Paxos that optimistically order requests can provide increased efficiency and fault scalability. However, these protocol...
147
click to vote
ACSAC
2006
IEEE
16 years 7 days ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
202
click to vote
BIBE
2006
IEEE
16 years 6 days ago
2006
IEEE
The analysis of alignments of functionally equivalent proteins can reveal regularities such as correlated positions or residue patterns which are important to ensure a specific f...
152
click to vote
HAPTICS
2006
IEEE
16 years 6 days ago
2006
IEEE
A seven degree-of-freedom (DOF) haptic device has been developed with applications towards robot-assisted minimally invasive surgery. The device consists of four degrees of force ...