3463 search results - page 519 / 693 » Modeling and executing master-worker applications in compone... |
199
click to vote
PATMOS
2005
Springer
16 years 16 days ago
2005
Springer
Modern embedded processors use small and simple branch predictors to improve performance. Using complex and accurate branch predictors, while desirable, is not possible as such pre...
181
Voted
AMAST
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
198
Voted
KR
2004
Springer
16 years 12 days ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
184
Voted
WADT
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
211
Voted
DFT
2003
IEEE
16 years 10 days ago
2003
IEEE
Safety-critical embedded systems often operate in harsh environmental conditions that necessitate fault-tolerant computing techniques. Many safety-critical systems also execute re...