Sciweavers

1592 search results - page 132 / 319
» The state of the email address
Sort
View
ACSD
2004
IEEE
125views Hardware» more  ACSD 2004»
14 years 2 months ago
Comparison of Methods for Supervisory Control and Submodule Construction
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
Gregor von Bochmann, Bassel Daou
ECOOP
2004
Springer
14 years 2 months ago
Early Identification of Incompatibilities in Multi-component Upgrades
Previous work proposed a technique for predicting problems resulting from replacing one version of a software component by another. The technique reports, before performing the rep...
Stephen McCamant, Michael D. Ernst
ASPDAC
2008
ACM
119views Hardware» more  ASPDAC 2008»
14 years 17 days ago
A stochastic local hot spot alerting technique
- With the increasing levels of variability in the behavior of manufactured nano-scale devices and dramatic changes in the power density on a chip, timely identification of hot spo...
Hwisung Jung, Massoud Pedram
ESAW
2007
Springer
14 years 10 days ago
Progress Appraisal as a Challenging Element of Coordination in Human and Machine Joint Activity
Joint activity, as we define it, is a mutually interdependent social endeavor that requires sufficient predictability among participating parties to enable coordination. Coordinati...
Paul J. Feltovich, Jeffrey M. Bradshaw, William J....
AAAI
2010
14 years 14 hour ago
A General Game Description Language for Incomplete Information Games
A General Game Player is a system that can play previously unknown games given nothing but their rules. The Game Description Language (GDL) has been developed as a highlevel knowl...
Michael Thielscher