Sciweavers

3108 search results - page 467 / 622
» The Elements of Computer Credibility
Sort
View
DAC
2004
ACM
16 years 7 months ago
Modular scheduling of guarded atomic actions
A modular synthesis flow is essential for a scalable and hierarchical design methodology. This paper considers a particular modular flow where each module has interface methods an...
Daniel L. Rosenband, Arvind
DAC
2005
ACM
16 years 7 months ago
Low power network processor design using clock gating
Abstract-- Network processors (NPs) have emerged as successful platforms to providing both high performance and flexibility in building powerful routers. Typical NPs incorporate mu...
Jia Yu, Jun Yang 0002, Laxmi N. Bhuyan, Yan Luo
MICCAI
2005
Springer
16 years 7 months ago
3D Needle-Tissue Interaction Simulation for Prostate Brachytherapy
This paper presents a needle-tissue interaction model that is a 3D extension of a prior work based on the finite element method. The model is also adapted to accommodate arbitrary ...
Orcun Goksel, S. E. Salcudean, Simon P. DiMaio, Ro...
ISBI
2008
IEEE
16 years 7 months ago
Analysis and mitigation of calcium artifacts in cardiac multidetector CT
Multi-detector Computed Tomography offers the promise of a non-invasive alternative to invasive coronary angiography for the evaluation of coronary artery disease. An impediment p...
Zhuangli Liang, W. Clem Karl, Synho Do, Thomas Bra...
WWW
2009
ACM
16 years 7 months ago
Cascading style sheets: a novel approach towards productive styling with today's standards
In this paper we present an approach of generating Cascading Style Sheet documents automatically if the desired effect on the content elements is specified. While a Web user agent...
Matthias Keller, Martin Nussbaumer