Sciweavers

110 search results - page 19 / 22
» Supporting dynamic parallel object arrays
Sort
View
ESOP
2009
Springer
15 years 7 months ago
A Basis for Verifying Multi-threaded Programs
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
K. Rustan M. Leino, Peter Müller
POPL
1995
ACM
15 years 3 months ago
Compiling Polymorphism Using Intensional Type Analysis
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this forces a compiler to use universal representations eve...
Robert Harper, J. Gregory Morrisett
124
Voted
EDOC
2011
IEEE
14 years 16 hour ago
UML Metamodel-based Workflow Modeling and Execution
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
Jens Brüning, Martin Gogolla
119
Voted
GCC
2005
Springer
15 years 5 months ago
A Semantic Metadata Catalog Service for Grid
Metadata is the information that describes the most important feature of an object. In recent years, metadata plays a more and more important role in data intensive applications. I...
Kewei Wei, Ming Zhang, Yaping Zhu
101
Voted
IEEEPACT
2003
IEEE
15 years 5 months ago
Reactive Multi-Word Synchronization for Multiprocessors
Shared memory multiprocessor systems typically provide a set of hardware primitives in order to support synchronization. Generally, they provide single-word read-modify-write hard...
Phuong Hoai Ha, Philippas Tsigas