Sciweavers

1729 search results - page 40 / 346
» A Case-Based Parallel Programming System
Sort
View
SLP
1997
78views more  SLP 1997»
13 years 11 months ago
Using SimICS to Evaluate the Penny System
We demonstrate the bene ts of instruction-set simulation in the evaluation of a parallel programming system, Penny. The simulator is a reliable tool in exploring design alternativ...
Johan Montelius, Peter S. Magnusson
APLAS
2008
ACM
13 years 11 months ago
Certified Reasoning in Memory Hierarchies
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
Gilles Barthe, César Kunz, Jorge Luis Sacch...
IPPS
1998
IEEE
14 years 1 months ago
Synchronizing Operations on Multiple Objects
Parallel programming on distributed memory systems is one of the most challenging research areas in parallel computingtoday. Objectbased parallel programming languages are an impor...
Tim Rühl, Henri E. Bal
CSFW
2012
IEEE
12 years 2 days ago
Securing Interactive Programs
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
Willard Rafnsson, Daniel Hedin, Andrei Sabelfeld
FUIN
2002
94views more  FUIN 2002»
13 years 9 months ago
A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
Hanna Klaudel, Franck Pommereau