1957 search results - page 64 / 392 » Multimedia Analysis and Synthesis |
100
click to vote
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
15 years 5 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
ASPDAC
2009
ACM
15 years 5 months ago
2009
ACM
— As technology scales, the delay uncertainty caused by process variations has become increasingly pronounced in deep submicron designs. In the presence of process variations, wo...
ENDM
2000
14 years 11 months ago
2000
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
253
click to vote
Lab
VIMS Lab is situated in Department of Computer & Information Sc, University of Delaware, Newark, DE. USA.
At VIMS we work on various problems related to image/video processing...