2850 search results - page 69 / 570 » On Timed Models and Full Abstraction |
235
click to vote
DAC
2003
ACM
15 years 11 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...
178
click to vote
VLSISP
2002
15 years 5 months ago
2002
Abstract. This paper presents a study of the suitability for FPGA design of full custom based CORDIC implementations. Since all these methods are based on redundant arithmetic, the...
194
click to vote
FIMH
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Recent developments on the 320 multi-detector CT technologies have made the volumetric acquisition of 4D high resolution cardiac images in a single heart beat possible. I...
183
click to vote
CPHYSICS
2007
15 years 6 months ago
2007
Simulation of biomembranes over length and time scales relevant to cellular biology is not currently feasible with molecular dynamics including full atomic detail. Barring an unfo...
166
click to vote
DAGM
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a novel statistical-model-based segmentation algorithm that addresses a recurrent problem in appearance model fitting and model-based segmentation: the "s...