1176 search results - page 123 / 236 » Implicit Abstraction Heuristics |
120
Voted
HIPEAC
2007
Springer
15 years 6 months 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...
106
Voted
ISI
2007
Springer
15 years 6 months 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...
105
Voted
MLMI
2007
Springer
15 years 6 months 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...
125
Voted
RTA
2007
Springer
15 years 6 months 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. ...
108
Voted
TACAS
2007
Springer
15 years 6 months 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...