Sciweavers

1305 search results - page 112 / 261
» The design context of concurrent computation systems
Sort
View
CONCUR
2008
Springer
15 years 8 months ago
Dynamic Partial Order Reduction Using Probe Sets
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
Harmen Kastenberg, Arend Rensink
NGC
2002
Springer
15 years 6 months ago
Supporting Cross-Cultural Communication with a Large-Screen System
Abstract As opportunities for international collaboration and crosscultural communication among people from heterogeneous cultures increase, the importance of electronic communicat...
Masayuki Okamoto, Katherine Isbister, Hideyuki Nak...
CSCWD
2005
Springer
15 years 8 months ago
BW-M: a framework for awareness support in Web-based groupware systems
In this paper, we present a framework for contextbased awareness support designed for web-based groupware systems. Nowadays, such systems can be accessed through web-enabled mobil...
Manuele Kirsch-Pinheiro, Marlène Villanova-...
ICCD
2005
IEEE
119views Hardware» more  ICCD 2005»
16 years 3 months ago
Deployment of Better Than Worst-Case Design: Solutions and Needs
The advent of nanometer feature sizes in silicon fabrication has triggered a number of new design challenges for computer designers. These challenges include design complexity and...
Todd M. Austin, Valeria Bertacco
CONCUR
1998
Springer
15 years 10 months ago
Algebraic Techniques for Timed Systems
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
Albert Benveniste, Claude Jard, Stephane Gaubert