Search Sciweavers | Sciweavers

4401 search results - page 67 / 881

» Computing with Default Logic

click to vote

MICRO
2010
IEEE

173views Hardware» more MICRO 2010»

Single-Chip Heterogeneous Computing: Does the Future Include Custom Logic, FPGAs, and GPGPUs?

13 years 6 months ago

Download www.ece.cmu.edu

To extend the exponential performance scaling of future chip multiprocessors, improving energy efficiency has become a first-class priority. Single-chip heterogeneous computing ha...

Eric S. Chung, Peter A. Milder, James C. Hoe, Ken ...

claim paper

Read More »

click to vote

OPODIS
2003

145views Distributed And Parallel Com...» more OPODIS 2003»

Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing

13 years 10 months ago

Download users.ece.utexas.edu

Detecting whether a ﬁnite execution trace (or a computation) of a distributed program satisﬁes a given predicate, called predicate detection, is a fundamental problem in distr...

Alper Sen, Vijay K. Garg

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 3 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

GRC
2010
IEEE

212views Applied Computing» more GRC 2010»

Interval Type-2 Fuzzy Logic System versus Perceptual Computer: Similarities and Differences

13 years 9 months ago

Download xanadu.cs.sjsu.edu

Jerry M. Mendel

claim paper

Read More »