Sciweavers

5377 search results - page 75 / 1076
» Programming Languages For Interactive Computing
Sort
View
POPL
2009
ACM
16 years 2 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»
15 years 8 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
15 years 6 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
16 years 10 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.
15 years 7 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