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
-
41
-
42by Chen, Jun“...Testing concurrent programs remains a difficult task due to the non-deterministic nature...”
Published 2009
Get full text
-
43by Chen, Jun“...Testing concurrent programs remains a difficult task due to the non-deterministic nature...”
Published 2009
Get full text
-
44by Lam, Patrick, 1977-“... concurrent program because they cannot take full advantage of the concurrent structure of the program...”
Published 2000
Get full text
Others -
45“...碩士 === 國立交通大學 === 資訊工程研究所 === 81 === The validation process of a concurrent program...”
Get full text
Others -
46“...博士 === 國立交通大學 === 資訊科學研究所 === 79 === A concurrent program consists of concurrent synchronized task...”
Get full text
Others -
47by LIANDER MILLAN FERNANDEZ“... environments. Although many models and libraries have been developed to offer support for concurrent...”
Published 2017
Get full text
Get full text
Get full text
-
48
-
49
-
50
-
51by Lam, Patrick“... concurrent program because they cannot take full advantage of the concurrent structure of the program...”
Published 2016
Get full text
Others -
52by Diaz, Silvia Margarita DiazSubjects: “...Concurrent programs...”
Published 2019
Get full text
Others -
53by Roopsha Samanta“...We present a framework that takes a concurrent program composed of unsynchronized processes, along...”
Published 2012-07-01
Get full text
Article -
54“... on Concurrent Programming technique. General orthogonal transformations are analysed through the stochastic...”
Get full text
Article -
55by Ngo, Tuan-Phong“... in concurrent program design. In this thesis, we present, for the first time, a tool for automatic fence...”
Published 2013
Get full text
Others -
56by Best, Eike“... for "backtrack" programs which are claimed to be, in effect, simple concurrent programs. We also study...”
Published 1981
Get full text
-
57by Zakeryfar, Maryam“... executing it. There has been much research in the static analysis of concurrent programs. However, very...”
Published 2014
Get full text
Get full text
Others -
58
-
59
-
60“... and verify concurrent programs with the model checker SPIN. First, we use SPIN to find subtle...”
Get full text
Others