2838 search results - page 298 / 568 » Verifying Controlled Components |
179
click to vote
ECRTS
2005
IEEE
16 years 8 days 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...
191
click to vote
IPPS
2005
IEEE
16 years 8 days 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...
160
click to vote
RT
2004
Springer
16 years 18 hour 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 ...
146
click to vote
RT
2001
Springer
15 years 11 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...
168
click to vote
RTSS
1998
IEEE
15 years 11 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...