1015 search results - page 98 / 203 » Syntactic Control of Concurrency |
GECCO
2007
Springer
15 years 1 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
CONCURRENCY
2008
14 years 10 months ago
2008
To provide performant access to data from high energy physics experiments such as the Large Hadron Collider (LHC), controlled replication of files among grid sites is required. Dy...
PPDP
2007
Springer
15 years 4 months ago
2007
Springer
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
CSCW
2008
ACM
14 years 11 months ago
2008
ACM
When involved in collaborative tasks, users often choose to use multi-synchronous applications in order to concurrently work in isolation. Hence, privacy of their changes is maint...
PLILP
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scienti c int...