Search Sciweavers | Sciweavers

34181 search results - page 131 / 6837

» The Computer System GRAPHOGRAPH

click to vote

FSTTCS
2010
Springer

166views Software Engineering» more FSTTCS 2010»

On extracting computations from propositional proofs (a survey)

13 years 8 months ago

Download www.math.cas.cz

This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...

Pavel Pudlák

claim paper

Read More »

click to vote

GCC
2003
Springer

169views Distributed And Parallel Com...» more GCC 2003»

Component-Based Middleware Platform for Grid Computing

14 years 3 months ago

Download esdat.ucsd.edu

: In the Grid environment, user can manage and make use of web services, such as uploading or downloading web services. But when user want to download one web services to run it in...

Jianmin Zhu, Rong Chen, Guangnan Ni, Yuan Liu

claim paper

Read More »

click to vote

LFCS
2009
Springer

223views Artificial Intelligence» more LFCS 2009»

The Logic of Proofs as a Foundation for Certifying Mobile Computation

14 years 4 months ago

Download www.lifia.info.unlp.edu.ar

We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certiﬁc...

Eduardo Bonelli, Federico Feller

claim paper

Read More »

click to vote

CASES
2009
ACM

102views System Software» more CASES 2009»

Sustaining moore's law in embedded computing through probabilistic and approximate design: retrospects and prospects

14 years 4 months ago