Sciweavers

1011 search results - page 145 / 203
» Implementing Distributed Controllers for Systems with Priori...
Sort
View
ICPP
2009
IEEE
15 years 9 months ago
Computing Equilibria in Bimatrix Games by Parallel Vertex Enumeration
—Equilibria computation is of great importance to many areas such as economics, control theory, and recently computer science. We focus on the computation of Nash equilibria in t...
Jonathan Widger, Daniel Grosu
130
Voted
PDCAT
2005
Springer
15 years 8 months ago
Collaborative MPEG-4 Contents Authoring, Presentation and Interaction in a Mobile Environment
Recent advances in wireless technology and availability of portable devices with networking capabilities made the increasing hot topic, ubiquitous computing become reality. Also, ...
SongLu Li, Sangwook Kim, Sunkyung Kim
143
Voted
PPOPP
2005
ACM
15 years 8 months ago
Exposing disk layout to compiler for reducing energy consumption of parallel disk based systems
Disk subsystem is known to be a major contributor to overall power consumption of high-end parallel systems. Past research proposed several architectural level techniques to reduc...
Seung Woo Son, Guangyu Chen, Mahmut T. Kandemir, A...
107
Voted
WSC
2000
15 years 4 months ago
Simulation as educational support for production and logistics in industrial engineering
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
Agostino G. Bruzzone, Pietro Giribone, Roberto Rev...
147
Voted
FAC
2008
117views more  FAC 2008»
15 years 2 months ago
Model checking Duration Calculus: a practical approach
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
Roland Meyer, Johannes Faber, Jochen Hoenicke, And...