Results 251 to 260 of about 328,670 (294)
Some of the next articles are maybe not open access.
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 2011
A bi category of very general nondeterministic concurrent games and strategies is presented. The intention is to formalize distributed games in which both Player (or a team of players) and Opponent (or a team of opponents) can interact in highly distributed fashion, without, for instance, enforcing that their moves alternate.
Silvain Rideau, Glynn Winskel
openaire +1 more source
A bi category of very general nondeterministic concurrent games and strategies is presented. The intention is to formalize distributed games in which both Player (or a team of players) and Opponent (or a team of opponents) can interact in highly distributed fashion, without, for instance, enforcing that their moves alternate.
Silvain Rideau, Glynn Winskel
openaire +1 more source
IEEE Design & Test of Computers, 2008
The evolutionary path of microprocessor design includes both multicore and many-core architectures. Harnessing the most computing throughput from these architectures requires concurrent or parallel execution of instructions. The authors describe the challenges facing the industry as parallel-computing platforms become even more widely available.
Wen-mei W. Hwu +2 more
openaire +1 more source
The evolutionary path of microprocessor design includes both multicore and many-core architectures. Harnessing the most computing throughput from these architectures requires concurrent or parallel execution of instructions. The authors describe the challenges facing the industry as parallel-computing platforms become even more widely available.
Wen-mei W. Hwu +2 more
openaire +1 more source
Concurrent Semantics for Concurrent Constraint Programs
1994A concurrent semantics is a semantics where concurrency can be realistically represented and naturally described. Therefore we believe that every concurrent language should be provided with a formal concurrent semantics. Here we describe three concurrent semantics for concurrent constraint (cc) programs.
Francesca Rossi 0001, Ugo Montanari
openaire +1 more source
IEEE Transactions on Software Engineering, 1984
With the new advents of technology and the availability of microprocessors and minicomputers, parallel and distributed processing is gaining widespread acceptability. In such systems resources are shared among a number of processes. Accesses to the resources must be synchronized in order to guarantee proper operation of a system. In this research work,
Mohammad G. Khayat +3 more
openaire +1 more source
With the new advents of technology and the availability of microprocessors and minicomputers, parallel and distributed processing is gaining widespread acceptability. In such systems resources are shared among a number of processes. Accesses to the resources must be synchronized in order to guarantee proper operation of a system. In this research work,
Mohammad G. Khayat +3 more
openaire +1 more source
Concurrency and Concurrent Constraint Programming
1995The intent of this paper is to provide the basic ideas and the possible alternatives underlying the task of giving a semantics to a concurrent system/language, and to describe a particular approach which makes some specific choices in order to give a semantics to the class of CC languages.
U. Montanari, ROSSI, FRANCESCA
openaire +2 more sources
Concurrent C++: Concurrent programming with class(es)
Software: Practice and Experience, 1988AbstractC++ and Concurrent C are both upward‐compatible supersets of C that provide data abstraction and parallel programming facilities, respectively. Although data abstraction facilities are important for writing concurrent programs, we did not provide data abstraction facilities in Concurrent C because we did not want to duplicate the C++ research ...
Narain H. Gehani, William D. Roome
openaire +1 more source
1987
A definition of Continuity properly generalized from full to partial orders is presented. In addition to the continuity requirements of Dedekind (no gaps, no jumps) the definition includes requirements taken from physics and from engineering. All these requirements are fulfilled by the total order structure of real numbers, but at the cost of ...
C. A. Petri 0001, Einar Smith
openaire +1 more source
A definition of Continuity properly generalized from full to partial orders is presented. In addition to the continuity requirements of Dedekind (no gaps, no jumps) the definition includes requirements taken from physics and from engineering. All these requirements are fulfilled by the total order structure of real numbers, but at the cost of ...
C. A. Petri 0001, Einar Smith
openaire +1 more source
Concurrent garbage collection for concurrent rewriting
1995We describe an algorithm that achieves garbage collection when performing concurrent rewriting. We show how this algorithm follows the implementation model of concurrent graph rewriting. This model has been studied and directly implemented on MIMD machines where nodes of the graph are distributed over a set of processors.
openaire +1 more source
International Journal on Software Tools for Technology Transfer, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Proceedings of the 2006 ACM SIGPLAN workshop on Erlang, 2006
A concurrent cache design is presented which allows cached data to be spread across a cluster of computers. The implementation separates persistent storage from cache storage and abstracts the cache behaviour so that the user can experiment with cache size and replacement policy to optimize performance for a given system, even if the production data ...
openaire +1 more source
A concurrent cache design is presented which allows cached data to be spread across a cluster of computers. The implementation separates persistent storage from cache storage and abstracts the cache behaviour so that the user can experiment with cache size and replacement policy to optimize performance for a given system, even if the production data ...
openaire +1 more source