Sciweavers

2421 search results - page 63 / 485
» Integrity Assurance Technique Using Determinant Approach
Sort
View
112
Voted
ZUM
1994
Springer
147views Formal Methods» more  ZUM 1994»
15 years 4 months ago
Integrating Formal Methods into a Professional Master of Software Engineering Program
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
David Garlan
NDQA
2003
96views Education» more  NDQA 2003»
15 years 1 months ago
A Technique to Resolve Contradictory Answers
With the ever-increasing amount of textual information available, it is becoming increasingly unlikely that a single document will provide the answer to a question. A more likely ...
Catherine Blake
115
Voted
CVPR
2007
IEEE
16 years 2 months ago
Multiview normal field integration using level set methods
In this paper, we propose a new method to integrate multiview normal fields using level sets. In contrast with conventional normal integration algorithms used in shape from shadin...
Ju Yong Chang, Kyoung Mu Lee, Sang Uk Lee
87
Voted
ISLPED
2004
ACM
122views Hardware» more  ISLPED 2004»
15 years 6 months ago
Microarchitectural techniques for power gating of execution units
Leakage power is a major concern in current and future microprocessor designs. In this paper, we explore the potential of architectural techniques to reduce leakage through power-...
Zhigang Hu, Alper Buyuktosunoglu, Viji Srinivasan,...
89
Voted
ISCAS
2007
IEEE
179views Hardware» more  ISCAS 2007»
15 years 6 months ago
Analysis for Signal and Power Integrity Using the Multilayered Finite Difference Method
— We present a method for fast analysis of signal and power integrity based on a recently developed multilayered finite difference method (M-FDM). In order to accurately model m...
Ege Engin, Krishna Bharath, Madhavan Swaminathan