Sciweavers

3686 search results - page 62 / 738
» Comprehensive comprehensions
Sort
View
PPDP
2000
Springer
13 years 11 months ago
Enhanced sharing analysis techniques: a comprehensive evaluation
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...
Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
ISSS
1995
IEEE
121views Hardware» more  ISSS 1995»
13 years 11 months ago
A comprehensive estimation technique for high-level synthesis
We present an integrated approach aimed at predicting layout area needed to implement a behavioral description for a given performance goal. Our approach is novel because: (1) it ...
Seong Yong Ohm, Fadi J. Kurdahi, Nikil Dutt, Min X...
EURODAC
1994
IEEE
148views VHDL» more  EURODAC 1994»
13 years 11 months ago
System-Level Modeling and Verification: a Comprehensive Design Methodology
Paolo Camurati, Fulvio Corno, Paolo Prinetto, Cath...
SIGGRAPH
1991
ACM
13 years 11 months ago
A comprehensive physical model for light reflection
Xiao D. He, Kenneth E. Torrance, François X...
NSDI
2007
13 years 10 months ago
Friday: Global Comprehension for Distributed Replay
Debugging and profiling large-scale distributed applications is a daunting task. We present Friday, a system for debugging distributed applications that combines deterministic re...
Dennis Geels, Gautam Altekar, Petros Maniatis, Tim...