Sciweavers

70 search results - page 8 / 14
» re 2002
Sort
View
RE
2002
Springer
13 years 6 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
ISCAS
2002
IEEE
141views Hardware» more  ISCAS 2002»
13 years 11 months ago
Power characterization of digital filters implemented on FPGA
The evaluation of power consumption in complex digital systems is a hard task that normally requires long simulation time and complicated models. In this work, we obtain power con...
Gian-Carlo Cardarilli, Andrea Del Re, Alberto Nann...
MVA
2002
102views Computer Vision» more  MVA 2002»
13 years 6 months ago
Determining Shapes of Transparent Objects from Two Polarization Images
In the eld of computer vision, bene cial methods of measuring surface shape of transparent objects such as glasses have rarely been proposed. In this paper, we propose a convenien...
Daisuke Miyazaki, Masataka Kagesawa, Katsushi Ikeu...
RE
2002
Springer
13 years 6 months ago
Exploring the Relationship between Project Selection and Requirements Analysis: An Empirical Study of the New Millennium Program
The relationship between project selection and requirements analysis is important, yet has not received much attention. The decisions made during project selection directly affect...
Mark Bergman, Gloria Mark
CLUSTER
2002
IEEE
13 years 6 months ago
Adaptive System Sensitive Partitioning of AMR Applications on Heterogeneous Clusters
This paper presents the design and evaluation of an adaptive system sensitive partitioning and load balancing framework for distributed adaptive mesh re nement applications on het...
Shweta Sinha, Manish Parashar