2493 search results - page 423 / 499 » Tool Support for Design by Contract |
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Successful collaborations between New Media Arts and HCI tend to develop hybrid techniques that promote balanced contributions from both disciplines. However, since many of these ...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
We describe a usage study of Netscan\Tech, a system that generates and publishes daily a range of social metrics across three dimensions: newsgroup, author, and thread, for a set ...
VLSID
2002
IEEE
15 years 10 months ago
2002
IEEE
If motion estimation can choose the most suitable algorithm according to the changing characteristics of input image signals, we can get benefits, which improve quality and perfor...
OSDI
2004
ACM
15 years 10 months ago
2004
ACM
FFPF is a network monitoring framework designed for three things: speed (handling high link rates), scalability (ability to handle multiple applications) and flexibility. Multiple...
161
click to vote
SIGMOD
2009
ACM
15 years 10 months ago
2009
ACM
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...