Sciweavers

661 search results - page 18 / 133
» Concurrency, objects and visualisation
Sort
View
FM
2009
Springer
190views Formal Methods» more  FM 2009»
16 years 13 days ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
APSEC
2002
IEEE
15 years 10 months ago
Extracting threads from concurrent objects for the design of embedded systems
Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama