Sciweavers

1106 search results - page 104 / 222
» Software That Can Think and Do
Sort
View
ASPLOS
2006
ACM
15 years 10 months ago
Accurate and efficient filtering for the Intel thread checker race detector
Debugging data races in parallel applications is a difficult task. Error-causing data races may appear to vanish due to changes in an application's optimization level, thread...
Paul Sack, Brian E. Bliss, Zhiqiang Ma, Paul Peter...
MOBISEC
2009
Springer
16 years 29 days ago
Context-Aware Monitoring of Untrusted Mobile Applications
Abstract. Current measures to enhance the security of untrusted mobile applications require a user to trust the software vendor. They do not guarantee complete protection against t...
Andrew Brown, Mark Ryan
NCA
2003
IEEE
15 years 11 months ago
Adaptive Resource Selection for Grid-Enabled Network Services
Due to the popularity of high-speed networks and advances in packaging and interface technologies, there has been significant efforts for providing high performance applications a...
Byoung-Dai Lee, Jon B. Weissman
DATE
2010
IEEE
149views Hardware» more  DATE 2010»
15 years 10 months ago
Efficient decision ordering techniques for SAT-based test generation
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
Mingsong Chen, Xiaoke Qin, Prabhat Mishra
SIGMETRICS
1998
ACM
15 years 10 months ago
Predicting MPEG Execution Times
This paper reports on a set of experiments that measure the amount of CPU processing needed to decode MPEGcompressed video in software. These experiments were designed to discover...
Andy C. Bavier, Allen Brady Montz, Larry L. Peters...