770 search results - page 5 / 154 » Abstract Yourself With Modules |
ASPDAC
2004
ACM
15 years 1 months ago
2004
ACM
Abstract-A 30k-gate dynamic element matching circuit for bandpass modulators with a 4-bit quantizer is designed by using 0.35-
TOPLAS
2002
14 years 9 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
75
Voted
CISS
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract—Capacity analysis is used to determine the fundamental tradeoff between power and spectral efficiency for coded continuous-phase frequency shift keying (CPFSK). The mod...
IEAAIE
2004
Springer
2004
Springer
The Cognitive Controller: A Hybrid, Deliberative/Reactive Control Architecture for Autonomous Robots
15 years 2 months ago
Abstract. The Cognitive Controller (CoCo) is a new, three-tiered control architecture for autonomous agents that combines reactive and deliberative components. A behaviour-based re...
ICCAD
1994
IEEE
15 years 1 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...