Results 1 to 10 of about 7,067,315 (219)
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
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
A Visual Programming Paradigm for Abstract Deep Learning Model Development [PDF]
IndiaHCI, 2019 Deep learning is one of the fastest growing technologies in computer science with a plethora of applications. But this unprecedented growth has so far been limited to the consumption of deep learning experts.
Aralikatte, Rahul +5 more
core +2 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-
Igor Ivkić +5 more
openalex +5 more sources
Hidet: Task-Mapping Programming Paradigm for Deep Learning Tensor Programs [PDF]
International Conference on Architectural Support for Programming Languages and Operating Systems, 2023 As deep learning models nowadays are widely adopted by both cloud services and edge devices, reducing the latency of deep learning model inferences becomes crucial to provide efficient model serving. However, it is challenging to develop efficient tensor
Yaoyao Ding +5 more
openalex +3 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
openalex +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
openalex +3 more sources
Interactive programming paradigm for real-time experimentation with remote living matter [PDF]
Proceedings of the National Academy of Sciences of the United States of America, 2019 Significance Biology cloud laboratories are an emerging approach to lowering access barriers for life-science experimentation. However, suitable programming approaches and interfaces are lacking for both domain experts and lay users, especially ones that
Peter Washington +4 more
openalex +2 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