Sciweavers

2513 search results - page 307 / 503
» Tamper-Tolerant Software: Modeling and Implementation
Sort
View
PEPM
2004
ACM
15 years 6 months ago
Component specialization
To our point of view, adaptability is a key characteristic of components and should be at the heart of any proper component model. However, contrarily to the object crystal-box mod...
Gustavo J. Bobeff, Jacques Noyé
CGO
2010
IEEE
15 years 5 months ago
Efficient compilation of fine-grained SPMD-threaded programs for multicore CPUs
In this paper we describe techniques for compiling finegrained SPMD-threaded programs, expressed in programming models such as OpenCL or CUDA, to multicore execution platforms. Pr...
John A. Stratton, Vinod Grover, Jaydeep Marathe, B...
104
Voted
WWW
2004
ACM
16 years 1 months ago
Cooperative middleware specialization for service oriented architectures
Service-oriented architectures (SOA) will provide the basis of the next generation of distributed software systems, and have already gained enormous traction in the industry throu...
Nirmal Mukhi, Ravi B. Konuru, Francisco Curbera
ICFP
2008
ACM
16 years 22 days ago
NixOS: a purely functional Linux distribution
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...
Andres Löh, Eelco Dolstra
102
Voted
ICSE
2001
IEEE-ACM
15 years 5 months ago
Comparing Frameworks and Layered Refinement
Object-oriented frameworks are a popular mechanism for building and evolving large applications and software product lines. This paper describes an alternative approach to softwar...
Richard Cardone, Calvin Lin