14558 search results - page 83 / 2912 » Resources |
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
NCA
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Resource management is a key challenge that service providers must adequately face in order to ensure their profitability. This paper describes a proof-of-concept frame...
ICPP
2008
IEEE
14 years 3 months ago
2008
IEEE
—We consider resource allocation for distributed streaming applications running in a grid environment, where continuously streaming data needs to be aggregated and processed to p...
MOBIQUITOUS
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper documents the demonstration showcasing the ScreenSpot resource discovery framework and the MobileVue social media sharing application. The key points of the demonstrati...
RTAS
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...