10072 search results - page 1635 / 2015 » Composition of Model Programs |
197
click to vote
CALCO
2005
Springer
16 years 10 days ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
163
click to vote
CP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In this article we will present some problems that have weak symmetries. In contrast to a proper symmetry, a weak symmetry acts only on a subset of the variables and pres...
198
click to vote
DSVIS
2005
Springer
16 years 10 days ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
181
click to vote
EGH
2005
Springer
16 years 9 days ago
2005
Springer
The growing application of user-defined programs within graphics processing units (GPUs) has transformed the fixed-function display pipeline into a largely programmable pipeline...
178
Voted
FASE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...