Sciweavers

3686 search results - page 461 / 738
» An Approach to a Trustworthy System Architecture Using Virtu...
Sort
View
DAGSTUHL
2006
15 years 8 months ago
Towards UML Modelling Extra-Functional Properties in Web Services and their Clients
Web Services provide our systems with a platform independent and loosely coupled implementation environment, being time to face how the named systems can be modelled. Service Compo...
Guadalupe Ortiz, Juan Hernández
DAC
2007
ACM
16 years 8 months ago
Design Methodology for Pipelined Heterogeneous Multiprocessor System
Multiprocessor SoC systems have led to the increasing use of parallel hardware along with the associated software. These approaches have included coprocessor, homogeneous processo...
Seng Lin Shee, Sri Parameswaran
VLSID
2005
IEEE
129views VLSI» more  VLSID 2005»
16 years 7 months ago
A RISC Hardware Platform for Low Power Java
Java is increasingly being used as a language and binary format for low power, embedded systems. Current software only approaches to Java execution do not always suit the type of ...
Paul Capewell, Ian Watson
ICRA
1993
IEEE
152views Robotics» more  ICRA 1993»
15 years 11 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
DAC
1994
ACM
15 years 11 months ago
BDD Variable Ordering for Interacting Finite State Machines
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
Adnan Aziz, Serdar Tasiran, Robert K. Brayton