Search Sciweavers | Sciweavers

17298 search results - page 173 / 3460

» Abstract computing machines

147

click to vote

SOFSEM
2009
Springer

116views Theoretical Computer Science» more SOFSEM 2009»

A Machine Checked Soundness Proof for an Intermediate Verification Language

16 years 3 months ago

Download www.ksi.mff.cuni.cz

Frédéric Vogels, Bart Jacobs 0002, F...

claim paper

Read More »

116

click to vote

CLUSTER
2007
IEEE

114views Distributed And Parallel Com...» more CLUSTER 2007»

Cost-aware scheduling for heterogeneous enterprise machines (CASH'EM)

16 years 24 days ago

Download www.hpl.hp.com

Jennifer Burge, Parthasarathy Ranganathan, Janet L...

claim paper

Read More »

136

click to vote

TGC
2007
Springer

98views Applied Computing» more TGC 2007»

Service Combinators for Farming Virtual Machines

16 years 16 days ago

Download perso.ens-lyon.fr

Karthikeyan Bhargavan, Andrew D. Gordon, Iman Nara...

claim paper

Read More »

159

click to vote

ACL2
2006
ACM

258views Computational Linguistics» more ACL2 2006»

A robust machine code proof framework for highly secure applications

16 years 13 days ago

Download www.ccs.neu.edu

David S. Hardin, Eric W. Smith, William D. Young

claim paper

Read More »

137

click to vote

PRDC
2005
IEEE

81views Applied Computing» more PRDC 2005»

Resilient State Machine Replication

16 years 20 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers