Search Sciweavers | Sciweavers

7124 search results - page 28 / 1425

» Programming Languages and Operating Systems

click to vote

FUIN
2002

94views more FUIN 2002»

A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems

14 years 9 months ago

Download hal.archives-ouvertes.fr

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

claim paper

Read More »

110

click to vote

LCPC
1995
Springer

134views System Software» more LCPC 1995»

V-cal: A Calculus for the Compilation of Data Parallel Languages

15 years 1 months ago

Download www.pds.its.tudelft.nl

V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...

P. F. G. Dechering, J. A. Trescher, J. P. M. de Vr...

claim paper

Read More »

click to vote

APLAS
2004
ACM

144views Programming Languages» more APLAS 2004»

PType System: A Featherweight Parallelizability Detector

15 years 3 months ago

Download research.nii.ac.jp

Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have signiﬁcant impact on program analysis. In this paper, we demonstrat...

Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu

claim paper

Read More »

click to vote

ESOP
2005
Springer

117views Programming Languages» more ESOP 2005»

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close

15 years 3 months ago

Download henning.makholm.net

Henning Makholm, J. B. Wells

claim paper

Read More »