55 search results - page 4 / 11 » scp 2008 |
48
Voted
SCP
2010
14 years 10 months ago
2010
SCP
2010
14 years 10 months ago
2010
113
click to vote
SCP
2000
14 years 11 months ago
2000
An extension of the -calculus called BS is introduced as a formal basis for functional languages expressing bulk synchronous parallel algorithms. A con uence result is shown. The ...
SCP
2002
14 years 11 months ago
2002
It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to suppo...
SCP
2002
14 years 11 months ago
2002
O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type sy...