5562 search results - page 310 / 1113 » Implementing Parallel Cell-DEVS |
144
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
145
click to vote
3DIM
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper describes a parallel implementation developed to improve the time performance of the Iterative Closest Point Algorithm. Within each iteration, the correspondence calcul...
134
click to vote
VLDB
1991
ACM
15 years 8 months ago
1991
ACM
During the past few years, hypermedia systems have emerged as an essential component of many application domains ranging from software engineering to library information systems. ...
157
Voted
FSE
2008
Springer
15 years 6 months ago
2008
Springer
Hash functions are an important building block in almost all security applications. In the past few years, there have been major advances in the cryptanalysis of hash functions, es...
137
Voted
LREC
2008
15 years 6 months ago
2008
Discourse structure and coherence relations are one of the main inferential challenges addressed by computational pragmatics. The present study focuses on discourse markers as key...