5683 search results - page 963 / 1137 » Interactive Schedulability Analysis |
250
click to vote
VLSI
2007
Springer
15 years 10 months 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,...
127
click to vote
WDAG
2007
Springer
15 years 10 months 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...
130
click to vote
ACSAC
2006
IEEE
15 years 10 months 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...
180
click to vote
BIBE
2006
IEEE
15 years 10 months 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...
132
click to vote
HAPTICS
2006
IEEE
15 years 10 months 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 ...