MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Resource aware programming." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

22 documents found, showing 1 through 10. Next 10 →

ATOM

Resource-Aware Programming
by Walid Taha
…Resource-Aware Programming ⋆ Invited Paper Walid Taha Rice University, Houston, TX, USA taha…
Cited by 13 (0 self) – Add To MetaCart

Resource Aware Programming in the Pixie OS
by Konrad Lorincz, Bor-rong Chen, Jason Waterman, Geoff Werner-allen, Matt Welsh
…Resource Aware Programming in the Pixie OS Konrad Lorincz, Bor-rong Chen, Jason Waterman, Geoff…
Cited by 2 (1 self) – Add To MetaCart

Preview: An untyped graphical calculus for resource-aware programming
by Stephan J. Ellner, Stephan J. Ellner — 2004 — Rice University
… for Resource-aware Programming by Stephan J. Ellner A Thesis Submitted in Partial Fulfillment…
Cited by 3 (1 self) – Add To MetaCart

Pixie: An operating system for resource-aware programming of embedded sensors
by Konrad Lorincz, Bor-rong Chen, Jason Waterman, Geoffrey Werner-allen, Matt Welsh — 2008 — In Proc. Fifth Workshop on Embedded Networked Sensors (HotEmNets’08
…Pixie: An Operating System for Resource-Aware Programming of Embedded Sensors Konrad Lorincz, Bor…
Cited by 1 (1 self) – Add To MetaCart

Luc Moreau
by School Of Electronics, Luc Moreau, Christian Queinnec, Université De Paris
…Resource Aware Programming Luc Moreau School of Electronics and Computer Science, University…
Add To MetaCart

Sumatra: A Language for Resource-aware Mobile Programs
by Anurag Acharya, M. Ranganathan, Joel Saltz — 1997
…Sumatra: A Language for Resource-aware Mobile Programs ? Anurag Acharya, M. Ranganathan, Joel…
Cited by 111 (2 self) – Add To MetaCart

A Methodology for Generating Verified Combinatorial Circuits
by Oleg Kiselyov, Kedar N. Swadi, Walid Taha, Fleet Numerical Meteorology — 2004
… of Resource-aware Programming (RAP) languages, which take into account the natural distinction between…
Cited by 12 (6 self) – Add To MetaCart

Resource-aware Meta-computing
by Anurag Acharya, M. Ranganathan, Joel Saltz — 1997
… that supports resource-aware mobile programs. We also describe the design and implementation of a distributed…
Cited by 1 (0 self) – Add To MetaCart

A Program Logic for Resource Verification
by David Aspinall, Lennart Beringer, Martin Hofmann, Hans-wolfgang Loidl, Alberto Momigliano — 2004 — In Proceedings of the 17th International Conference on Theorem Proving in Higher-Order Logics, (TPHOLs 2004), volume 3223 of LNCS
… does not allocate memory. Contributions: We introduce a resource-aware program logic for Grail in which…
Cited by 17 (10 self) – Add To MetaCart

O’Camelot: Adding Objects to a Resource Aware Functional Language
by Nicholas Wolverson — 2004 — In Trends in Functional Programing
…Chapter 1 O’Camelot: Adding Objects to a Resource Aware Functional Language Nicholas Wolverson…
Cited by 5 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB