2230 search results - page 178 / 446 » Reformulating Constraint Models Using Input Data |
180
click to vote
VLDB
2002
ACM
15 years 5 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-...
182
click to vote
ICST
2010
IEEE
15 years 4 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...
169
click to vote
ICRA
2010
IEEE
15 years 4 months 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...
187
click to vote
SCP
2010
15 years 4 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...
166
click to vote
EMSOFT
2005
Springer
15 years 11 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 ...