3457 search results - page 120 / 692 » A Symbol Is Not a Symbol |
119
click to vote
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
101
Voted
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...
115
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
107
click to vote
ICCD
1995
IEEE
15 years 4 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
98
Voted
CORR
2007
Springer
15 years 22 days ago
2007
Springer
—Distributed orthogonal space–time block codes (DOSTBCs) achieving full-diversity order and single-symbol maximum-likelihood (ML) decodability have been introduced recently by ...