393 search results - page 18 / 79 » Physical design: mathematical models and methods |
CSEE
2000
Springer
14 years 2 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
C5
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper explores ways by which multiple authors can annotate 3D models from multiple viewpoints in a 3D collaborative environment, with particular reference to the environment ...
TVLSI
2011
13 years 4 months ago
2011
—Communication costs, which have the potential to throttle design performance as scaling continues, are mathematically modeled and compared for various pipeline methodologies. Fi...
ZUM
1997
Springer
14 years 2 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
BMCBI
2007
13 years 10 months ago
2007
Background: The problem of protein structure prediction consists of predicting the functional or native structure of a protein given its linear sequence of amino acids. This probl...