Sciweavers

404 search results - page 22 / 81
» Analysis methods to support design for damping
Sort
View
CGF
2011
14 years 3 months ago
Exploring Collections of Tagged Text for Literary Scholarship
Modern literary scholars must combine access to vast collections of text with the traditional close analysis of their field. In this paper, we discuss the design and development ...
M. Correll, M. Witmore, M. Gleicher
ZUM
1997
Springer
125views Formal Methods» more  ZUM 1997»
15 years 3 months ago
A Formal OO Method Inspired by Fusion and Object-Z
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...
Klaus Achatz, Wolfram Schulte
SIGGRAPH
1991
ACM
15 years 3 months ago
Deformable curve and surface finite-elements for free-form shape design
The finite element method is applied to generate primitives that build continuous deformable shapes designed to support a new free-form modeling paradigm. The primitives autonomou...
George Celniker, Dave Gossard
BMCBI
2005
107views more  BMCBI 2005»
14 years 11 months ago
ProbeMaker: an extensible framework for design of sets of oligonucleotide probes
Background: Procedures for genetic analyses based on oligonucleotide probes are powerful tools that can allow highly parallel investigations of genetic material. Such procedures r...
Johan Stenberg, Mats Nilsson, Ulf Landegren
SC
2009
ACM
15 years 4 months ago
A framework for core-level modeling and design of reconfigurable computing algorithms
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...
Gongyu Wang, Greg Stitt, Herman Lam, Alan D. Georg...