Sciweavers

661 search results - page 50 / 133
» Concurrency, objects and visualisation
Sort
View
PLDI
2012
ACM
12 years 11 days ago
Fully automatic and precise detection of thread safety violations
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
Michael Pradel, Thomas R. Gross
PDP
2007
IEEE
14 years 4 months ago
An Annotation-Based Framework for Parallel Computing
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...
Carlos A. Cunha, João Luís Sobral
CCIA
2005
Springer
14 years 3 months ago
Classifying Natural Objects on Outdoor Scenes
We propose an hybrid and probabilistic classification of image regions belonging to scenes primarily containing natural objects, e.g. sky, trees, etc. as a first step in solving ...
Anna Bosch, Xavier Muñoz, Joan Martí...
IPPS
2005
IEEE
14 years 3 months ago
Reconfigurable Object Consistency Model
Consistency is an important issue in Distributed Shared Memory (DSM) systems. These systems share a set of objects or virtual memory pages. The data sharing enables the applicatio...
Christiane V. Pousa, Luís Fabrício W...
FMCO
2004
Springer
120views Formal Methods» more  FMCO 2004»
14 years 3 months ago
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
Einar Broch Johnsen, Olaf Owe