Sciweavers

1346 search results - page 197 / 270
» On the Use of UML for Modeling Physical Systems
Sort
View
IFIPTCS
2000
15 years 3 months ago
Masaccio: A Formal Model for Embedded Components
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
Thomas A. Henzinger
IPPS
2006
IEEE
15 years 5 months ago
Online strategies for high-performance power-aware thread execution on emerging multiprocessors
Granularity control is an effective means for trading power consumption with performance on dense shared memory multiprocessors, such as multi-SMT and multi-CMP systems. In this p...
Matthew Curtis-Maury, James Dzierwa, Christos D. A...
ICRA
1993
IEEE
152views Robotics» more  ICRA 1993»
15 years 4 months ago
The USC Autonomous Flying Vehicle: An Experiment in Real Time Behavior-Based Control
A control system architecture is described for an autonomous flying vehicle. The vehicle, equipped with fourteen sensors, uses a model helicopter as an airframe. The control syste...
M. Anthony Lewis, Andrew H. Fagg, George A. Bekey
WCE
2007
15 years 1 months ago
Dynamic Behaviour and Significance of Neuron Networks with Varying Degrees of Random Coupling
—Networks of coupled dynamical systems exhibit many interesting behaviours such as spatio-temporal chaos, pattern formation and synchronization. Such networks can be used to mode...
Bijilash Babu, Marissa Condon
EDOC
2003
IEEE
15 years 5 months ago
Towards a Language for Coherent Enterprise Architecture Descriptions
A coherent description of architectures provides insight, enables communication among different stakeholders and guides complicated (business and ICT) change processes. Unfortunat...
Henk Jonkers, René van Buuren, Farhad Arbab...