Sciweavers

2292 search results - page 303 / 459
» Structure preserving embedding
Sort
View
SPIN
2010
Springer
15 years 2 months ago
Automatic Generation of Model Checking Scripts Based on Environment Modeling
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
Kenro Yatake, Toshiaki Aoki
FPL
2010
Springer
104views Hardware» more  FPL 2010»
15 years 2 months ago
Multiplicative Square Root Algorithms for FPGAs
Abstract--Most current square root implementations for FPGAs use a digit recurrence algorithm which is well suited to their LUT structure. However, recent computing-oriented FPGAs ...
Florent de Dinechin, Mioara Joldes, Bogdan Pasca, ...
HCSE
2010
15 years 2 months ago
The Secret Lives of Assumptions: Developing and Refining Assumption Personas for Secure System Design
Personas are useful for obtaining an empirically grounded understanding of a secure system's user population, its contexts of use, and possible vulnerabilities and threats end...
Shamal Faily, Ivan Flechais
FOCM
2011
96views more  FOCM 2011»
14 years 8 months ago
Persistent Intersection Homology
The theory of intersection homology was developed to study the singularities of a topologically stratified space. This paper incorporates this theory into the already developed f...
Paul Bendich, John Harer
NAR
2011
193views Computer Vision» more  NAR 2011»
14 years 7 months ago
AREsite: a database for the comprehensive investigation of AU-rich elements
AREsite is an online resource for the detailed investigation of AU-rich elements (ARE) in vertebrate mRNA 30 -untranslated regions (UTRs). AREs are one of the most prominent cis-a...
Andreas R. Gruber, Jörg Fallmann, Franz Krato...