Sciweavers

1464 search results - page 117 / 293
» Process-Oriented Collective Operations
Sort
View
ICFP
2000
ACM
14 years 24 days ago
Fully reflexive intensional type analysis
Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and ...
Valery Trifonov, Bratin Saha, Zhong Shao
DAGSTUHL
2006
13 years 10 months ago
Closure and Causality
We present a model of causality which is defined by the intersection of two distinct closure systems, I and T . To present empirical evidence to demonstrate that this model has pra...
John L. Pfaltz
RIAO
2004
13 years 10 months ago
Bilingual PRESRI - Integration of Multiple Research Paper Databases
Collecting all the papers in a research field is a first step towards an exhaustive survey. A number of research paper databases are available for searching papers. However, searc...
Hidetsugu Nanba, Takeshi Abekawa, Manabu Okumura, ...
ECIS
2000
13 years 10 months ago
Open Source Movements as a Model for Organizing
Open source software such as the operating system Linux has in a few years created much attention as an alternative way to develop and distribute software. Open source is to let an...
Jan Ljungberg
DAGSTUHL
1996
13 years 10 months ago
Specialization of Imperative Programs Through Analysis of Relational Expressions
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
Alexander Sakharov