Search Sciweavers | Sciweavers

5630 search results - page 12 / 1126

» Computability in Specification

click to vote

ICCS
2005
Springer

66views Applied Computing» more ICCS 2005»

Rapid Development of Application-Specific Network Performance Tests

14 years 3 months ago

Download wwwc3.lanl.gov

Scott Pakin

claim paper

Read More »

click to vote

HPCA
2007
IEEE

96views Distributed And Parallel Com...» more HPCA 2007»

A Domain-Specific On-Chip Network Design for Large Scale Cache Systems

14 years 10 months ago

Download iap.cse.tamu.edu

Yuho Jin, Eun Jung Kim, Ki Hwan Yum

claim paper

Read More »

click to vote

SOFSEM
2009
Springer

77views Theoretical Computer Science» more SOFSEM 2009»

Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems

14 years 6 months ago

Download www.ksi.mff.cuni.cz

Thomas Chatain, Paul Gastin, Nathalie Sznajder

claim paper

Read More »

click to vote

ARITH
2009
IEEE

181views Applied Computing» more ARITH 2009»

Implementation Specific Verification of Divide and Square Root Instructions

14 years 4 months ago

Download www.ac.usc.es

Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman...

claim paper

Read More »

click to vote

UIC
2009
Springer

113views Applied Computing» more UIC 2009»

Fine-Grained Evaluation of Local Positioning Systems for Specific Target Applications

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers