Sciweavers

51 search results - page 8 / 11
» Investigating the Impact of Active Guidance on Design Inspec...
Sort
View
ICPP
2007
IEEE
14 years 1 months ago
Fault-Driven Re-Scheduling For Improving System-level Fault Resilience
The productivity of HPC system is determined not only by their performance, but also by their reliability. The conventional method to limit the impact of failures is checkpointing...
Yawei Li, Prashasta Gujrati, Zhiling Lan, Xian-He ...
SAFECOMP
1998
Springer
13 years 12 months ago
An Agenda for Specifying Software Components with Complex Data Models
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
Kirsten Winter, Thomas Santen, Maritta Heisel
CHI
2006
ACM
14 years 8 months ago
Chick clique: persuasive technology to motivate teenage girls to exercise
We are developing a preventative health cell phone application that helps motivate teenage girls to exercise by exploiting their social desire to stay connected with their peers. ...
Tammy Toscos, Anne M. Faber, Shunying An, Mona Pra...
ACCV
2010
Springer
13 years 2 months ago
On the Use of Implicit Shape Models for Recognition of Object Categories in 3D Data
The ability of recognizing object categories in 3D data is still an underdeveloped topic. This paper investigates on adopting Implicit Shape Models (ISMs) for 3D categorization, th...
Samuele Salti, Federico Tombari, Luigi di Stefano
PAM
2010
Springer
14 years 2 months ago
Yes, We LEDBAT: Playing with the New BitTorrent Congestion Control Algorithm
Since December 2008, the official BitTorrent client is using a new congestion-control protocol for data transfer, implemented at the application layer and built over UDP at the tr...
Dario Rossi, Claudio Testa, Silvio Valenti