Sciweavers

4385 search results - page 31 / 877
» Abstraction for Concurrent Objects
Sort
View
77
Voted
CAV
2010
Springer
197views Hardware» more  CAV 2010»
15 years 2 months ago
Abstract Analysis of Symbolic Executions
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha C...
ICADL
2003
Springer
127views Education» more  ICADL 2003»
15 years 3 months ago
An Architecture for Multischeming in Digital Libraries
Abstract. In this paper we discuss the problem of handling many classification schemes within the context of a single digital library concurrently, which we term multischeming. We...
Aaron Krowne, Edward A. Fox
CLUSTER
2003
IEEE
15 years 4 months ago
Distributed Recursive Sets: Programmability and Effectiveness for Data Intensive Applications
This paper presents a concurrent object model based on distributed recursive sets for data intensive applications that use complex, recursive data layouts. The set abstraction is ...
Roxana Diaconescu, Reidar Conradi
CONCURRENCY
1998
90views more  CONCURRENCY 1998»
14 years 10 months ago
Java RMI performance and object model interoperability: experiments with Java/HPC++
Java RMI provides an elegant and powerful model for invoking member functions on objects that exist in remote address spaces. Unfortunately, it is a Java-to-Java communication mod...
Fabian Breg, Shridhar Diwan, Juan E. Villacis, Jay...
IPPS
1998
IEEE
15 years 2 months ago
An Object Model for Multiprogramming
We have developed a programming model that integrates concurrency with object-based programming. The model includes features for object definition and instantiation, and it support...
Jayadev Misra