977 search results - page 195 / 196 » Formal methods integration in software engineering |
164
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Many bioinformatics analyses, ranging from gene clustering to phylogenetics, produce hierarchical trees as their main result. These are used to represent the relations...
129
click to vote
VRST
2009
ACM
15 years 10 months ago
2009
ACM
The display units integrated in todays head-mounted displays (HMDs) provide only a limited field of view (FOV) to the virtual world. In order to present an undistorted view to th...
152
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Power leakage constitutes an increasing fraction of the total power consumption in modern semiconductor technologies. Recent research efforts have tried to integrate architecture...
127
click to vote
GLVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
FPGAs, because of their re-programmability, are becoming very popular for creating and exchanging VLSI intellectual properties (IPs) in the reuse-based design paradigm. Existing w...
165
click to vote
SBIA
1995
Springer
15 years 7 months ago
1995
Springer
ion Framework for Compositional Modeling 36 Diane Chi and Yumi Iwasaki Model Decomposition and Simulation 45 Daniel J. Clancy and Benjamin Kuipers A Distance Measure for Attention ...