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
-
21
-
22by ALEXANDRE RUPERT ARPINI SKYRME“... to the evolution of processors. This new approach brings about an increased interest in concurrent programming...”
Published 2008
Get full text
Get full text
Get full text
-
23by Ian J. Hayes“... of shared-memory concurrent programs. The focus is to provide an abstract specification of a component...”
Published 2018-10-01
Get full text
Article -
24“...We propose a novel, operational framework to formally describe the semantics of concurrent programs...”
Get full text
Article -
25by Lessard, Josh“... and implementation of <em>µ</em>Profiler, which is a profiler for sequential and concurrent programs written...”
Published 2006
Get full text
Others -
26
-
27
-
28
-
29by Lessard, Josh“... and implementation of <em>µ</em>Profiler, which is a profiler for sequential and concurrent programs written...”
Published 2006
Get full text
-
30
-
31
-
32by Paczkowski, Pawel“... of concurrent programs. In doing so we put an emphasis on reflecting the semantic contents of programs rather...”
Published 1990
Get full text
-
33by Barnett, Granville“... semantics of concurrent programs that use locks and transactions to isolate accesses to shared memory. We...”
Published 2014
Get full text
-
34
-
35by Nguyen Lam, Truc“... techniques for concurrent programs are therefore desirable. Sequentialization has become one of the most...”
Published 2017
Get full text
-
36by Lieb, Christopher“...Writing concurrent programs using shared memory causes many programmers much trouble, due primarily...”
Published 2011
Get full text
Get full text
Others -
37by LIANDER MILLAN FERNANDEZ“... for concurrent programming, ensuring that several execution ows access shared resources in a controlled way...”
Published 2016
Get full text
Get full text
-
38
-
39by Buy, Ugo Alessandro“... declarative specifications that describe the behavior of such programs. When a concurrent program is specified...”
Published 1990
Get full text
-
40by Metzler, Patrick“... that reduce the complexity of concurrent programs in order to ease the verification task. We approach...”
Published 2020
Get full text
Get full text
Others