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
-
221“... of Object-Based Concurrent Programming. First, discuss how to divide a complete problem into many...”
Get full text
Others -
222by da Rocha Pinto, Pedro“... sound extension of TaDA with which we can verify total correctness of concurrent programs, i.e...”
Published 2016
Get full text
-
223by Zahidin, Ahmad Zamri“... allows the natural expression of these algorithms as concurrent programs. This is a very distinct...”
Published 2011
Get full text
Get full text
Others -
224by Heidt, David Patrick“...Concurrent programming has become ubiquitous in the arena of application development, requiring...”
Published 2011
Get full text
Others -
225by Kitchin, David Wilson“...This dissertation presents the concurrent programming language Ora, an extension of the Orc...”
Published 2013
Get full text
Others -
226“...The classical problems of concurrent programming start from the design problems of operating...”
Get full text
Article -
227“...FreeST is an experimental concurrent programming language. Based on a core linear functional...”
Get full text
Article -
228by Sävström, Tomas“... the programs correct. Concurrent programs have always been hard to test because of the nature of the program...”
Published 2012
Get full text
Others -
229by Ritson, Carl G.“... of facilities for concurrent programming and their support in programming languages. Common concurrent...”
Published 2013
Get full text
-
230“... and message-passing concurrent programs. We provide a Go-based implementation with language based...”
Get full text
Article -
231“... their performance in concurrent programming. The time needed to perform individual operations was analysed....”
Get full text
Article -
232by Tönqvist, Christian“...Lock-free algorithms are an approach to concurrent programming wherethreads access shared state...”
Published 2017
Get full text
Others -
233by EDGAR SERNA MONTOYA“...Trad. E. W. Dijkstra “Solution of a Problem in Concurrent Programming Control”. Es...”
Published 2010-07-01
Get full text
Article -
234by Duan, Zhenhua“...Temporal logic programming is a paradigm for specification and verification of concurrent programs...”
Published 1996
Get full text
-
235by Karetsos, Athanasios“... successful with finite state concurrent programs. In the recent years, there has been progress in the area...”
Published 2015
Get full text
Others -
236by Mostrous, Dimitris“..., that are aimed at providing a theoretical foundation for structured concurrent programming based on session types...”
Published 2010
Get full text
-
237by Chamillard, Albert Timothy“... in the reliability of that software. Analysis of concurrent programs is difficult because, in many cases...”
Published 1996
Get full text
-
238by Lavender, R. Gregory“... their usefulness in concurrent programming using the Actor model. The results of this work have direct...”
Published 2014
Get full text
Get full text
Others -
239by Hill, David Timothy“...Occam is designed for concurrent programming on a network of transputers. AIlocation...”
Published 1988
Get full text
Others -
240“...This paper is a contribution to exploring and analyzing space-improvements in concurrent...”
Get full text
Article