4799 search results - page 877 / 960 » Model Based Requirements Engineering for Embedded Software |
122
click to vote
CGO
2007
IEEE
15 years 7 months ago
2007
IEEE
Dynamic predication has been proposed to reduce the branch misprediction penalty due to hard-to-predict branch instructions. A recently proposed dynamic predication architecture, ...
121
Voted
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Lean buffering is the smallest buffer capacity, which is necessary and sufficient to ensure the desired production rate of a manufacturing system. Literature offers methods for des...
167
click to vote
CAL
2010
14 years 11 months ago
2010
Memory models like SC, TSO, and PC enforce load-load ordering, requiring that loads from any single thread appear to occur in program order to all other threads. Out-of-order execu...
153
click to vote
SIAMCO
2011
14 years 10 months ago
2011
The choice of admissible trading strategies in mathematical modelling of financial markets is a delicate issue, going back to Harrison and Kreps [HK79]. In the context of optimal...
121
Voted
KBSE
2002
IEEE
15 years 7 months ago
2002
IEEE
Commercial tools are heavily used, relatively cheap, well maintained, and provide powerful functionalities. However, composing these tools in order to build larger applications ra...