4099 search results - page 690 / 820 » A Framework for Interactive Proof |
159
click to vote
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
149
click to vote
ESTIMEDIA
2009
Springer
15 years 10 months ago
2009
Springer
—We have integrated processing with deterministic and non-deterministic resource usage in an overall application and evaluated its performance on a multi-core processor platform....
129
click to vote
ISAAC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In a multicore transactional memory (TM) system, concurrent execution threads interact and interfere with each other through shared memory. The less interference a progra...
115
click to vote
ISCIS
2009
Springer
15 years 10 months ago
2009
Springer
—In this paper, we combine graph coloring heuristics, namely largest degree and saturation degree with the concept of a heuristic modifier under the framework of squeaky wheel op...
161
click to vote
MATES
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Taxonomies in the area of Multi-Agent Systems (MAS) classify problems according to the underlying principles and assumptions of the agents’ abilities, rationality and i...