368 search results - page 67 / 74 » Synthesis of Non-Interferent Timed Systems |
CODES
2007
IEEE
13 years 11 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
CGF
2006
13 years 7 months ago
2006
Within computer graphics, the field of predictive rendering is concerned with those methods of image synthesis which yield results that do not only look real, but are also radiome...
ICCV
1999
IEEE
14 years 9 months ago
1999
IEEE
This paper establishes a link between uncalibrated stereo vision and the motion of rigid and articulated bodies. The variation in the projective reconstruction of a dynamic scene ...
ESORICS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. While processor based systems often enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reconfigurable har...
ICDT
2010
ACM
14 years 17 days ago
2010
ACM
The paper formulates and investigates the aggregation problem for synthesized mediators of Web services (SWMs). An SWM is a finite-state transducer defined in terms of templates...