Sciweavers

694 search results - page 42 / 139
» Overcoming Challenges of Maturity
Sort
View
122
Voted
EMSOFT
2004
Springer
15 years 7 months ago
A methodology for generating verified combinatorial circuits
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
Oleg Kiselyov, Kedar N. Swadi, Walid Taha
128
Voted
CORR
2010
Springer
82views Education» more  CORR 2010»
15 years 3 months ago
Secret Sharing and Proactive Renewal of Shares in Hierarchical Groups
Secret sharing in user hierarchy represents a challenging area for research. Although a lot of work has already been done in this direction, this paper presents a novel approach t...
Ruchira Naskar, Indranil Sengupta
177
Voted
PAMI
2011
14 years 10 months ago
Topology-Adaptive Mesh Deformation for Surface Evolution, Morphing, and Multiview Reconstruction
—Triangulated meshes have become ubiquitous discrete surface representations. In this paper, we address the problem of how to maintain the manifold properties of a surface while ...
Andrei Zaharescu, Edmond Boyer, Radu Horaud
100
Voted
CHI
2010
ACM
15 years 10 months ago
Bridging the gap: moving from contextual analysis to design
A typical product development lifecycle for interactive systems starts with contextual analysis to guide system design. The challenge however is in transitioning from findings abo...
Tejinder K. Judge, Carman Neustaedter, Anthony Tan...
104
Voted
SCAM
2006
IEEE
15 years 9 months ago
Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation
This paper addresses the question: “How can animated visualisation be used to express interesting properties of static analysis?” The particular focus is upon static dependenc...
David Binkley, Mark Harman, Jens Krinke