6704 search results - page 121 / 1341 » Testing Scenario-Based Models |
121
Voted
COCO
2007
Springer
15 years 8 months ago
2007
Springer
We study a model of graph related formulae that we call the Constraint-Graph model. A constraintgraph is a labeled multi-graph (a graph where loops and parallel edges are allowed)...
123
Voted
ISSAC
2001
Springer
15 years 7 months ago
2001
Springer
The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the inp...
118
click to vote
FMICS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
81
Voted
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
Today’s aerial robots are being tasked to fly in nearEarth environments such as caves, forests and buildings. The lack of flight data and performance metrics poses a gap that ...
133
Voted
WSC
2008
15 years 5 months ago
2008
Testing and benchmarking of stream processing systems requires workload representative of real world scenarios with myriad of users, interacting through different applications ove...