4299 search results - page 363 / 860 » Concurrent Test Generation |
141
click to vote
AAECC
2002
Springer
15 years 4 months ago
2002
Springer
It is shown that a q-periodic sequence over the finite field Fq passes an extended version of Marsaglia's lattice test for high dimensions if and only if its linear complexity...
189
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
130
click to vote
ASPLOS
2012
ACM
14 years 21 days ago
2012
ACM
Even though most data races are harmless, the harmful ones are at the heart of some of the worst concurrency bugs. Alas, spotting just the harmful data races in programs is like ļ...
147
click to vote
ASPLOS
2012
ACM
14 years 21 days ago
2012
ACM
Numerous tools have been proposed to help developers ļ¬x software errors and ineļ¬ciencies. Widely-used techniques such as memory checking suļ¬er from overheads that limit thei...
134
click to vote
ISCAS
2007
IEEE
15 years 11 months ago
2007
IEEE
āA Built-In Self-Test (BIST) approach for functionality measurements, including noise figure (NF), linearity and frequency response of analog circuitry in mixedsignal systems, is...