Sciweavers

482 search results - page 1 / 97
» Dynamics of Resource Closure Operators
Sort
View
AIMS
2009
Springer
13 years 12 months ago
Dynamics of Resource Closure Operators
Abstract. We propose a framework for managing resources via convergent operators. Operators represent their need for a resource to a designated resource closure operator that manag...
Alva L. Couch, Marc Chiarini
ENTCS
2008
138views more  ENTCS 2008»
13 years 5 months ago
Compositionality of Statically Scheduled IP
Timing Closure in presence of long global wire interconnects is one of the main current issues in System-onChip design. One proposed solution to the Timing Closure problem is Late...
Julien Boucaron, Jean-Vivien Millo
PPL
2008
117views more  PPL 2008»
13 years 5 months ago
Operating Systems in silicon and the Dynamic Management of Resources in Many-Core Chips
This discussion paper explores the problems of operating systems support when implementing concurrency controls at the level of the instruction set in processors designed for mult...
Chris R. Jesshope
ICFP
2001
ACM
14 years 5 months ago
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
Allyn Dimock, Ian Westmacott, Robert Muller, Frank...
ARCS
2004
Springer
13 years 10 months ago
Operating Systems for FPGA Based Computers and Their Memory
: We introduce the concept of an operating system for platforms that consist beside memory and peripheral devices of FPGAs as the only computational resource. Applications can be d...
Klaus Danne