1202 search results - page 170 / 241 » Sortings for Reactive Systems |
130
click to vote
ISCA
2007
IEEE
15 years 10 months ago
2007
IEEE
Concern for the increasing susceptibility of processor structures to transient errors has led to several recent research efforts that propose architectural techniques to enhance r...
115
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
115
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
108
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
The low cost of clusters built using commodity components has made it possible for many more users to purchase their own supercomputer. However, even modest-sized clusters make si...
132
click to vote
DOLAP
2004
ACM
15 years 9 months ago
2004
ACM
During the last ten years the approach to business management has deeply changed, and companies have understood the importance of enforcing achievement of the goals defined by the...