Search Sciweavers | Sciweavers

17298 search results - page 39 / 3460

» Abstract computing machines

click to vote

ASPDAC
2001
ACM

126views Hardware» more ASPDAC 2001»

A new partitioning scheme for improvement of image computation

13 years 11 months ago

Download www.cecs.uci.edu

Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...

Christoph Meinel, Christian Stangier

claim paper

Read More »

click to vote

CIE
2005
Springer

140views Applied Computing» more CIE 2005»

Abstract Geometrical Computation: Turing-Computing Ability and Undecidability

14 years 1 months ago

Download www.univ-orleans.fr

geometrical computation: Turing-computing ability and undecidability J´erˆome Durand-Lose Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P...

Jérôme Durand-Lose

claim paper

Read More »

click to vote

ICPP
2003
IEEE

97views Distributed And Parallel Com...» more ICPP 2003»

Running Bag-of-Tasks Applications on Computational Grids: The MyGrid Approach

14 years 28 days ago

Download walfredo.dsc.ufcg.edu.br

e some simple working environment abstractions that hide the configuration heterogeneity of the machines that compose the grid from the user. Second, we introduce Work Queue with R...

Walfredo Cirne, Daniel Paranhos da Silva, Lauro Co...

claim paper

Read More »

click to vote

FUIN
2006

93views more FUIN 2006»

Abstract Geometrical Computation 1: Embedding Black Hole Computations with Rational Numbers

13 years 7 months ago