Results 1 to 10 of about 6,932,520 (386)
A Processing-in-Memory Architecture Programming Paradigm for Wireless Internet-of-Things Applications [PDF]
Sensors, 2019 The widespread applications of the wireless Internet of Things (IoT) is one of the leading factors in the emerging of Big Data. Huge amounts of data need to be transferred and processed.
Xu Yang, Yumin Hou, Hu He
doaj +3 more sources
Reasoning About a Service-oriented Programming Paradigm [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 This paper is about a new way for programming distributed applications: the service-oriented one. It is a concept paper based upon our experience in developing a theory and a language for programming services.
Claudio Guidi, Fabrizio Montesi
doaj +5 more sources
From Events to Reactions: A Progress Report [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Syndicate is a new coordinated, concurrent programming language. It occupies a novel point on the spectrum between the shared-everything paradigm of threads and the shared-nothing approach of actors.
Tony Garnock-Jones
doaj +4 more sources
Towards comparing programming paradigms [PDF]
2017 12th International Conference for Internet Technology and Secured Transactions (ICITST), 2017 Rapid technological progress in computer sciences finds solutions and at the same time creates ever more complex requirements. Due to an evolving complexity todays programming languages provide powerful frameworks which offer standard solutions for recurring tasks to assist the programmer and to avoid the re-invention of the wheel with so-called out-of-
Ivkic, Igor +2 more
openaire +7 more sources
Kickstarting Choreographic Programming [PDF]
arXiv, 2015 We present an overview of some recent efforts aimed at the development of Choreographic Programming, a programming paradigm for the production of concurrent software that is guaranteed to be correct by construction from global descriptions of communication behaviour.
Montesi, Fabrizio
arxiv +3 more sources
A New Programming Paradigm for GPGPU [PDF]
, 2012 Graphics Processing units (GPU) have become a valuable support for High Performance Computing (HPC) applications. However, despite the many improvements of General Purpose GPUs, the current programming paradigms available, such as NVIDIA's CUDA, are still low-level and require strong programming effort, especially for irregular applications where ...
Toss, Julio, Gautier, Thierry
openaire +5 more sources
Polymorphic Types in ACL2 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 This paper describes a tool suite for the ACL2 programming language which incorporates certain ideas from the Hindley-Milner paradigm of functional programming (as exemplified in popular languages like ML and Haskell), including a "typed" style of ...
Benjamin Selfridge, Eric Smith
doaj +4 more sources
Proceedings of the eleventh Workshop on Answer Set Programming and Other Computing Paradigms 2018 [PDF]
arXiv, 2018 This is the Proceedings of the eleventh Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2018, which was held in Oxford, UK, July 18th, 2018.
Jorge Fandinno, Johannes K. Fichte
arxiv +3 more sources
Logic Programming for Describing and Solving Planning Problems [PDF]
arXiv, 2000 A logic programming paradigm which expresses solutions to problems as stable models has recently been promoted as a declarative approach to solving various combinatorial and search problems, including planning problems. In this paradigm, all program rules are considered as constraints and solutions are stable models of the rule set.
Bruynooghe, Maurice
arxiv +4 more sources
Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs [PDF]
arXiv, 2014 We extract a novel quantum programming paradigm - superposition of programs - from the design idea of a popular class of quantum algorithms, namely quantum walk-based algorithms. The generality of this paradigm is guaranteed by the universality of quantum walks as a computational model.
Feng, Yuan, Ying, Mingsheng, Yu, Nengkun
arxiv +3 more sources