Search Sciweavers | Sciweavers

2000 search results - page 20 / 400

» Program Transformation and Proof Transformation

click to vote

ICDCS
2012
IEEE

229views Distributed And Parallel Com...» more ICDCS 2012»

eTransform: Transforming Enterprise Data Centers by Automated Consolidation

11 years 9 months ago

Download lass.cs.umass.edu

Abstract—Modern day enterprises have a large IT infrastructure comprising thousands of applications running on servers housed in tens of data centers geographically spread out. T...

Rahul Singh, Prashant J. Shenoy, K. K. Ramakrishna...

claim paper

Read More »

click to vote

COCOON
2008
Springer

126views Combinatorics» more COCOON 2008»

Damaged BZip Files Are Difficult to Repair

13 years 9 months ago

Download www.imd.uni-rostock.de

bzip is a program written by Julian Seward that is often used under Unix to compress single files. It splits the file into blocks which are compressed individually using a combinat...

Christian Hundt, Ulf Ochsenfahrt

claim paper

Read More »

click to vote

PLDI
2000
ACM

79views Programming Languages» more PLDI 2000»

Transforming loops to recursion for multi-level memory hierarchies

13 years 11 months ago

Download www.cs.berkeley.edu

Qing Yi, Vikram S. Adve, Ken Kennedy

claim paper

Read More »