2838 search results - page 298 / 568 » Verifying Controlled Components |
129
Voted
ECRTS
2005
IEEE
15 years 8 months ago
2005
IEEE
Embedded systems are usually an integral component of a larger system and are used to control and/or directly monitor this system by using special hardware devices. The complexity...
137
Voted
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper, we propose an IPSec implementation on Xilinx Virtex-II Pro FPGA1 . We move the key management and negotiation into software function calls that run on the PowerPC p...
105
Voted
RT
2004
Springer
15 years 8 months ago
2004
Springer
This paper introduces a programmable approach to non-photorealistic line drawing from 3D models, inspired by programmable shaders in traditional rendering. We propose a new image ...
100
click to vote
RT
2001
Springer
15 years 7 months ago
2001
Springer
We present an interactive system, which allows the user to produce drawings in a variety of traditional styles. It takes as input an image and performs semi-automatic tonal modelin...
110
click to vote
RTSS
1998
IEEE
15 years 6 months ago
1998
IEEE
Statistical Rate Monotonic Scheduling (SRMS) is a generalization of the classical RMS results of Liu and Layland [10] for periodic tasks with highly variable execution times and s...