2173 search results - page 208 / 435 » An operational semantics for skeletons |
122
Voted
ICFP
2003
ACM
16 years 18 days ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
125
click to vote
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
87
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
Constructing and maintaining semantic mappings are necessary but troublesome in data sharing systems. While most current work focuses on seeking automated techniques to solve this...
180
Voted
POPL
2005
ACM
16 years 29 days ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
111
click to vote
ICALP
2009
Springer
16 years 28 days ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...