Sciweavers

3676 search results - page 33 / 736
» Scalable component abstractions
Sort
View
CBSE
2009
Springer
15 years 4 months ago
Control Encapsulation: A Calculus for Exogenous Composition of Software Components
Abstract. In current software components models, components do not encapsulate control, and are composed by connection mechanisms which pass control from component to component. Co...
Kung-Kiu Lau, Mario Ornaghi
IWFM
1998
136views Formal Methods» more  IWFM 1998»
14 years 11 months ago
Translating Structured Database Schemas into Abstract Machines
ing Structured Database Schemas into Abstract Machines Brian Matthews Rutherford Appleton Laboratory, Didcot, OXON, OX11 OQX, U.K. Elvira Locuratolo Istituto di Elaborazione dell&#...
Brian Matthews, Elvira Locuratolo
VMCAI
2009
Springer
15 years 4 months ago
SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
Abstract. We introduce Subpolyhedra (SubPoly) a new numerical abstract domain to infer and propagate linear inequalities. SubPoly is as expressive as Polyhedra, but it drops some o...
Vincent Laviron, Francesco Logozzo
DAIS
2010
14 years 11 months ago
Distributed Fault Tolerant Controllers
Distributed applications are often built from sets of distributed components that must be co-ordinated in order to achieve some global behaviour. The common approach is to use a c...
Leonardo Mostarda, Rudi Ball, Naranker Dulay
ICCS
2007
Springer
15 years 3 months ago
Scalability Analysis of the SPEC OpenMP Benchmarks on Large-Scale Shared Memory Multiprocessors
Abstract. We present a detailed investigation of the scalability characteristics of the SPEC OpenMP benchmarks on large-scale shared memory multiprocessor machines. Our study is ba...
Karl Fürlinger, Michael Gerndt, Jack Dongarra