1870 search results - page 226 / 374 » Abstract And-Parallel Machines |
DATE
2009
IEEE
14 years 3 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...
TOOLS
2009
IEEE
14 years 3 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...
ICPPW
2009
IEEE
14 years 3 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...
LICS
2009
IEEE
14 years 2 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. ...
ACG
2009
Springer
14 years 2 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 ...