459 search results - page 67 / 92 » Specification and Analysis of Real-Time Systems Using Real-T... |
118
click to vote
EMSOFT
2008
Springer
14 years 10 months ago
2008
Springer
Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two popular techniques commonly employed to save energy in real-time embedded systems. DVS policies aim at red...
SPIN
2000
Springer
15 years 1 months 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 ...
IAJIT
2008
14 years 9 months ago
2008
: The Gamma-Ray scanning technique effective means for the diagnosis and identification of installations and process's problems in general and in particular in the case of dis...
AAAI
1998
14 years 11 months ago
1998
Eye finding is the first step toward building a machine that can recognize social cues, like eye contact and gaze direction, in a natural context. In this paper, we present a real...
115
click to vote
ICWE
2010
Springer
14 years 8 months ago
2010
Springer
Personalization systems based upon users' surfing behavior analysis imply three phases: data collection, pattern discovery and recommendation. Due to the dimension of log file...