Results 1 to 10 of about 375,446 (330)
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 +2 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 +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 +5 more sources
A phased programming paradigm [PDF]
ACM SIGCSE Bulletin, 1988 Correctness and efficiency are both legitimate concerns in program development. Through an extended example we present a multi-phase paradigm which encourages early algorithms to be abstract and maximally nondeterministic in the spirit of Dijkstra's guarded commands [4] but which caters equally for correctness, termination, data representation ...
C. T. Zahn
openaire +2 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
International Journal of Software Innovation, 2022 Out of the four main programming paradigms, it is widely considered that functional programming is the most promising. The programming languages that implement the functional paradigm generally do so either in a pure manner, such as Haskell, or by providing a multi-paradigm programming solution, such as most Lisp dialects, in order to allow side ...
Antoine Bossard
openaire +3 more sources
Exploring Conversational Programming through the CHOP Paradigm and Artificial Intelligence [PDF]
Informatică economicăChat-Oriented Programming (CHOP) is an emerging conceptual approach to programming, focused on the interaction between programmers and conversational interfaces based on artificial intelligence (AI).
Alin ZAMFIROIU +4 more
doaj +2 more sources
Reachability under Contextual Locking [PDF]
Logical Methods in Computer Science, 2013 The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of the program.
Remi Bonnet +3 more
doaj +3 more sources
Preliminary Evidence to Support a De-Escalated Cochlear Implant Programming Paradigm for New Adult Recipients: A Systematic Review. [PDF]
J Clin Med, 2023 Dornhoffer JR +3 more
europepmc +3 more sources
Interactive programming paradigm for real-time experimentation with remote living matter. [PDF]
Proc Natl Acad Sci U S A, 2019 Washington P +4 more
europepmc +3 more sources