Sciweavers

801 search results - page 60 / 161
» Implementation and Use of Transactional Memory with Dynamic ...
Sort
View
APLAS
2005
ACM
15 years 7 months ago
Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis
This paper presents a novel method to construct a dynamic single assignment (DSA) form of array-intensive, pointer-free C programs (or in any other procedural language). A program ...
Peter Vanbroekhoven, Gerda Janssens, Maurice Bruyn...
WWW
2003
ACM
16 years 2 months ago
Delivering Semantic Web Services
The growing infrastructure for Web Services assumes a "programmer in the loop" that hardcodes the connections between Web Services and directly programs Web Service comp...
Massimo Paolucci, Katia P. Sycara, Takahiro Kawamu...
PRDC
2006
IEEE
15 years 7 months ago
A Pragmatic Protocol for Database Replication in Interconnected Clusters
Multi-master update everywhere database replication, as achieved by protocols based on group communication such as DBSM and Postgres-R, addresses both performance and availability...
J. Grov, L. Soares, Alfrânio Correia Jr., Jo...
FMICS
2008
Springer
15 years 3 months ago
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
Christian Colombo, Gordon J. Pace, Gerardo Schneid...
IJSSE
2010
80views more  IJSSE 2010»
14 years 10 months ago
Improving Memory Management Security for C and C++
Memory managers are an important part of any modern language: they are used to dynamically allocate memory for use in the program. Many managers exist and depending on the operati...
Yves Younan, Wouter Joosen, Frank Piessens, Hans V...