465 search results - page 72 / 93 » Supporting Architectural Restructuring by Analyzing Feature ... |
CPAIOR
2004
Springer
15 years 5 months ago
2004
Springer
ng Abstractions for Local Search Pascal Van Hentenryck1 and Laurent Michel2 1 Brown University, Box 1910, Providence, RI 02912 2 University of Connecticut, Storrs, CT 06269-3155 Ab...
123
click to vote
SIGIR
2010
ACM
15 years 3 months ago
2010
ACM
Music information retrieval (MIR) holds great promise as a technology for managing large music archives. One of the key components of MIR that has been actively researched into is...
158
click to vote
DAC
2003
ACM
15 years 5 months ago
2003
ACM
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
SOSP
2003
ACM
15 years 8 months ago
2003
ACM
Diagnosing faults in the Internet is arduous and time-consuming, in part because the network is composed of diverse components spread across many administrative domains. We consid...
126
click to vote
FASE
2006
Springer
15 years 3 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...