2088 search results - page 209 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
172
click to vote
PDP
2006
IEEE
16 years 16 days ago
2006
IEEE
— The Parallel Resource-Optimal (PRO) computation model was introduced by Gebremedhin et al. [2002] as a framework for the design and analysis of efficient parallel algorithms. ...
179
click to vote
AAAI
2006
15 years 8 months ago
2006
I propose that the notion of cognitive state be broadened from the current predicate-symbolic, Language-of-Thought framework to a multi-modal one, where perception and kinesthetic...
260
click to vote
ICDE
2001
IEEE
16 years 7 months ago
2001
IEEE
We propose an extension to current view-based mediator systems called model-based mediation, in which views are defined and executed at the level of conceptual models (CMs) rather...
177
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
221
click to vote
DSD
2010
IEEE
15 years 4 months ago
2010
IEEE
Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible natur...