1445 search results - page 258 / 289 » Properties of state spaces and their applications |
108
Voted
ISCI
2007
15 years 1 months ago
2007
The primary goal of the study presented in this paper is to develop a novel and comprehensive approach to decision making using fuzzy discrete event systems (FDES) and to apply su...
119
click to vote
ACSD
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
148
click to vote
ASPLOS
2011
ACM
14 years 5 months ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...
126
click to vote
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
In recent years, several alternative devices have been proposed to deal with inherent limitation of conventional CMOS devices in terms of scalability at nanometer scale geometry. ...
125
click to vote
DS
1992
15 years 2 months ago
1992
In this paper, we present methods for supporting autonomous updates in replicated databases. Autonomous updates are of particular importance to applications that cannot tolerate t...