Sciweavers

4385 search results - page 15 / 877
» Abstraction for Concurrent Objects
Sort
View
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
15 years 3 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
HAIS
2009
Springer
14 years 8 months ago
A Three-Objective Evolutionary Approach to Generate Mamdani Fuzzy Rule-Based Systems
Abstract. In the last years, several papers have proposed to adopt multiobjective evolutionary algorithms (MOEAs) to generate Mamdani fuzzy rulebased systems with different trade-o...
Michela Antonelli, Pietro Ducange, Beatrice Lazzer...
WCRE
2010
IEEE
14 years 8 months ago
Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs
—Concurrent programming with shared memory in an object-oriented language such as Java is notoriously difficult. Therefore, it is important to study new program understanding te...
Ana Milanova, Yin Liu
RTDB
1996
105views more  RTDB 1996»
14 years 11 months ago
Towards Priority Ceilings in Object-Based Semantic Real-Time Concurrency Control
This paper shows how priority ceiling techniques can be added to object-based real-time semantic concurrency control. The resulting protocol provides more potential concurrency fo...
Michael Squadrito, Lisa Cingiser DiPippo, Victor F...
ICALP
2011
Springer
14 years 1 months ago
Liveness-Preserving Atomicity Abstraction
-Preserving Atomicity Abstraction Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 University of Oxford Modern concurrent algorithms are usually encapsulated in libr...
Alexey Gotsman, Hongseok Yang