Sciweavers

805 search results - page 11 / 161
» Integrating Functional and Architectural Views of Reactive S...
Sort
View
EH
2002
IEEE
97views Hardware» more  EH 2002»
14 years 2 months ago
Coevolution of Form and Function in the Design of Micro Air Vehicles
This paper discusses approaches to cooperative coevolution of form and function for autonomous vehicles, specifically evolving morphology and control for an autonomous micro air v...
Magdalena D. Bugajska, Alan C. Schultz
ICC
2007
IEEE
107views Communications» more  ICC 2007»
14 years 3 months ago
The SILO Architecture for Services Integration, controL, and Optimization for the Future Internet
— We propose a new internetworking architecture that represents a departure from current philosophy and practice, as a contribution to the ongoing debate regarding the future Int...
Rudra Dutta, George N. Rouskas, Ilia Baldine, Arno...
DAC
1997
ACM
14 years 19 days ago
Formal Verification of a Superscalar Execution Unit
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
Kyle L. Nelson, Alok Jain, Randal E. Bryant
SCESM
2006
ACM
247views Algorithms» more  SCESM 2006»
14 years 3 months ago
Automating software architecture exploration with M2Aspects
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...
Ingolf H. Krüger, Gunny Lee, Michael Meisinge...
INTEGRATION
2007
98views more  INTEGRATION 2007»
13 years 9 months ago
Hashchip: A shared-resource multi-hash function processor architecture on FPGA
The ubiquitous presence of mobile devices and the demand for better performance and efficiency have motivated research into embedded implementations of cryptography algorithms. I...
T. S. Ganesh, Michael T. Frederick, T. S. B. Sudar...