*Search Results* - Functional Programming for Distributed Systems with XC

sublabel_EDS

*license_notice_EDS_guest_loggedout* *Login*

1
2
3
4
5
6
7
8
9
10
11
*Next*

The eXchange Calculus (XC): A functional programming language design for distributed collective systems
Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; et al.
In The Journal of Systems & Software April 2024 210

*Academic Journal*

*CL-View this record from ScienceDirect*

Functional Programming for Distributed Systems with XC (Artifact)
Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; et al.

Evaluation Policy The artifact has been evaluated as described in the ECOOP 2022 *Electronic Resource*

*CL-Check availability*

Functional Programming for Distributed Systems with XC
Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; et al.

*Electronic Resource*

*CL-Check availability*

Functional Programming for Distributed Systems with XC (Artifact)
Giorgio Audrito ; Roberto Casadei ; Ferruccio Damiani ; et al.

Distributed programming Field Calculi Scala DSL C++ DSL

*Academic Journal*

*CL-Check availability*

Functional Programming for Distributed Systems with XC
Giorgio Audrito ; Roberto Casadei ; Ferruccio Damiani ; et al.

Core calculus operational semantics type soundness Scala DSL

*Conference*

*CL-Check availability*

New Findings from University of Turin in the Area of Mathematics Described [The Exchange Calculus (Xc): a Functional Programming Language Design for Distributed Collective Systems]
Computer Weekly News. April 17, 2024, p455

European Union -- Report... Wireless sensor networks...

*News*

*CL-Check availability*

*This result is not displayed to guests*
*Login for full access*

Programming Distributed Collective Processes in the eXchange Calculus
Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; et al.
Logical Methods in Computer Science, Volume 21, Issue 4 (October 3, 2025) lmcs:12917

Distributed, Parallel, a... Artificial Intelligence Multiagent Systems Programming Languages

*Report*

*CL-Zum Volltext*

GreatFree as a Generic Distributed Programming Language and the Foundation of the Cloud-Side Operating System.
Bing Li
International Journal of Advanced Network, Monitoring & Controls; 2023, Vol. 8 Issue 4, p66-81, 16p

PROGRAMMING languages CLOUD computing COMPUTER operating syste... INTERNET KNOWLEDGE management

*Academic Journal*

*CL-Check availability*

The Exchange Calculus (Xc): A Functional Programming Language Design for Distributed Collective Systems
Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; et al.

*CL-Check availability*

Bacterial defense systems: Mechanisms, homology to eukaryotic immune systems, and applications.
Li GZ ; Liang ZQ ; Liang CY ; et al.
Publisher: Science Press Country of Publication: China NLM ID: 101697192 Publication Model: Print Cited Medium: Internet ISSN: 2095-8137 (Print) Linking ISSN: 20958137 NLM ISO Abbreviation: Zool Res Subsets: MEDLINE

Animals Bacteriophages Bacteria immunology Bacteria genetics Eukaryota immunology

*Academic Journal*

The Nepi network programming system: a programming environment for distributed systems.
Mano, K. ; Kawabe, Y.
Third IEEE International Symposium on Network Computing & Applications, 2004. (NCA 2004); 2004, p287-292, 6p

*Conference*

*CL-Check availability*

A Movable Architecture for Robust Spatial Computing.
Ackley, David H. ; Cannon, Daniel C. ; Williams, Lance R.
Computer Journal; Dec2013, Vol. 56 Issue 12, p1450-1468, 19p

COMPUTER architecture COMPUTER systems ROBUST control FUNCTIONAL programming (... PROTOTYPES

*Academic Journal*

*CL-Zum Volltext (via DOI)*

turboTDDFT 2.0—Hybrid functionals and new algorithms within time-dependent density-functional perturbation theory.
Ge, Xiaochuan ; Binnie, Simon J. ; Rocca, Dario ; et al.
Computer Physics Communications. Jul2014, Vol. 185 Issue 7, p2080-2089. 10p.

TIME-dependent density f... GAUSSIAN processes EIGENVALUES ALGORITHMS QUANTUM perturbations OPERATOR theory

*Periodical*

*CL-Zum Volltext (via DOI)*

turboTDDFT – A code for the simulation of molecular spectra using the Liouville–Lanczos approach to time-dependent density-functional perturbation theory
Malcıoğlu, Osman Barış ; Gebauer, Ralph ; Rocca, Dario ; et al.
Computer Physics Communications. Aug2011, Vol. 182 Issue 8, p1744-1754. 11p.

DENSITY functionals SIMULATION methods & mod... MOLECULAR spectra QUANTUM perturbations OPEN source software PSEUDOPOTENTIAL method …

*Periodical*

*CL-Zum Volltext (via DOI)*

Functional programming on a dataflow architecture: Applications in real-time image processing.
Sérot, Jocelyn ; Quénot, Georges ; Zavidovique, Bertrand
Machine Vision & Applications; Jan1994, Vol. 7 Issue 1, p44-56, 13p

*Academic Journal*

*CL-Zum Volltext (via DOI)*

Temporal Modulation of Differential Alternative Splicing in HaCaT Human Keratinocyte Cell Line Chronically Exposed to Arsenic for up to 28 Wk.
Ferragut Cardoso, Ana P. ; Banerjee, Mayukh ; Al-Eryani, Laila ; et al.
Environmental Health Perspectives. Jan2022, Vol. 130 Issue 1, p017011-1-017011-16. 16p. 2 Diagrams, 2 Charts, 3 Graphs.

Arsenic Carcinogenesis Arsenic analysis RNA analysis DNA analysis Reverse transcriptase po... …

*Academic Journal*

Optimal point-wise discrete control and controllers' allocation strategies for stochastic distributed systems.
AIDAROUS, S. E. ; GEVERS, M. R. ; INSTALLÉ, M. J.
International Journal of Control; Oct1976, Vol. 24 Issue 4, p493-508, 16p

*Academic Journal*

*CL-PDF full text from Publisher*

Structural parametric synthesis of automatic control systems with distributed parameters.
Rapoport, E.
Journal of Computer & Systems Sciences International; Jul2006, Vol. 45 Issue 4, p553-566, 14p

*Academic Journal*

*CL-Zum Volltext (via DOI)*

Channel abstractions for network security.
Bugliesi, Michele ; Focardi, Riccardo
Mathematical Structures in Computer Science; Feb2010, Vol. 20 Issue 1, p3-44, 42p

COMPUTER network securit... COMPUTER security resear... DATA encryption CRYPTOGRAPHY COMPUTER simulation COMPUTER programming

*Academic Journal*

*CL-Zum Volltext (via DOI)*

1
2
3
4
5
6
7
8
9
10
11
*Next*

*sublabel_EDS*

*Showing* 1 - 20 *of* 4*number_thousands_separator*531

*pagination*

*pagination*

*Refine Results*

sublabel_EDS

Showing 1 - 20 of **4number_thousands_separator531**

pagination

pagination

Refine Results