4426 search results - page 487 / 886 » Concurrent Constraint Programming |
159
click to vote
KBSE
2003
IEEE
16 years 4 days ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
180
Voted
JTRES
2009
ACM
15 years 11 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
188
Voted
ICSE
1997
IEEE-ACM
15 years 11 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
174
Voted
DAGSTUHL
2004
15 years 8 months ago
2004
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
168
click to vote
CAL
2006
15 years 7 months ago
2006
Abstract-- Transactional memory has great potential for simplifying multithreaded programming by allowing programmers to specify regions of the program that must appear to execute ...