Sciweavers

5154 search results - page 293 / 1031
» Modelling online education
Sort
View
192
Voted
SIGCSE
2005
ACM
110views Education» more  SIGCSE 2005»
16 years 1 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
2000
ACM
139views Education» more  SIGCSE 2000»
15 years 11 months ago
Design and analysis of algorithms reconsidered
The paper elucidates two views (models) of algorithmic problem solving. The first one is static; it is based on the identification of several principal dimensions of algorithmic p...
Anany Levitin
224
Voted
CORR
2008
Springer
114views Education» more  CORR 2008»
15 years 9 months ago
Self-Assembly of Infinite Structures
We review some recent results related to the self-assembly of infinite structures in the Tile Assembly Model. These results include impossibility results, as well as novel tile as...
Matthew J. Patitz, Scott M. Summers
185
Voted
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 7 months ago
Timed Automata Semantics for Analyzing Creol
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
Mohammad Mahdi Jaghoori, Tom Chothia
170
Voted
CORR
2010
Springer
118views Education» more  CORR 2010»
15 years 7 months ago
Toward a Formal Semantics for Autonomic Components
Autonomic management can improve the QoS provided by parallel/distributed applications. Within the CoreGRID Component Model, the autonomic management is tailored to the automatic
Marco Aldinucci, Emilio Tuosto