Sciweavers

3458 search results - page 291 / 692
» Abstracting Control
Sort
View
INFOCOM
2003
IEEE
15 years 9 months ago
An FDD Wideband CDMA MAC Protocol for Wireless Multimedia Networks
Abstract—A medium access control (MAC) protocol is developed for wireless multimedia networks based on frequency division duplex (FDD) wideband code division multiple access (CDM...
Xudong Wang
LOPSTR
2004
Springer
15 years 9 months ago
Declarative Semantics of Input Consuming Logic Programs
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sa...
CEC
2003
IEEE
15 years 9 months ago
Anytime coevolution of form and function
Abstract- This paper describes an approach to continuous coevolution of form (the morphology) and function (the control behavior) for autonomous vehicles. This study focuses on coe...
Magdalena D. Bugajska, Alan C. Schultz
ASPDAC
2001
ACM
126views Hardware» more  ASPDAC 2001»
15 years 7 months ago
A new partitioning scheme for improvement of image computation
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
Christoph Meinel, Christian Stangier
HICSS
2007
IEEE
129views Biometrics» more  HICSS 2007»
15 years 10 months ago
Multi-level Architectural Evolution Management
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...
Tien N. Nguyen