1870 search results - page 226 / 374 » Abstract And-Parallel Machines |
107
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
118
click to vote
TOOLS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
118
click to vote
ICPPW
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Motivated by the increasing heterogeneity and complexity of MPSoC systems, we propose a component-based generic approach for MPSoC observation. We show that components...
113
click to vote
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
113
click to vote
ACG
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Complete tablebases, indicating best moves for every position, exist for chess endgames. There is no doubt that tablebases contain a wealth of knowledge, however, mining ...