5465 search results - page 5 / 1093 » Assigning Types to Processes |
ICEBE
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
ENTCS
2002
13 years 7 months ago
2002
We define a notion of type assignment with polymorphic intersection types of rank 2 for a term graph rewriting language that expresses sharing and cycles. We show that type assign...
ICIP
1995
IEEE
14 years 9 months ago
1995
IEEE
This paper presents mathematical frameworks on temporal predictiveprocessing in the MPEG video compression standard. Firstly, a coding gain is derived based on traditional predict...
ASPDAC
2005
ACM
13 years 9 months ago
2005
ACM
Abstract— This paper addresses high level synthesis for realtime digital signal processing (DSP) architectures using heterogeneous functional units (FUs). For such special purpos...
CL
2002
Springer
13 years 7 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...