1987 search results - page 268 / 398 » Structural Model: Architecture for Software Designers |
127
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we present a design space exploration flow to achieve energy efficiency for streaming applications on MPSoCs while meeting the specified throughput constraints. The ...
127
click to vote
ISCA
2010
IEEE
15 years 9 months ago
2010
IEEE
Fault tolerance is now a primary design constraint for all major microprocessors. One step in determining a processor’s compliance to its failure rate target is measuring the Ar...
130
click to vote
IUI
2003
ACM
15 years 9 months ago
2003
ACM
We present a probabilistic model, based on Dynamic Decision Networks, to assess user affect from possible causes of emotional arousal. The model relies on the OCC cognitive theory...
174
click to vote
DIGRA
2005
Springer
15 years 10 months ago
2005
Springer
Building on the work of games theorists and virtual world designers, this paper proposes a framework for understanding the real-virtual dichotomy in terms of a series of five fram...
174
click to vote
VLSID
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...