406 search results - page 61 / 82 » Exploring Legacy Systems using Types |
ACL
1994
13 years 9 months ago
1994
We describe an implementation in Carpenter's typed feature formalism, ALE, of a discourse grammar of the kind proposed by Scha, Polanyi, et al. We examine their method for re...
ISPASS
2010
IEEE
14 years 2 months ago
2010
IEEE
After many years of prefetching research, most commercially available systems support only two types of prefetching: software-directed prefetching and hardware-based prefetchers u...
FASE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
AVI
2006
13 years 9 months ago
2006
Heuristic evaluation is a well known discount evaluation technique in HCI but has not been utilized in Information Visualization (InfoVis) to the same extent. While several sets o...
PAMI
2007
13 years 7 months ago
2007
—Time-Correlated Single Photon Counting and Burst Illumination Laser data can be used for range profiling and target classification. In general, the problem is to analyze the res...