1204 search results - page 153 / 241 » Parallel concurrent ML |
118
Voted
ICPADS
1998
IEEE
15 years 7 months ago
1998
IEEE
With respect to scalability and arbitrary topologies of the underlying networks in multiprogramming and multithread environment, fault tolerance in acknowledged ATAB and concurren...
111
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract. While standard processors achieve supercomputer performance, a performance gap exists between the interconnect of MPP's and COTS. Standard solutions like Ethernet ca...
147
Voted
REX
1991
15 years 7 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
155
Voted
ASAP
2008
IEEE
15 years 5 months ago
2008
IEEE
Arithmetic coding is an efficient entropy compression method that achieves results close to the entropy limit and it is used in modern standards such as JPEG-2000 and H.264. Arith...
128
Voted
IJCV
2006
15 years 3 months ago
2006
Standard approaches to stereo correspondence have difficulty when scene structure does not lie in or near the frontal parallel plane, in part because an orientation disparity as we...