Search Sciweavers | Sciweavers

102291 search results - page 54 / 20459

» Computing

Voted

CIE
2009
Springer

95views Applied Computing» more CIE 2009»

Computability of Continuous Solutions of Higher-Type Equations

15 years 7 months ago

Download www.cs.bham.ac.uk

Martín Hötzel Escardó

claim paper

Read More »

Voted

CSR
2009
Springer

98views Theoretical Computer Science» more CSR 2009»

Formal Verification of Gate-Level Computer Systems

15 years 7 months ago

Download www-wjp.cs.uni-saarland.de

Mark A. Hillebrand, Sergey Tverdyshev

claim paper

Read More »

click to vote

ICCS
2009
Springer

71views Applied Computing» more ICCS 2009»

Workshop on Using Emerging Parallel Architectures for Computational Science

15 years 7 months ago

Download www.informatik.uni-kiel.de

Bertil Schmidt, Douglas L. Maskell

claim paper

Read More »

111

Voted

MEMBRANE
2009
Springer

189views Applied Computing» more MEMBRANE 2009»

A Region-Oriented Hardware Implementation for Membrane Computing Applications

15 years 7 months ago

Download www.gcn.us.es

Van Nguyen, David Kearney, Gianpaolo Gioiosa

claim paper

Read More »

click to vote

PVM
2009
Springer

76views Distributed And Parallel Com...» more PVM 2009»

Model-Based Optimization of MPI Collective Operations for Computational Clusters

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers