Sciweavers

245 search results - page 11 / 49
» Programming Autonomic Systems with Multiple Constraint Store...
Sort
View
ISLPED
2006
ACM
109views Hardware» more  ISLPED 2006»
15 years 4 months ago
Power reduction of multiple disks using dynamic cache resizing and speed control
This paper presents an energy-conservation method for multiple disks and their cache memory. Our method periodically resizes the cache memory and controls the rotation speeds unde...
Le Cai, Yung-Hsiang Lu
CASES
2003
ACM
15 years 2 months ago
Efficient spill code for SDRAM
Processors such as StrongARM and memory such as SDRAM enable efficient execution of multiple loads and stores in a single instruction. This is particularly useful in connection wi...
V. Krishna Nandivada, Jens Palsberg
CEC
2010
IEEE
14 years 11 months ago
Genetic programming for Expert Systems
— Genetic programming is the usage of the paradigm of survival of the fittest in scientific computing. It is applied to evolve solutions to problems where dependencies between ...
Konrad Sickel, Joachim Hornegger
EDOC
2002
IEEE
15 years 3 months ago
Workflow-Based Composition of Web-Services: A Business Model or a Programming Paradigm?
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...
Dinesh Ganesarajah, Emil Lupu
ICFP
2008
ACM
15 years 10 months ago
Functional translation of a calculus of capabilities
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
Arthur Charguéraud, François Pottier