3820 search results - page 264 / 764 » Bounded Model Debugging |
117
Voted
IPCCC
2007
IEEE
15 years 10 months ago
2007
IEEE
- This paper presents a unique approach for a model-based admission control algorithm for the IEEE 802.11e Enhanced Distributed Channel Access (EDCA) standard. The analytical model...
168
click to vote
PG
2007
IEEE
15 years 10 months ago
2007
IEEE
We introduce an algorithm for approximating a 2manifold 3D mesh by a set of developable surfaces. Each developable surface is a generalized cylinder represented as a strip of tria...
118
Voted
ICPPW
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
118
click to vote
CEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract- Branch-and-Bound and evolutionary algorithms represent two very different approaches for tackling combinatorial optimization problems. These approaches are not incompatib...
110
Voted
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper we show how hybrid control and modeling techniques can be put to work for solving a problem of industrial relevance in Surface Mount Technology (SMT) manufa...