Sciweavers

603 search results - page 9 / 121
» concurrency 2010
Sort
View
152
Voted
ATVA
2010
Springer
153views Hardware» more  ATVA 2010»
15 years 4 months ago
Non-monotonic Refinement of Control Abstraction for Concurrent Programs
ion for Concurrent Programs Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko Technische Universit
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenk...
APLAS
2010
ACM
15 years 21 days ago
Concurrency Can't Be Observed, Asynchronously
Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giac...
ICECCS
2010
IEEE
139views Hardware» more  ICECCS 2010»
15 years 4 months ago
Formal Modeling for UML/MARTE Concurrency Resources
Pablo Peñil, Hector Posadas, Eugenio Villar
55
Voted
CORR
2010
Springer
52views Education» more  CORR 2010»
15 years 3 months ago
Automating Fine Concurrency Control in Object-Oriented Databases
Carmelo Malta, José Martinez