13383 search results - page 2455 / 2677 » Abstractions from proofs |
133
Voted
MICRO
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...
137
Voted
NOCS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--The high-performance computing domain is enriching with the inclusion of Networks-on-chip (NoCs) as a key component of many-core (CMPs or MPSoCs) architectures. NoCs face...
141
Voted
VTC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In this paper we analyze the energy-efficiency of distributed compression and its dependence on the node deployment strategies for Wireless Sensor Networks (WSNs). Reduce...
149
Voted
DAGM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Guided Kanade-Lucas-Tomasi (GKLT) tracking is a suitable way to incorporate knowledge about camera parameters into the standard KLT tracking approach for feature tracking...
163
click to vote
FOMI
2009
15 years 1 months ago
2009
Abstract. The paper presents the preliminary version of Ontobella - a domain ontology of beliefs. The philosophical assumptions of this system are taken from the philosophy of Roma...