4820 search results - page 165 / 964 » Implementing Signatures for C |
117
click to vote
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...
126
click to vote
PPOPP
2010
ACM
16 years 11 days ago
2010
ACM
LOFAR is the first of a new generation of radio telescopes. Rather than using expensive dishes, it forms a distributed sensor network that combines the signals from many thousands...
122
click to vote
APSCC
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper presents a method of integration and implementation of transmitting video and audio data from multiple Internet Protocol (IP) surveillance cameras in a wireless sens...
118
click to vote
BIBM
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we present an algorithm to simultaneously align three biological sequences with affine gap model and infer their common ancestral sequence. Our algorithm can be fu...
139
click to vote
IEEEPACT
2006
IEEE
15 years 9 months ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....