Sciweavers

1362 search results - page 174 / 273
» The Projection of Systolic Programs
Sort
View
SIGCSE
2009
ACM
189views Education» more  SIGCSE 2009»
16 years 5 months ago
QuickDraw: bringing graphics into first year
This paper describes a new tool for introducing computer graphics and multimedia applications into first year, called QuickDraw, and our experience using it. QuickDraw provides an...
Ben Stephenson, Craig Taube-Schock
152
Voted
CHI
2005
ACM
16 years 4 months ago
EyeDraw: enabling children with severe motor impairments to draw with their eyes
EyeDraw is a software program that, when run on a computer with an eye tracking device, enables children with severe motor disabilities to draw pictures by just moving their eyes....
Anthony J. Hornof, Anna Cavender
ICSE
2007
IEEE-ACM
16 years 4 months ago
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
Patrice Chalin
138
Voted
ICSE
2007
IEEE-ACM
16 years 4 months ago
Reconceptualizing a Family of Heterogeneous Embedded Systems via Explicit Architectural Support
It has been widely advocated that software architecture an effective set of abstractions for engineering (families of) complex software systems. However, architectural concepts ar...
Sam Malek, Chiyoung Seo, Sharmila Ravula, Brad Pet...
SIGCSE
2010
ACM
182views Education» more  SIGCSE 2010»
15 years 11 months ago
Frances: a tool for understanding code generation
Compiler and programming language implementation courses are integral parts of many computer science curricula. However, the range of topics necessary to teach in such a course ar...
Tyler Sondag, Kian L. Pokorny, Hridesh Rajan