Suchergebnisse - "Concurrent and distributed programming"

Playing and learning with gamification: An in-class concurrent and distributed programming activity von Filev Maia, Rodrigo, Reis Graeml, Felipe

“… It seems that education is working fine, especially in several good and traditional Universities around the world. Nokia was also doing very well in a business …”
Volltext

Reengineering the SLEEP simulator in a concurrent and distributed programming course von Radivojevic, Zaharije, Cvetanovic, Milos, Jovanovic, Zoran

“… This article presents laboratory exercises and project assignments developed to teach concepts of concurrent and distributed programming in Java …”
Volltext

Teaching Concurrent and Distributed Programming With Concepts Over Mathematical Proofs von Marchant, David, Johnsen, Carl-Johannes, Vinter, Brian, Skovhede, Kenneth

“… This paper describes how a concept-based approach to teaching was used to update how concurrent and distributed systems were taught at the University of …”
Volltext

Keynote Lecture : Towards Robust, Large-scale Concurrent and Distributed Programming von Haller, Philipp

“… Summary form only given, as follows. The complete presentation was not made available for publication as part of the conference proceedings. Software systems …”
Volltext

Characterizing Extracurricular Effort on Concurrent and Distributed Programming Learning von Hidalgo-Cespedes, Jeisson

“… The importance of concurrent and distributed programming is increasing on Computer Science curricula …”
Volltext

A One Year Retrospective on a MOOC in Parallel, Concurrent, and Distributed Programming in Java von Sarkar, Vivek, Grossman, Max, Budimlic, Zoran, Imam, Shams

“… Much progress has been made on integrating parallel programming into the core Computer Science curriculum of top-tier universities in the United States. For …”
Volltext

Special issue on programming based on actors, agents and decentralized control von Ricci, Alessandro, Agha, Gul, Bordini, Rafael H., Marron, Assaf

“… The AGERE! workshop1 has been organized with the ACM SPLASH conference since 2011. The workshop has brought together researchers in programming systems, …”
Volltext

Multiparty Session Programming with Global Protocol Combinators (Artifact) von Imai, Keigo, Neykova, Rumyana, Yoshida, Nobuko, Yuen, Shoji

“… In the paper "Multiparty Session Programming with Global Protocol Combinators", we introduce a library, ocaml-mpst for programming with global combinators - a …”
Volltext

Orderly communication in the Ambient Calculus von Amtoft, Torben, Kfoury, Assaf J., Pericas-Geertsen, Santiago M.

“… The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code (In: Nivat M, …”
Volltext

Relating state-based and process-based concurrency through linear logic (full-version) von Cervesato, Iliano, Scedrov, Andre

“… The starting points of such investigations have been various idealized languages of concurrent and distributed programming, in particular the well established state-transformation model inspired …”
Volltext

Object-sensitive cost analysis for concurrent objects von Albert, Elvira, Arenas, Puri, Correas, Jesús, Genaim, Samir, Gómez-Zamalloa, Miguel, Puebla, Germán, Román-Díez, Guillermo

“… SummaryThis article presents a novel cost analysis framework for concurrent objects. Concurrent objects form a well‐established model for distributed …”
Volltext

AmbientTalk: programming responsive mobile peer-to-peer applications with actors von Van Cutsem, Tom, Gonzalez Boix, Elisa, Scholliers, Christophe, Lombide Carreton, Andoni, Harnie, Dries, Pinte, Kevin, De Meuter, Wolfgang

“… Developing such applications is challenging because of problems inherent to concurrent and distributed programming, and because of problems inherent to mobile networks, such as the fact that wireless …”
Volltext

PySy: a Python package for enhanced concurrent programming von Williamson, Todd, Olsson, Ronald A.

“… However, Python is still lacking a high‐level, expressive concurrent and distributed programming environment …”
Volltext

Integrating Logic Rules with Everything Else, Seamlessly von LIU, YANHONG A., STOLLER, SCOTT D., TONG, YI, LIN, BO

“… We have defined a formal semantics of the language, implemented a prototype compiler that builds on an object-oriented language that supports concurrent and distributed programming and on an …”
Volltext

A software framework for coping with heterogeneity in the shopfloor von Fernández-Madrigal, Juan-Antonio, Galindo, Cipriano, Cruz-Martín, Ana, González, Javier

“… The CIM framework pursues the integration of components in a manufacturing enterprise by means of computer systems. This, however, may be obstructed due to …”
Volltext

Teaching Erlang through the Internet: An Experience Report von Adams, Stephen

“… Today functional programming languages are seen as a practical solution to the difficult problems of concurrent and distributed programming …”
Volltext

Computation Orchestration: A Basis for Wide-area Computing von Misra, Jayadev, Cook, William R.

Volltext

Teaching Nondeterminism Through Programming von Alexandron, Giora, Armoni, Michal, Gordon, Michal, Harel, David

“… This kind of ND is quite different from the first one. It appears in nondeterministic programming languages and in the context of concurrent and distributed programming …”
Volltext

Evaluation of an Online Judge for Concurrent Programming Learning von Hidalgo-Cespedes, Jeisson

“… One of these requirements is the learning of concurrent and distributed programming, despite the increasing importance of these computing paradigms …”
Volltext

Relating State-Based and Process-Based Concurrency through Linear Logic von Cervesato, Iliano, Scedrov, Andre

“… The starting points of such investigations have been various idealized languages of concurrent and distributed programming, in particular the well-established state-transformation model inspired …”
Volltext