717 search results - page 94 / 144 » Concurrent Engineering |
123
click to vote
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as...
132
Voted
WADT
1999
Springer
15 years 6 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
116
Voted
KBSE
2003
IEEE
15 years 8 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 ...
144
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
134
Voted
ICSE
2010
IEEE-ACM
15 years 16 days ago
2010
IEEE-ACM
The development of video games comprises engineering teams within various disciplines, e.g., software engineering, game production, and creative arts. Game jams are a promising ap...