Sciweavers

1704 search results - page 116 / 341
» Design of a Concurrent and Distributed Language
Sort
View
RTAS
2010
IEEE
15 years 1 months ago
Physicalnet: A Generic Framework for Managing and Programming Across Pervasive Computing Networks
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
Pascal Vicaire, Zhiheng Xie, Enamul Hoque, John A....
GPCE
2005
Springer
15 years 8 months ago
Implicitly Heterogeneous Multi-stage Programming
Previous work on semantics-based multi-stage programming (MSP) language design focused on homogeneous designs, where the generating and the generated languages are the same. Homoge...
Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, K...
PPOPP
2005
ACM
15 years 8 months ago
A linear-time algorithm for optimal barrier placement
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...
Alain Darte, Robert Schreiber
EDOC
2004
IEEE
15 years 6 months ago
Notations for the Specification and Verification of Composite Web Services
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
Simon J. Woodman, Doug J. Palmer, Santosh K. Shriv...
CORR
2006
Springer
137views Education» more  CORR 2006»
15 years 3 months ago
Users' participation to the design process in an Open Source Software online community
The objective of this research is to analyse the ways members of open-source software communities participate in design. In particular we focus on how users of an Open Source (OS) ...
Flore Barcellini, Françoise Détienne...