799 search results - page 116 / 160 » Generating Reliable Code from Hybrid-Systems Models |
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
—Quality of Service (QoS) is becoming increasingly important with the rise of multimedia applications (e.g., voice over IP (VoIP), video conferencing, online gaming, and Internet...
ACL2
2006
ACM
14 years 3 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
ICDM2
2004
Springer
14 years 3 months ago
2004
Springer
Vehicle production audit tests, warranty claims and car control unit data are stored in a central data warehouse for data mining analysis. Neural network based part failure rate es...
ENTCS
2006
13 years 10 months ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a novel approach to skim and describe 3D videos. 3D video is an imaging technology which consists in a stream of 3D models in motion captured by a synchronized ...