2943 search results - page 114 / 589 » Software Implementation of Synchronous Programs |
115
Voted
KBSE
2003
IEEE
15 years 7 months 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 ...
138
click to vote
ISPW
2010
IEEE
15 years 7 months ago
2010
IEEE
Pressures for more complex products, customer dissatisfaction and problems related to cost and schedule overruns increase the need for effective management response and for improve...
140
Voted
ICSE
2011
IEEE-ACM
14 years 6 months ago
2011
IEEE-ACM
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
108
Voted
C++
1994
15 years 3 months ago
1994
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...
122
Voted
RV
2010
Springer
15 years 13 days ago
2010
Springer
Software transactional memories (STMs) promise simple and efficient concurrent programming. Several correctness properties have been proposed for STMs. Based on a bounded conflict ...