1176 search results - page 123 / 236 » Implicit Abstraction Heuristics |
176
click to vote
HIPEAC
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Iterative optimization has become a popular technique to obtain improvements over the default settings in a compiler for performance-critical applications, such as embedd...
179
click to vote
ISI
2007
Springer
16 years 18 days ago
2007
Springer
—A Weblog is a Web site where entries are made in diary style, maintained by its sole author – a blogger, and displayed in a reverse chronological order. Due to the freedom and...
169
click to vote
MLMI
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. In [1], we presented a method for automatic detection of action items from natural conversation. This method relies on supervised classification techniques that are trai...
200
click to vote
RTA
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. This paper investigates an approach to substitution alternative to the implicit treatment of the λ-calculus and the explicit treatment of explicit substitution calculi. ...
180
click to vote
TACAS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...