Search Sciweavers | Sciweavers

13271 search results - page 303 / 2655

» Computers, Programming, and People

153

click to vote

GG
2010
Springer

150views Theoretical Computer Science» more GG 2010»

A Hoare Calculus for Graph Programs

15 years 7 months ago

Download www-users.cs.york.ac.uk

el of abstraction). Refereed Conference and Workshop Papers

Christopher M. Poskitt, Detlef Plump

claim paper

Read More »

153

click to vote

ANCS
2010
ACM

161views Computer Networks» more ANCS 2010»

Chimpp: a click-based programming and simulation environment for reconfigurable networking hardware

15 years 4 months ago

Download www.hpl.hp.com

Erik Rubow, Rick McGeer, Jeffrey C. Mogul, Amin Va...

claim paper

Read More »

132

click to vote

IPPS
2010
IEEE

161views Distributed And Parallel Com...» more IPPS 2010»

Optimal loop unrolling for GPGPU programs

15 years 4 months ago

Download etd.ohiolink.edu

Giridhar Sreenivasa Murthy, Mahesh Ravishankar, Mu...

claim paper

Read More »

168

click to vote

IWPEC
2010
Springer

210views Applied Computing» more IWPEC 2010»

Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming

15 years 4 months ago

Download www.kr.tuwien.ac.at

Gregory Gutin, Eun Jung Kim, Arezou Soleimanfallah...

claim paper

Read More »

148

click to vote

CONSTRAINTS
2011

200views Applied Computing» more CONSTRAINTS 2011»

Formal languages for integer programming modeling of shift scheduling problems

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers