Results 1 to 10 of about 380,879 (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
Robot programming using the paradigm of learning by demonstration
Revista Facultad de Ingeniería Universidad de Antioquia, 2013 This paper presents the appl ication of the paradigm of learning by demonstration for robot programming. Algorithms use bio-inspired techniques to extract relevant information accompanying the demonstrator’s action.
Sandra Nope +2 more
doaj +3 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
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
Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm
Sensors, 2023 The paper proposes a topology-free specification of distributed control systems by means of a process-oriented programming paradigm. The proposed approach was characterized, on the one hand, by a topologically independent specification of the control ...
Vladimir E. Zyubin +3 more
doaj +1 more source
ComTech, 2011 This article discusses several paradigms used in developing computer programs which is varied from the classical – goto programming, until the modern one – object oriented programming.
Subandijo Subandijo
doaj +1 more source