2838 search results - page 261 / 568 » Verifying Controlled Components |
107
Voted
ACSD
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper describes a new target component set and synthesis scheme for the Balsa asynchronous hardware description language. This new scheme removes the reliance on precise hands...
114
Voted
OOPSLA
2000
Springer
15 years 4 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
92
Voted
ACSD
2010
IEEE
14 years 11 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
96
Voted
HPCA
2004
IEEE
16 years 1 months ago
2004
IEEE
Branch misprediction penalty consists of two components: the time wasted on mis-speculative execution until the mispredicted branch is resolved and the time to restart the pipelin...
120
click to vote
HPDC
2005
IEEE
2005
IEEE
Increasing application performance in virtual environments through run-time inference and adaptation
15 years 6 months ago
Virtual machine distributed computing greatly simplifies the use of widespread computing resources by lowering the abstraction, benefiting both resource providers and users. Tow...