Sciweavers

13271 search results - page 275 / 2655
» Computers, Programming, and People
Sort
View
ASPLOS
2004
ACM
16 years 1 days ago
HOIST: a system for automatically deriving static analyzers for embedded systems
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
John Regehr, Alastair Reid

Book
671views
17 years 5 months ago
Introduction to Programming for Image Analysis with VTK
"This book is an edited collection of class handouts that was written for the graduate seminar [Programming for Medical Image Analysis] (ENAS 920a). This class was taught at Y...
Xenophon Papademetris
CHI
2008
ACM
16 years 7 months ago
The effects of semantic grouping on visual search
This paper reports on work-in-progress to better understand how users visually interact with hierarchically organized semantic information. Experimental reaction time and eye move...
Tim Halverson, Anthony J. Hornof