Sciweavers

1624 search results - page 105 / 325
» Modelling Variability for System Families
Sort
View
TSMC
2008
113views more  TSMC 2008»
13 years 10 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
ISCAS
1999
IEEE
79views Hardware» more  ISCAS 1999»
14 years 2 months ago
Energy minimization of system pipelines using multiple voltages
Modem computer and communication system design has to consider the timing constraints imposed by communication and system pipelines, and minimize the energy consumption. We adopt ...
Gang Qu, Darko Kirovski, Miodrag Potkonjak, Mani B...
ICRA
2002
IEEE
168views Robotics» more  ICRA 2002»
14 years 2 months ago
A Dynamical Systems Approach to Behavior-Based Formation Control
Dynamical systems theory is used here as a theoretical language and tool to design a distributed control archictecture that generates navigation in formation, integrated with obst...
Sergio Monteiro, Estela Bicho
WSC
2007
14 years 9 days ago
Predicting the impact on business performance of enhanced information system using business process simulation
The estimation of the impact on performance in business process (BP) by introducing an information system (IS) is an important practical problem in investment appraisal. This pape...
Yifei Tan, Soemon Takakuwa
IV
2003
IEEE
111views Visualization» more  IV 2003»
14 years 3 months ago
A Model of Synchronous Collaborative Information Visualization
In this paper we describe a model of the process by which people solve problems using information visualization systems. The model was based on video analysis of forty dyads who p...
Gloria Mark, Keri Carpenter, Alfred Kobsa