Sciweavers

2226 search results - page 122 / 446
» Pdk: The System and Its Language
Sort
View
ICFP
2009
ACM
16 years 7 months ago
Scribble: closing the book on ad hoc documentation tools
Scribble is a system for writing library documentation, user guides, and tutorials. It builds on PLT Scheme's technology for language extension, and at its heart is a new app...
Matthew Flatt, Eli Barzilay, Robert Bruce Findler
ASPLOS
2011
ACM
14 years 10 months ago
Dynamic knobs for responsive power-aware computing
We present PowerDial, a system for dynamically adapting application behavior to execute successfully in the face of load and power fluctuations. PowerDial transforms static conï¬...
Henry Hoffmann, Stelios Sidiroglou, Michael Carbin...
POPL
2012
ACM
14 years 1 months ago
Deciding choreography realizability
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
Samik Basu, Tevfik Bultan, Meriem Ouederni
HRI
2010
ACM
16 years 1 months ago
Robust spoken instruction understanding for HRI
—Natural human-robot interaction requires different and more robust models of language understanding (NLU) than non-embodied NLU systems. In particular, architectures are require...
Rehj Cantrell, Matthias Scheutz, Paul W. Schermerh...
EDOC
2003
IEEE
15 years 11 months ago
Model Transformation: A declarative, reusable patterns approach
The MOF Query, View and Transformation RFP, issued by OMG will result in a key enabling technology for modeldriven development of large distributed systems. We have designed a tra...
Keith Duddy, Anna Gerber, Michael Lawley, Kerry Ra...