Results 1 to 10 of about 370,289 (185)
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
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
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
SINTECH (Science and Information Technology) Journal, 2021 Pesatnya perkembangan teknologi menghasilkan era digitalisasi. Permintaan pengembangan perangkat lunak dan insinyur perangkat lunak di berbagai sektor industri, bisnis, dan pendidikan sangat tinggi.
Bagas Triaji +2 more
doaj +1 more source
Extending Coinductive Logic Programming with Co-Facts [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We introduce a generalized logic programming paradigm where programs, consisting of facts and rules with the usual syntax, can be enriched by co-facts, which syntactically resemble facts but have a special meaning.
Davide Ancona +2 more
doaj +1 more source
The Six concerns for Separation of Concerns [PDF]
, 2001 Despite a common agreement on the necessity of the application of the separation of concerns (SOC) principle, there is not yet a consensus for its key issues.
Aksit, Mehmet +2 more
core +10 more sources