4636 search results - page 536 / 928 » Modelling and Validation with VipTool |
183
click to vote
PATMOS
2007
Springer
16 years 1 months ago
2007
Springer
Energy efficiency is a top requirement in embedded system design. Understanding the complex issue of software power consumption in early design phases is of extreme importance to m...
198
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
As devices are scaled to the nanoscale regime, it is clear that future nanodevices will be plagued by higher soft error rates and reduced noise margins. Traditional implementation...
198
click to vote
ICPP
2006
IEEE
16 years 1 months ago
2006
IEEE
Recently, Bloom filters have been widely used in distributed systems where they are replicated to process distributed queries. Bloom filter replicas become stale in a dynamic en...
162
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— A humanoid robot should be able to keep its balance even in the presence of disturbing forces. Studies of human body reaction patterns to sudden external forces are useful to d...
191
click to vote
SP
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...