Sciweavers

1518 search results - page 279 / 304
» Cryptographic Test Correction
Sort
View
PLDI
2010
ACM
15 years 5 months ago
Line-up: a complete and automatic linearizability checker
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
Sebastian Burckhardt, Chris Dern, Madanlal Musuvat...
120
Voted
ICPPW
2002
IEEE
15 years 5 months ago
SNOW: Software Systems for Process Migration in High-Performance, Heterogeneous Distributed Environments
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
Kasidit Chanchio, Xian-He Sun
87
Voted
ICSE
2010
IEEE-ACM
15 years 5 months ago
Adaptive bug isolation
Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However, most software is most...
Piramanayagam Arumuga Nainar, Ben Liblit
AIPR
2000
IEEE
15 years 4 months ago
Moving Object Tracking in Video
The advance of technology makes video acquisition devices better and less costly, thereby increasing the number of applications that can effectively utilize digital video. Compare...
Yiwei Wang, John F. Doherty, Robert E. Van Dyck
71
Voted
SIGUCCS
2000
ACM
15 years 4 months ago
Three Years in the Solution Center
After thirty-plus years of making small “mid-course corrections” types of changes to the support paradigm, many on the Iowa State University campus thought it was time to make...
Frank Poduska