Sciweavers

1760 search results - page 99 / 352
» A System to Mark Programs Automatically
Sort
View
IPPS
2003
IEEE
15 years 5 months ago
Automatic Resource Management Using an Adaptive Parallelism Environment
The Adaptive Parallelism Environment is introduced as a means of effectively utilizing MPP processing resources in a multi-programmed MIMD or distributed system. It achieves this...
David Wangerin, Isaac D. Scherson
ICIP
2004
IEEE
16 years 1 months ago
Towards computer-assisted photo-identification of humpback whales
This paper describes current work on a photo-id system for humpback whales. Individuals of this species can be uniquely identified by the light and dark pigmentation patches on th...
Elena Ranguelova, Mark J. Huiskes, Eric J. Pauwels
IJCAI
2007
15 years 1 months ago
Representations for Action Selection Learning from Real-Time Observation of Task Experts
The association of perception and action is key to learning by observation in general, and to programlevel task imitation in particular. The question is how to structure this info...
Mark A. Wood, Joanna Bryson
SOSP
2007
ACM
15 years 8 months ago
MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...
Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weiha...
NDSS
2008
IEEE
15 years 6 months ago
Automatic Network Protocol Analysis
Protocol reverse engineering is the process of extracting application-level specifications for network protocols. Such specifications are very helpful in a number of security-re...
Gilbert Wondracek, Paolo Milani Comparetti, Christ...