Sciweavers

4761 search results - page 717 / 953
» Generalizing Boundary Points
Sort
View
ISPD
2003
ACM
92views Hardware» more  ISPD 2003»
15 years 9 months ago
Benchmarking for large-scale placement and beyond
Over the last five years the VLSI Placement community achieved great strides in the understanding of placement problems, developed new high-performance algorithms, and achieved i...
Saurabh N. Adya, Mehmet Can Yildiz, Igor L. Markov...
ITICSE
2003
ACM
15 years 9 months ago
Teaching undergraduate software design in a liberal arts environment using RoboCup
Most large research universities include a software design or software development course as a required or elective component of an undergraduate computer science major. For vario...
Timothy Huang, Frank Swenton
MM
2003
ACM
135views Multimedia» more  MM 2003»
15 years 9 months ago
Detail-on-demand hypervideo
We demonstrate the use of detail-on-demand hypervideo in interactive training and video summarization. Detail-on-demand video allows viewers to watch short video segments and to f...
John Doherty, Andreas Girgensohn, Jonathan Helfman...
PLDI
2003
ACM
15 years 9 months ago
A static analyzer for large safety-critical software
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
Bruno Blanchet, Patrick Cousot, Radhia Cousot, J&e...
SIGUCCS
2003
ACM
15 years 9 months ago
Instructional support at small universities: a training perspective
This paper intends to present the challenges and opportunities encountered in technology training at small institutions using Trinity University as a case in point. During the cou...
Vidya Ananthanarayanan, Judith Reiffert