3342 search results - page 181 / 669 » Automating Abstract Interpretation |
154
click to vote
DAC
2003
ACM
15 years 4 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...
101
click to vote
MICCAI
2004
Springer
16 years 7 days ago
2004
Springer
To better understand the development and function of the mammalian brain, researchers have begun to systematically collect a large number of gene expression patterns throughout the...
MICCAI
2005
Springer
16 years 7 days ago
2005
Springer
Associating speci c gene activity with speci c functional locations in the brain anatomy results in a greater understanding of the role of the gene's products. To perform such...
109
click to vote
LOPSTR
1992
Springer
15 years 3 months ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...
GIS
2009
ACM
15 years 2 months ago
2009
ACM
Geospatial information (GI) constitutes a significant portion of available data and are a key factor in planning and decision-making in a variety of domains,such as emergency man...