Sciweavers

734 search results - page 140 / 147
» Prototyping a Process Monitoring Experiment
Sort
View
148
Voted
MOBISYS
2004
ACM
16 years 2 months ago
A Mechanism for Host Mobility Management supporting Application Awareness
Many approaches exist today that address the issues that arise when a mobile node changes its point(s) of attachment to the Internet. Mobile IP takes care of host mobility at the ...
Arjan J. H. Peddemors, Hans Zandbelt, Mortaza S. B...
120
Voted
POPL
2010
ACM
16 years 19 hour ago
Dependent Types from Counterexamples
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
Tachio Terauchi
142
Voted
ICCD
2008
IEEE
221views Hardware» more  ICCD 2008»
15 years 11 months ago
Reversi: Post-silicon validation system for modern microprocessors
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...
Ilya Wagner, Valeria Bertacco
112
Voted
INFOCOM
2008
IEEE
15 years 9 months ago
FLoD: A Framework for Peer-to-Peer 3D Streaming
—Interactive 3D content on Internet has yet become popular due to its typically large volume and the limited network bandwidth. Progressive content transmission, or 3D streaming,...
Shun-Yun Hu, Ting-Hao Huang, Shao-Chen Chang, Wei-...
110
Voted
CCGRID
2007
IEEE
15 years 9 months ago
Exploiting Lustre File Joining for Effective Collective IO
Lustre is a parallel file system that presents high aggregated IO bandwidth by striping file extents across many storage devices. However, our experiments indicate excessively wid...
Weikuan Yu, Jeffrey S. Vetter, Shane Canon, Song J...