Sciweavers

2030 search results - page 210 / 406
» Designing Complex Software Implementation Programs
Sort
View
136
Voted
JSS
2010
111views more  JSS 2010»
15 years 1 months ago
Promoting the development of secure mobile agent applications
In this paper we present a software architecture and a development environment for the implementation of applications based on secure mobile agents. Recent breakthroughs in mobile...
Carles Garrigues, Sergi Robles, Joan Borrell, Guil...
135
Voted
ARCS
2006
Springer
15 years 6 months ago
Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
Péter Domokos, István Majzik
195
Voted
PLDI
2003
ACM
15 years 7 months ago
Checking and inferring local non-aliasing
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
Alexander Aiken, Jeffrey S. Foster, John Kodumal, ...
116
Voted
CC
1999
Springer
116views System Software» more  CC 1999»
15 years 6 months ago
A Programmable ANSI C Transformation Engine
Abstract. Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementin...
Maarten Boekhold, Ireneusz Karkowski, Henk Corpora...
112
Voted
PPOPP
2006
ACM
15 years 8 months ago
Proving correctness of highly-concurrent linearisable objects
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Mar...