Search Sciweavers | Sciweavers

2658 search results - page 33 / 532

» Autonomic Computing: An Overview

115

Voted

CIE
2008
Springer

114views Applied Computing» more CIE 2008»

Extraction in Coq: An Overview

15 years 5 months ago

Download hal.archives-ouvertes.fr

The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...

Pierre Letouzey

claim paper

Read More »

104

click to vote

ICAC
2007
IEEE

59views Applied Computing» more ICAC 2007»

Using the Right Amount of Monitoring in Adaptive Load Sharing

15 years 9 months ago

Download csdl2.computer.org

David Breitgand, Rami Cohen, Amir Nahir, Danny Raz

claim paper

Read More »

click to vote

ICAC
2007
IEEE

96views Applied Computing» more ICAC 2007»

Prato: Databases on Demand

15 years 9 months ago

Download www.hpl.hp.com

Soila M. Pertet, Priya Narasimhan, John Wilkes, Ja...

claim paper

Read More »

105

Voted

ICAC
2006
IEEE

96views Applied Computing» more ICAC 2006»

Towards an Understanding of Decision Complexity in IT Configuration

15 years 9 months ago

Download www.cs.northwestern.edu

Bin Lin, Aaron B. Brown, Joseph L. Hellerstein

claim paper

Read More »

click to vote

ICAC
2005
IEEE

64views Applied Computing» more ICAC 2005»

A Resource Negotiation Infrastructure for Self-Managing Applications

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers