477 search results - page 32 / 96 » Design patterns in separation logic |
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
ICSOC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. An important architectural style for constructing enterprise applications is to use transactional workflows in SOA. In this setting, workflow activities invoke distribute...
PEPM
2007
ACM
14 years 3 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
: The Game of Life cellular automaton is a classical example of a massively parallel collision-based computing device. The automaton exhibits mobile patterns, gliders, and generato...
ACSD
2007
IEEE
14 years 3 months ago
2007
IEEE
The software design is one of the most challenging tasks during the design of a mechatronic system. On one hand, it has to provide solutions to deal with concurrency and timelines...