Sciweavers

1722 search results - page 151 / 345
» Dedication
Sort
View
DAC
2009
ACM
16 years 4 months ago
Optimal static WCET-aware scratchpad allocation of program code
Caches are notorious for their unpredictability. It is difficult or even impossible to predict if a memory access will result in a definite cache hit or miss. This unpredictabilit...
Heiko Falk, Jan C. Kleinsorge
125
Voted
DAC
2001
ACM
16 years 4 months ago
Factoring and Recognition of Read-Once Functions using Cographs and Normality
An approach for factoring general boolean functions was described in [15, 16] which is based on graph partitioning algorithms. In this paper, we present a very fast algorithm for ...
Martin Charles Golumbic, Aviad Mintz, Udi Rotics
DAC
2006
ACM
16 years 4 months ago
Predicate learning and selective theory deduction for a difference logic solver
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
Chao Wang, Aarti Gupta, Malay K. Ganai
101
Voted
MICCAI
2005
Springer
16 years 4 months ago
Computer-Assisted Ankle Joint Arthroplasty Using Bio-engineered Autografts
Bio-engineered cartilage has made substantial progress over the last years. Preciously few cases, however, are known where patients were actually able to benefit from these develop...
Rudolf Sidler, Wolfgang Köstler, Thibaut Bard...
127
Voted
IPMI
2001
Springer
16 years 4 months ago
Spatio-temporal Covariance Model for Medical Images Sequences: Application to Functional MRI Data
Spatial and temporal correlations which affect the signal measured in functional MRI (fMRI) are usually not considered simultaneously (i.e., as non-independent random processes) in...
Frithjof Kruggel, Habib Benali, Mélanie P&e...