Suggested Topics within your search.
Suggested Topics within your search.
Athlete
1
Compression algorithms
1
Compression rates
1
Compression speed
1
Compressors
1
Computer programming
1
Computer science
1
Concurrency
1
Concurrent programming
1
Concurrent programs
1
Concurrents programs
1
Context-sensitive
1
DNA sequences
1
Distributed programming
1
Eccentric
1
Execution sequences
1
FASTQ
1
Gene encoding
1
IEC 61499
1
Lossless
1
Lossless compression
1
Lossless compressor
1
Lossy compressions
1
Model checking
1
Models checking
1
Optimal dynamics
1
Partial order reduction
1
Partial-order reduction
1
Performance
1
Quality control
1
-
141“...碩士 === 國立臺灣師範大學 === 資訊工程研究所 === 97 === Concurrent programs exhibit nondeterministic behavior...”
Get full text
Others -
142“...-memory access and shared semaphore based concurrent program, Java monitor based concurrent programs...”
Get full text
Others -
143by Hendi, Yacoub“...In this paper, we study the problem of parameterized verification of a concurrent program running...”
Published 2021
Get full text
Others -
144“... be predicted, but in the concurrent testing results are always unpredicted. The concurrent program...”
Get full text
Others -
145“... Scheduler, each virtual CPU is asynchronously assigned to a physical CPU, but in the concurrent program...”
Get full text
Others -
146by Zaccone, Luigi“... We propose an approach for reducing the PSO reachability analysis of concurrent programs...”
Published 2021
Get full text
Others -
147“...碩士 === 國立臺灣師範大學 === 資訊工程研究所 === 98 === Concurrent program is becoming commonplace in modern...”
Get full text
Others -
148“... about concurrency bugs in them. However, frequent context switches in concurrent program execution...”
Get full text
Article -
149“... is presented. Futhermore, since one of the major characteristic of concurrent programs...”
Get full text
Others -
150by Gidzinski, Justyna Jay“...A concurrent program, unlike a sequential program, has multiple threads of execution, resulting...”
Published 2007
Get full text
-
151by Gidzinski, Justyna Jay“...A concurrent program, unlike a sequential program, has multiple threads of execution, resulting...”
Published 2007
Get full text
-
152“... systematic measure to solve this problem. If we want to test all execution behaviors of a concurrent program...”
Get full text
Others -
153by Aronis, Stavros“...Stateless model checking is a technique for testing and verifying concurrent programs, based...”
Published 2018
Get full text
Get full text
Doctoral Thesis -
154by Blanchard, Allan“... en fonction du modèle mémoire cible. === Formal verification of concurrent programs is a hard task...”
Published 2016
Get full text
-
155by Ozdemir, Kadir.“... safety properties of finite-state concurrent programs. In this method, a concurrent program is specified...”
Published 2009
Get full text
Get full text
Others -
156“..., concurrent programming primitives are implemented according to the specification of POSIX threads. The second...”
Get full text
Others -
157by Sewry, David Andrew“...A concurrent program is one in which a number of processes are considered to be active...”
Published 1985
Get full text
Others -
158by Morse, Jeremy“... single threaded and concurrent programs, based on the model checker ESBMC. A technique for evaluating LTL...”
Published 2015
Get full text
-
159“...Analyzing the behaviour of a concurrent program is made difficult by the number of possible...”
Get full text
Article -
160“...碩士 === 國立成功大學 === 會計學系碩博士班 === 92 === Reasoning about the correctness of concurrent programs...”
Get full text
Others