1215 search results - page 89 / 243 » On modeling, analysis, and optimization of packet aggregatio... |
164
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
170
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed up TBox and ABox reasoning ...
156
click to vote
DATE
2006
IEEE
16 years 10 days ago
2006
IEEE
We present a modular and scalable approach for automatically extracting actual performance information from a set of FPGA-based architecture topologies. This information is used d...
167
click to vote
ROBOTICA
2008
15 years 5 months ago
2008
This paper studies the mechanical configuration and the periodic gaits of multi-legged locomotion systems based on its kinematic and dynamic models. The purpose is to determine the...
160
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— There are many communication imperfections in networked control systems (NCSs) such as varying sampling/transmission intervals, varying delays, possible packet loss, communicat...