Search Sciweavers | Sciweavers

3330 search results - page 16 / 666

» software 2010

118

click to vote

FTTCS
2010

138views Software Engineering» more FTTCS 2010»

Arithmetic Circuits: A survey of recent results and open questions

15 years 1 months ago

Download www.cs.technion.ac.il

Amir Shpilka, Amir Yehudayoff

claim paper

Read More »

118

Voted

CROSSROADS
2010

143views Software Engineering» more CROSSROADS 2010»

My new PC is a mobile phone

15 years 16 days ago

Download macs2.psychologie.hu-berlin.de

Patrick Baudisch, Christian Holz

claim paper

Read More »

117

click to vote

AMAST
2010
Springer

209views Software Engineering» more AMAST 2010»

Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra

14 years 11 months ago

Download mpc2010.fsg.ulaval.ca

Claude Bolduc, Béchir Ktari

claim paper

Read More »

115

Voted

SIGSOFT
2010
ACM

145views Software Engineering» more SIGSOFT 2010»

The case for end-user programming of ubiquitous computing environments

14 years 10 months ago

Download mpc.ece.utexas.edu

Seth Holloway, Christine Julien

claim paper

Read More »

129

click to vote

SOCO
2010
Springer

130views Software Engineering» more SOCO 2010»

Commutative bounded integral residuated orthomodular lattices are Boolean algebras

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers