1163 search results - page 217 / 233 » Case Studies of Model Checking for Embedded System Designs |
107
click to vote
RTCSA
2003
IEEE
15 years 5 months ago
2003
IEEE
Network of workstation (NOW) is a cost-effective alternative to massively parallel supercomputers. As commercially available off-theshelf processors become cheaper and faster, it...
AUTOMATICA
2002
14 years 11 months ago
2002
As a case study of a particular control methodology and as a practical contribution in the area of underwater vehicle control, we consider the problem of stabilizing an underwater...
MM
2005
ACM
15 years 5 months ago
2005
ACM
In this paper, we are interested in adaptation mechanisms for the design, creation and experimentation of adaptive and interactive new media artworks. Through a concrete case stud...
123
click to vote
EMSOFT
2007
Springer
15 years 5 months ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
102
click to vote
CSCW
2010
ACM
15 years 4 months ago
2010
ACM
Online peer-to-peer (P2P) lending organizations enable an individual to obtain an unsecured loan from a collection of individuals without the participation of a bank. Previous res...