Sciweavers

454 search results - page 59 / 91
» Design and Implementation of the Virtual Machine Constructin...
Sort
View
136
Voted
CEFP
2005
Springer
15 years 9 months ago
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
Kevin Hammond
121
Voted
EUC
2004
Springer
15 years 7 months ago
Hardware Mediators: A Portability Artifact for Component-Based Systems
Abstract. In this article we elaborate on portability in componentbased operating systems, focusing in the hardware mediator construct proposed by Frhlich in the Application-Orient...
Fauze Valério Polpeta, Antônio August...
120
Voted
ATAL
2008
Springer
15 years 5 months ago
Methods for complex single-mind architecture designs
The implementation of software systems with large numbers of heterogeneous components calls for a powerful design methodology. Although several such methodologies have been propos...
Kristinn R. Thórisson, Gudny Ragna Jonsdott...
173
Voted
NDSS
2003
IEEE
15 years 9 months ago
Access Control Based on Execution History
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
Martín Abadi, Cédric Fournet
124
Voted
ML
2007
ACM
134views Machine Learning» more  ML 2007»
15 years 3 months ago
Status report: the manticore project
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
Matthew Fluet, Nic Ford, Mike Rainey, John H. Repp...