Sciweavers

1809 search results - page 105 / 362
» Using GDE in Educational Systems
Sort
View
CORR
2010
Springer
136views Education» more  CORR 2010»
14 years 10 months ago
Applying Prolog to Develop Distributed Systems
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
Nuno P. Lopes, Juan A. Navarro, Andrey Rybalchenko...
65
Voted
CORR
2006
Springer
80views Education» more  CORR 2006»
14 years 10 months ago
Exact Failure Frequency Calculations for Extended Systems
This paper shows how the steady-state availability and failure frequency can be calculated in a single pass for very large systems, when the availability is expressed as a product...
Annie Druault-Vicard, Christian Tanguy
SIGCSE
2005
ACM
110views Education» more  SIGCSE 2005»
15 years 3 months ago
Towards concrete concurrency: occam-pi on the LEGO mindstorms
In a world of ad-hoc networks, highly interconnected mobile devices and increasingly large supercomputer clusters, students need models of computation that help them think about d...
Christian L. Jacobsen, Matthew C. Jadud
SIGCSE
1999
ACM
73views Education» more  SIGCSE 1999»
15 years 2 months ago
A student-directed computing community
We describe a computing facility created, supported, maintained, and used entirely by undergraduatestudents. This facility exists outside of the instructional support system,so th...
Adam Bonner
CORR
2008
Springer
61views Education» more  CORR 2008»
14 years 10 months ago
Short proofs of strong normalization
This paper presents simple, syntactic strong normalization proofs for the simply-typed -calculus and the polymorphic -calculus (system F) with the full set of logical connectives, ...
Aleksander Wojdyga