Sciweavers

4880 search results - page 292 / 976
» Manuals as Structured Programs
Sort
View
AOSD
2007
ACM
15 years 8 months ago
Declarative failure recovery for sensor networks
Wireless sensor networks consist of a system of distributed sensors embedded in the physical world, and promise to allow observation of previously unobservable phenomena. Since th...
Ramakrishna Gummadi, Nupur Kothari, Todd D. Millst...
SIGCSE
2008
ACM
146views Education» more  SIGCSE 2008»
15 years 4 months ago
Bantam: a customizable, java-based, classroom compiler
This paper introduces the Bantam Java compiler project, a new language and compiler designed specifically for the classroom. Bantam Java, the source programming language, is a sma...
Marc L. Corliss, E. Christopher Lewis
MICRO
2010
IEEE
143views Hardware» more  MICRO 2010»
14 years 11 months ago
SD3: A Scalable Approach to Dynamic Data-Dependence Profiling
Abstract--As multicore processors are deployed in mainstream computing, the need for software tools to help parallelize programs is increasing dramatically. Data-dependence profili...
Minjang Kim, Hyesoon Kim, Chi-Keung Luk
ICFP
2007
ACM
16 years 4 months ago
Tangible functional programming
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...
Conal Elliott
PLPV
2010
ACM
16 years 1 months ago
Arity-generic datatype-generic programming
Some programs are doubly-generic. For example, map is datatypegeneric in that many different data structures support a mapping operation. A generic programming language like Gener...
Stephanie Weirich, Chris Casinghino