Search Sciweavers | Sciweavers

4401 search results - page 67 / 881

» Computing with Default Logic

135

Voted

MICRO
2010
IEEE

173views Hardware» more MICRO 2010»

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

15 years 14 days 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 »

154

Voted

OPODIS
2003

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

Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing

15 years 3 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 »

127

click to vote

LFCS
2009
Springer

223views Artificial Intelligence» more LFCS 2009»

The Logic of Proofs as a Foundation for Certifying Mobile Computation

15 years 9 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 »

130

click to vote

GRC
2010
IEEE

212views Applied Computing» more GRC 2010»

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

15 years 3 months ago

Download xanadu.cs.sjsu.edu

Jerry M. Mendel

claim paper