1304 search results - page 191 / 261 » RTOS Modeling for System Level Design |
177
Voted
CC
2008
Springer
15 years 4 months ago
2008
Springer
JIT compilation is a model of execution which translates at run time critical parts of the program to a low level representation. Typically a JIT compiler produces machine code fro...
112
Voted
SP
1997
IEEE
15 years 7 months ago
1997
IEEE
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
136
click to vote
ETRICS
2006
15 years 6 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
118
click to vote
TMC
2008
15 years 2 months ago
2008
Collaborative relays achieve the benefits of spatial diversity without requiring physical antenna arrays at end devices. While many studies have demonstrated its effectiveness in a...
121
Voted
EICS
2009
ACM
15 years 7 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...