Sciweavers

3410 search results - page 277 / 682
» Measuring Model Transformation in Model Driven Development
Sort
View
DAC
2007
ACM
15 years 10 months ago
Verification Methodologies in a TLM-to-RTL Design Flow
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...
Atsushi Kasuya, Tesh Tesfaye
ICMENS
2005
IEEE
120views Hardware» more  ICMENS 2005»
16 years 6 days ago
Nonlinear Dynamics in Nanomechanical Oscillators
Abstract— In the present work we investigate nonlinear dynamics in a nanomechanical doubly clamped beam made of PdAu fabricated using bulk nanomachining and e-beam lithography. T...
Stav Zaitsev, Ronen Almog, Oleg Shtempluck, Eyal B...
ICNC
2005
Springer
16 years 4 days ago
Visual Search for Object Features
In this work we present the computational algorithm that combines perceptual and cognitive information during the visual search for object features. The algorithm is initially driv...
Predrag Neskovic, Leon N. Cooper
FAC
2006
104views more  FAC 2006»
15 years 6 months ago
Angelic nondeterminism in the unifying theories of programming
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...
Ana Cavalcanti, Jim Woodcock, Steve Dunne
DEXAW
2010
IEEE
196views Database» more  DEXAW 2010»
15 years 6 months ago
Direct Optimization of Evaluation Measures in Learning to Rank Using Particle Swarm
— One of the central issues in Learning to Rank (L2R) for Information Retrieval is to develop algorithms that construct ranking models by directly optimizing evaluation measures ...
Ósscar Alejo, Juan M. Fernández-Luna...