72 search results - page 7 / 15 » Support for Extensibility and Reusability in a Concurrent Ob... |
244
Voted
Book
"This book has evolved from materials used in an undergraduate course intended for final year undergraduate students whose background includes at least one year's experie...
112
Voted
JMLC
1997
Springer
15 years 7 months ago
1997
Springer
Strongly typed polymorphism is necessary for expressing safe reusable code. Two orthogonal forms of polymorphism exist: inclusion and parametric, the Oberon language only supports ...
126
Voted
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
152
Voted
OOPSLA
2007
Springer
15 years 9 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...
129
Voted
POPL
1995
ACM
15 years 7 months ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...