Sciweavers

118 search results - page 13 / 24
» On Some Complementary Trends in Model Transformation Generat...
Sort
View
ACSAC
2010
IEEE
14 years 8 months ago
Conficker and beyond: a large-scale empirical study
Conficker [26] is the most recent widespread, well-known worm/bot. According to several reports [16, 28], it has infected about 7 million to 15 million hosts and the victims are s...
Seungwon Shin, Guofei Gu
MICCAI
2009
Springer
15 years 5 months ago
On the Manifold Structure of the Space of Brain Images
This paper investigates an approach to model the space of brain images through a low-dimensional manifold. A data driven method to learn a manifold from a collections of brain imag...
Samuel Gerber, Tolga Tasdizen, Sarang C. Joshi, Ro...
ASPDAC
2007
ACM
82views Hardware» more  ASPDAC 2007»
15 years 2 months ago
Efficient BMC for Multi-Clock Systems with Clocked Specifications
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
Malay K. Ganai, Aarti Gupta
WSC
2007
15 years 8 days ago
Fundamentals of simulation modeling
We start with basic terminology and concepts of modeling, and decompose the art of modeling as a process. This overview of the process helps clarify when we should or should not u...
Paul J. Sánchez
CONSTRAINTS
2007
112views more  CONSTRAINTS 2007»
14 years 10 months ago
Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...
Francisco Azevedo