Results 41 to 50 of about 28,897 (156)
Dynamic Choreographies: Theory And Implementation [PDF]
, 2017 Programming distributed applications free from communication deadlocks and race conditions is complex. Preserving these properties when applications are updated at runtime is even harder.
Gabbrielli, Maurizio +4 more
core +4 more sources
Rust programming language in the high-performance computing environment
, 2020 Fortran and C++ have traditionally been the languages of choice for high-performance computing (HPC) applications. However, they are both over 35 years old, and do not offer much in terms of user-friendliness or memory safety. Rust is an emergent new systems language, aiming to be performant while offering such safety and usability, as well as bundling
openaire +2 more sources
Building trainable taggers in a web-based, UIMA-supported NLP workbench [PDF]
, 2012 Argo is a web-based NLP and text mining workbench with a convenient graphical user interface for designing and executing processing workflows of various complexity.
Ananiadou, S, Kolluru, B, Rak, R
core +1 more source
Packing Unequal Circles into a Minimum-Radius Circle Using r-Algorithm
Кібернетика та комп'ютерні технологіїTwo approaches to employ the Shor’s r-algorithm for solving a problem of packing unequal circles into a minimum-radius circle are studied. The first approach uses multistart of the r-algorithm with a step dichotomy from a set of feasible starting points.
Bohdan Zadorozhnyi +4 more
doaj +1 more source
, 2019 TensorFlow is a popular emerging open-source programming framework supporting the execution of distributed applications on heterogeneous hardware. While TensorFlow has been initially designed for developing Machine Learning (ML) applications, in fact ...
Bulatov, Yaroslav +5 more
core +1 more source
A Syntactic Model of Mutation and Aliasing
, 2019 Traditionally, semantic models of imperative languages use an auxiliary structure which mimics memory. In this way, ownership and other encapsulation properties need to be reconstructed from the graph structure of such global memory.
Giannini, Paola +2 more
core +1 more source
A Contextual Model for Visual Information Processing
ComputersDespite significant achievements in the artificial narrow intelligence sphere, the mechanisms of human-like (general) intelligence are still undeveloped.
Illia Khurtin, Mukesh Prasad
doaj +1 more source
An assertion language for constraint logic programs
, 2000 In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways.
A. Kelly +16 more
core +1 more source
Bonsai: Synthesis-Based Reasoning for Type Systems
, 2017 We describe algorithms for symbolic reasoning about executable models of type systems, supporting three queries intended for designers of type systems. First, we check for type soundness bugs and synthesize a counterexample program if such a bug is found.
Bodik, Rastislav, Chandra, Kartik
core +1 more source
Marking complex assignments using peer assessment with an electronic voting system and an automated feedback tool [PDF]
, 2011 The work described in this paper relates to the development and use of a range of initiatives in order to mark complex masters' level assignments related to the development of computer web applications.
Barker, Trevor, Bennett, Steve
core