Sciweavers

11374 search results - page 347 / 2275
» A System Demonstration of ST-TCP
Sort
View
CHI
2004
ACM
16 years 7 months ago
EyeDraw: a system for drawing pictures with the eyes
This paper describes the development of EyeDraw, a software system that enables children with severe motor impairments to draw pictures by just moving their eyes. EyeDraw will hel...
Anthony J. Hornof, Anna Cavender, Rob Hoselton
CHI
2003
ACM
16 years 7 months ago
The kinedit system: affective messages using dynamic texts
Kinetic (dynamic) typography has demonstrated the ability to add significant emotive content and appeal to expressive text, allowing some of the qualities normally found in film a...
Jodi Forlizzi, Johnny C. Lee, Scott E. Hudson
ICSE
2007
IEEE-ACM
16 years 6 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
177
Voted
MOBISYS
2007
ACM
16 years 6 months ago
MyExperience: a system for in situ tracing and capturing of user feedback on mobile phones
This paper presents MyExperience, a system for capturing both objective and subjective in situ data on mobile computing activities. MyExperience combines the following two techniq...
Jon Froehlich, Mike Y. Chen, Sunny Consolvo, Bever...
ICCD
2006
IEEE
117views Hardware» more  ICCD 2006»
16 years 3 months ago
System-Level Energy Modeling for Heterogeneous Reconfigurable Chip Multiprocessors
—Field-Programmable Gate Array (FPGA) technology is characterized by continuous improvements that provide new opportunities in system design. Multiprocessors-ona-Programmable-Chi...
Xiaofang Wang, Sotirios G. Ziavras