Sciweavers

2838 search results - page 483 / 568
» Verifying Controlled Components
Sort
View
FM
2003
Springer
136views Formal Methods» more  FM 2003»
14 years 2 months ago
Improving Safety Assessment of Complex Systems: An Industrial Case Study
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi,...
IPSN
2003
Springer
14 years 2 months ago
Organizing a Global Coordinate System from Local Information on an Ad Hoc Sensor Network
Abstract. We demonstrate that it is possible to achieve accurate localization and tracking of a target in a randomly placed wireless sensor network composed of inexpensive componen...
Radhika Nagpal, Howard E. Shrobe, Jonathan Bachrac...
DATE
2010
IEEE
156views Hardware» more  DATE 2010»
14 years 2 months ago
Domain specific architecture for next generation wireless communication
—In order to solve the challenges in processor design for the next generation wireless communication systems, this paper first proposes a system level design flow for communicati...
Botao Zhang, Hengzhu Liu, Heng Zhao, Fangzheng Mo,...
EH
2002
IEEE
112views Hardware» more  EH 2002»
14 years 2 months ago
Evolving Circuits in Seconds: Experiments with a Stand-Alone Board-Level Evolvable System
The purpose of this paper is twofold: first, to illustrate a stand-alone board-level evolvable system (SABLES) and its performance, and second to illustrate some problems that occ...
Adrian Stoica, Ricardo Salem Zebulum, Michael I. F...
HICSS
2002
IEEE
91views Biometrics» more  HICSS 2002»
14 years 2 months ago
Neuroimaging Studies Give New Insight to Mental Rotation
This paper summarizes the recent findings of mental rotation studies which use neuroimaging techniques. Though many results differed, almost all the reviewed studies concurred tha...
Wendy S. Ark