Search Sciweavers | Sciweavers

17920 search results - page 110 / 3584

» Recentering computer science

116

Voted

SPIN
2009
Springer

99views Theoretical Computer Science» more SPIN 2009»

EMMA: Explicit Model Checking Manager (Tool Presentation)

15 years 10 months ago

Download www.fi.muni.cz

Radek Pelánek, Václav Rosecký

claim paper

Read More »

click to vote

ACMSE
2009
ACM

130views Theoretical Computer Science» more ACMSE 2009»

Model-based software design tools for the cell processor

15 years 10 months ago

Download etd.library.vanderbilt.edu

Nicholas Lowell

claim paper

Read More »

click to vote

ITICSE
2009
ACM

103views Theoretical Computer Science» more ITICSE 2009»

Introducing abstraction and decomposition to novice programmers

15 years 10 months ago

Download www.andrew.cmu.edu

Raja Sooriamurthi

claim paper

Read More »

103

click to vote

ITICSE
2009
ACM

110views Theoretical Computer Science» more ITICSE 2009»

Virtualizing office hours in CS 50

15 years 10 months ago

Download www.cs.harvard.edu

David J. Malan

claim paper

Read More »

109

Voted

ACSC
2008
IEEE

100views Theoretical Computer Science» more ACSC 2008»

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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers