Results 201 to 210 of about 407,788 (261)
Some of the next articles are maybe not open access.
Communicating reactive processes
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93, 1993We present a new programming paradigm called Communicating Reactive Processes or CRP that unifies the capabilities of asynchronous and synchronous concurrent programming languages. Asynchronous languages such as CSP, OCCAM, or ADA are well-suited for distributed algorithms; their processes are loosely coupled and communication takes time.
Gérard Berry +2 more
openaire +1 more source
Proceedings of the 4th ACM international conference on Embedded software, 2004
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurrent processes communicating streams of data through FIFO channels. They can be executed efficiently and determinately on multiprocessor platforms.
Marc Geilen, Twan Basten
openaire +2 more sources
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurrent processes communicating streams of data through FIFO channels. They can be executed efficiently and determinately on multiprocessor platforms.
Marc Geilen, Twan Basten
openaire +2 more sources
Reactive information processing
2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS), 2016People agree that there are two major concerns in Internet computing: Big Data and the Internet of Things (IoT). On purpose, expected evolutions and progresses in technology and science are ruled by the development of suited paradigms (e.g., plug & play middleware for the IoT or MapReduce for Big Data) to face up this “ever encountered” nature of ...
openaire +2 more sources
Angelicism in the Theory of Reactive Processes
2015The concept of angelic nondeterminism has traditionally been employed in the refinement calculus. Despite different notions having been proposed in the context of process algebras, namely Communicating Sequential Processes (CSP), the analogous counterpart to the angelic choice operator of the monotonic predicate transformers, has been elusive. In order
Pedro Ribeiro 0002, Ana Cavalcanti 0001
openaire +2 more sources
Modelling of reactive separation processes: reactive absorption and reactive distillation
Chemical Engineering and Processing: Process Intensification, 2003In the last years chemical process industries have shown permanently increasing interest in the development of reactive separation processes (RSP) combining reaction and separation mechanisms into a single, integrated unit. Such processes bring several important advantages among which are increase of reaction yield and selectivity, overcoming ...
C. Noeres, E.Y. Kenig, A. Górak
openaire +1 more source