5171 search results - page 254 / 1035 » Deterministic Parallel Processing |
112
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
111
Voted
FAC
1998
15 years 2 months ago
1998
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...
115
Voted
DAC
2007
ACM
16 years 3 months ago
2007
ACM
The inherent limitations of embedded systems make them particularly vulnerable to attacks. We have developed a hardware monitor that operates in parallel to the embedded processor...
126
click to vote
ICPR
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents a new GPU-based tensor voting implementation which achieves significant performance improvement over the conventional CPU-based implementation. Although the t...
121
Voted
EGPGV
2004
Springer
15 years 8 months ago
2004
Springer
Data coming from complex simulation models reach easily dimensions much greater than available computational resources. Visualization of such data still represents the most intuit...