2230 search results - page 178 / 446 » Reformulating Constraint Models Using Input Data |
128
Voted
VLDB
2002
ACM
15 years 2 months ago
2002
ACM
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...
145
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
128
Voted
ICRA
2010
IEEE
15 years 17 days ago
2010
IEEE
This paper describes a probabilistic framework to estimate the shape and position of multiple fish in a school. We model the fish shape as an ellipsoid with a curvature coefficient...
136
Voted
SCP
2010
15 years 1 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
117
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...