Sciweavers

5377 search results - page 75 / 1076
» Programming Languages For Interactive Computing
Sort
View
POPL
2009
ACM
14 years 9 months ago
A cost semantics for self-adjusting computation
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
Ruy Ley-Wild, Umut A. Acar, Matthew Fluet
AFP
2008
Springer
245views Formal Methods» more  AFP 2008»
14 years 3 months ago
Self-adjusting Computation with Delta ML
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
Umut A. Acar, Ruy Ley-Wild
SIGADA
2001
Springer
14 years 1 months ago
Teaching computer science with robotics using Ada/Mindstorms 2.0
We present one approach to teaching basic computer science concepts with robotics, using an Ada interface to Lego Mindstorms™ 1 . We show simple problems put to students with no...
Barry S. Fagin, Laurence D. Merkle, Thomas W. Egge...

Book
455views
15 years 5 months ago
The Design Patterns Java Companion
"The term “design patterns” sounds a bit formal to the uninitiated and can be somewhat off-putting when you first encounter it. But, in fact, design patterns are just co...
James W. Cooper
ICS
2010
Tsinghua U.
14 years 1 months ago
A query language for understanding component interactions in production systems
When something unexpected happens in a large production system, administrators must first perform a search to isolate which components and component interactions are likely to be...
Adam J. Oliner, Alex Aiken