Sciweavers

862 search results - page 125 / 173
» A Framework for Testing Peer-to-Peer Systems
Sort
View
MICRO
2002
IEEE
121views Hardware» more  MICRO 2002»
15 years 5 months ago
Convergent scheduling
Convergent scheduling is a general framework for instruction scheduling and cluster assignment for parallel, clustered architectures. A convergent scheduler is composed of many ind...
Walter Lee, Diego Puppin, Shane Swenson, Saman P. ...
SIAMSC
2010
121views more  SIAMSC 2010»
15 years 4 months ago
Extrapolated Implicit-Explicit Time Stepping
This paper constructs extrapolated implicit-explicit time stepping methods that allow one to efficiently solve problems with both stiff and nonstiff components. The proposed meth...
Emil M. Constantinescu, Adrian Sandu
IEEEARES
2009
IEEE
16 years 1 months ago
Capturing Information Flow with Concatenated Dynamic Taint Analysis
Dynamic taint analysis (DTA) is a technique used for tracking information flow by propagating taint propagation across memory locations during program execution. Most implementat...
Hyung Chan Kim, Angelos D. Keromytis, Michael Covi...
KBSE
2007
IEEE
16 years 14 days ago
An automated approach to monitoring and diagnosing requirements
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John M...
CVPR
2008
IEEE
16 years 8 months ago
3D-2D spatiotemporal registration for sports motion analysis
Computer systems are increasingly being used for sports training. Existing sports training systems either require expensive 3D motion capture systems or do not provide intelligent...
Ruixuan Wang, Wee Kheng Leow, Hon Wai Leong