203 search results - page 32 / 41 » Pushdown Module Checking |
ICAS
2008
IEEE
14 years 1 months ago
2008
IEEE
—The purpose of this paper is to present the linkage of Thetis (a real time multi-vehicles hybrid simulator for heterogeneous vehicles) with a control architecture for the manage...
VTC
2008
IEEE
14 years 1 months ago
2008
IEEE
—Turbo DeCodulation is the combination of iterative demodulation and iterative source-channel decoding in a multiple Turbo process. The receiver structures of bit-interleaved cod...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
- Collision detection is a critical module in many applications such as computer graphics, robot motion planning, physical simulation, CAD/CAM, and molecular modeling. Many efficie...
ISPD
2005
ACM
14 years 28 days ago
2005
ACM
In this paper, the problem of bus-driven floorplanning is addressed. Given a set of blocks and the bus specification (the width of each bus and the blocks that the bus need to g...
OOPSLA
2004
Springer
14 years 21 days ago
2004
Springer
Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that add...