3457 search results - page 61 / 692 » A Symbol Is Not a Symbol |
109
click to vote
WEA
2005
Springer
15 years 6 months ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
94
Voted
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
124
Voted
GLOBECOM
2009
IEEE
15 years 7 months ago
2009
IEEE
—We present and analyze a joint source-channel coding strategy for the transmission of a Gaussian source across a Gaussian channel in n channel uses per source symbol. Among all ...
ESANN
2008
15 years 2 months ago
2008
In this paper we propose an extension of sequence kernels to the case where the symbols that define the sequences have multiple representations. This configuration occurs in natura...
189
click to vote
IASTEDSE
2004
15 years 2 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...