3820 search results - page 568 / 764 » Bounded Model Debugging |
110
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we study the performance properties of combined multiple heterogeneous networks. Consider two nodes node1 and node2 with multiple heterogeneous physical networks con...
119
Voted
CP
2003
Springer
15 years 8 months ago
2003
Springer
This work introduces a combinatorial optimization problem called Mars Express Memory Dumping Problem (Mex-Mdp), which arises in the European Space Agency program Mars Express. It c...
119
Voted
FSTTCS
2003
Springer
15 years 8 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
130
click to vote
ISSS
2002
IEEE
15 years 7 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
126
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
—A high performance adaptive robust control (ARC) algorithm is developed for a class of nonlinear system with unknown input backlash, parametric uncertainties and uncertain nonli...