Sciweavers

2609 search results - page 290 / 522
» Models for Global Constraint Applications
Sort
View
CODES
2008
IEEE
15 years 6 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
150
Voted
MODELLIERUNG
2008
15 years 6 months ago
Modelling Security Goals in Business Processes
: Various types of security goals, such as authentication or confidentiality, can be defined as policies for process-aware information systems, typically in a manual fashion. There...
Christian Wolter, Michael Menzel, Christoph Meinel
99
Voted
CSDA
2006
84views more  CSDA 2006»
15 years 4 months ago
Extremal financial risk models and portfolio evaluation
It is difficult to find an existing single model which is able to simultaneously model exceedances over thresholds in multivariate financial time series. A new modeling approach, ...
Zhengjun Zhang, James Huang
ECCV
2000
Springer
16 years 6 months ago
A Physically-Based Statistical Deformable Model for Brain Image Analysis
A probabilistic deformable model for the representation of brain structures is described. The statistically learned deformable model represents the relative location of head (skull...
Christophoros Nikou, Fabrice Heitz, Jean-Paul Arms...
131
Voted
ICCAD
2007
IEEE
164views Hardware» more  ICCAD 2007»
16 years 1 months ago
Architectural power models for SRAM and CAM structures based on hybrid analytical/empirical techniques
— The need to perform power analysis in the early stages of the design process has become critical as power has become a major design constraint. Embedded and highperformance mic...
Xiaoyao Liang, Kerem Turgay, David Brooks