Search Sciweavers | Sciweavers

4067 search results - page 44 / 814

» Programs for Applying Symmetries

107

click to vote

IPPS
2007
IEEE

163views Distributed And Parallel Com...» more IPPS 2007»

SWARM: A Parallel Programming Framework for Multicore Processors

15 years 8 months ago

Download www.cc.gatech.edu

Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor architectures to multicore designs. Continued perform...

David A. Bader, Varun Kanade, Kamesh Madduri

claim paper

Read More »

106

click to vote

IWPEC
2009
Springer

103views Applied Computing» more IWPEC 2009»

Fixed-Parameter Algorithms in Analysis of Heuristics for Extracting Networks in Linear Programs

15 years 8 months ago

Download faculty.cs.tamu.edu

Gregory Gutin, Daniel Karapetyan, Igor Razgon

claim paper

Read More »

120

click to vote

ARITH
2007
IEEE

113views Applied Computing» more ARITH 2007»

Formal Verification of Floating-Point Programs

15 years 8 months ago

Download www-lipn.univ-paris13.fr

Sylvie Boldo, Jean-Christophe Filliâtre

claim paper

Read More »

click to vote

SAC
2005
ACM

122views Applied Computing» more SAC 2005»

Agent oriented logic programming in Jinni 2004

15 years 7 months ago

Download jo.ecs.fullerton.edu

Paul Tarau

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

93views Applied Computing» more BIRTHDAY 2005»

TV Scout: Lowering the Entry Barrier to Personalized TV Program Recommendation

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers