622 search results - page 60 / 125 » Specifying Functional and Timing Behavior for Real-Time Appl... |
SPIN
2000
Springer
14 years 24 days ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
ICIAP
2007
ACM
14 years 9 months ago
2007
ACM
Real-time histogram specification methods aims to find a continuous function that transforms a source image to match a target distribution with the highest possible degree of accu...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
It has been well established in Cognitive Psychology that humans are able to strategically adapt performance, even highly skilled performance, to meet explicit task goals such as ...
CTRSA
2010
Springer
14 years 17 days ago
2010
Springer
This paper proposes a new type of cache-collision timing attacks on software implementations of AES. Our major technique is of differential nature and is based on the internal cryp...
IADIS
2004
13 years 10 months ago
2004
Internet traffic exhibits a rich autocorrelation behavior, responsible for curving the Energy/Averaging function. We show that the traffic exhibits variations of its details in ma...