Sciweavers

322 search results - page 37 / 65
» An Example of an Automatic Differentiation-Based Modelling S...
Sort
View
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
15 years 3 months ago
Mixing ATPG and property checking for testing HW/SW interfaces
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
Alessandro Fin, Franco Fummi, Graziano Pravadelli
SIGSOFT
2006
ACM
15 years 10 months ago
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts ...
Christophe Damas, Bernard Lambeau, Axel van Lamswe...
AVSS
2009
IEEE
14 years 11 months ago
Robust Vehicle Detection for Tracking in Highway Surveillance Videos Using Unsupervised Learning
This paper presents a novel approach to vehicle detection in highway surveillance videos. This method incorporates well-studied computer vision and machine learning techniques to ...
Birgi Tamersoy, Jake K. Aggarwal
APSEC
2007
IEEE
15 years 4 months ago
Coordination-Policy Based Composed System Behavior Derivation
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...
Yiming Lau, Wenyun Zhao, Xin Peng, Zhixiong Jiang,...
ICAC
2007
IEEE
15 years 4 months ago
Autonomic Reactive Systems via Online Learning
— Reactive systems are those that maintain an ongoing interaction with their environment at a speed dictated by the latter. Examples of such systems include web servers, network ...
Sanjit A. Seshia