Search Sciweavers | Sciweavers

10271 search results - page 84 / 2055

» Computer Science

152

Voted

SPIN
2009
Springer

99views Theoretical Computer Science» more SPIN 2009»

EMMA: Explicit Model Checking Manager (Tool Presentation)

16 years 1 months ago

Download www.fi.muni.cz

Radek Pelánek, Václav Rosecký

claim paper

Read More »

121

click to vote

ACMSE
2009
ACM

130views Theoretical Computer Science» more ACMSE 2009»

Model-based software design tools for the cell processor

16 years 1 months ago

Download etd.library.vanderbilt.edu

Nicholas Lowell

claim paper

Read More »

113

click to vote

ITICSE
2009
ACM

103views Theoretical Computer Science» more ITICSE 2009»

Introducing abstraction and decomposition to novice programmers

16 years 1 months ago

Download www.andrew.cmu.edu

Raja Sooriamurthi

claim paper

Read More »

130

click to vote

ITICSE
2009
ACM

110views Theoretical Computer Science» more ITICSE 2009»

Virtualizing office hours in CS 50

16 years 1 months ago

Download www.cs.harvard.edu

David J. Malan

claim paper

Read More »

142

click to vote

ACSC
2008
IEEE

100views Theoretical Computer Science» more ACSC 2008»

Experiments in the dynamics of phase coupled oscillators when applied to graph colouring

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers