Search Results - "Generic programming (Computer science)"

Extensional equality preservation and verified generic programming.

Authors: BOTTA, NICOLA BREDE, NURIA JANSSON, PATRIK et al.

Source: Journal of Functional Programming. 2021, Vol. 31 Issue 1/2, p1-24. 24p.

Persistent Asynchronous Adaptive Specialization for Generic Array Programming.

Authors: Grelck, Clemens Wiesinger, Heinrich

Source: International Journal of Parallel Programming. Apr2019, Vol. 47 Issue 2, p164-183. 20p.

Subjects: Generic programming (Computer science), Software engineering, Parallel computers, Asynchronous circuits, Multicore processors

Generic cooperative and distributed algorithm for recovery of signals with the same sparsity profile in wireless sensor networks: a non-convex approach.

Authors: Azarnia, Ghanbar Tinati, Mohammad Ali Yousefi Rezaii, Tohid

Source: Journal of Supercomputing; May2019, Vol. 75 Issue 5, p2315-2340, 26p

Time series forecasting with genetic programming.

Authors: Graff, Mario Tellez, Eric Escalante, Hugo et al.

Source: Natural Computing. Mar2017, Vol. 16 Issue 1, p165-174. 10p.

Subjects: Generic programming (Computer science), Time series analysis, Artificial neural networks, Back propagation, Algorithms

All-in-one implementation framework for binary heaps.

Authors: Katajainen, Jyrki¹, jyrki@di.ku.dk

Source: Software: Practice & Experience; Apr2017, Vol. 47 Issue 4, p523-558, 36p

A note on the generic nature of Pringsheim functions.

Authors: Darji, Udayan B. Swanson, David

Source: Advances in Pure & Applied Mathematics. Oct2016, Vol. 7 Issue 4, p231-236. 6p.

UCov: a user-defined coverage criterion for test case intent verification.

Authors: Assi, Rawad Abou Masri, Wes Zaraket, Fadi

Source: Software Testing: Verification & Reliability; Sep2016, Vol. 26 Issue 6, p460-491, 32p

SIMON STEVIN AS A CENTRAL FIGURE IN THE DEVELOPMENT OF ABSTRACT ALGEBRA AND GENERIC PROGRAMMING.

Authors: Gielis, Johan¹, johan.gielis@gmail.com

Source: Symmetry: Culture & Science; 2023, Vol. 34 Issue 2, p155-168, 14p

Generic Low-Cost Characterization of VTH and Mobility Variations in LTPS TFTs for Non-Uniformity Calibration of Active-Matrix OLED Displays.

Authors: Chaji, G. Reza Jaffari, Javid

Source: DAC: Annual ACM/IEEE Design Automation Conference; Jun2012, p182-187, 6p, 3 Black and White Photographs, 2 Diagrams, 3 Graphs

The Forgotten Practices of Subcontracting.

Authors: Calvo-Manzano, Jose A. San Feliu, Tomás Pursche, Andreas

Source: CISTI (Iberian Conference on Information Systems & Technologies / Conferência Ibérica de Sistemas e Tecnologias de Informação) Proceedings; Jun2010, p232-235, 4p, 2 Charts

A Component Model for Model Transformations.

Authors: Cuadrado, Jesus Sanchez Guerra, Esther de Lara, Juan

Source: IEEE Transactions on Software Engineering. Nov2014, Vol. 40 Issue 11, p1042-1060. 19p.

Subjects: Computer software reusability, Generic programming (Computer science), Computer software development, Model-driven software architecture, Computer programming

SimpleConcepts: A Lightweight Extension to C++ to Support Constraints on Generic Types.

Authors: Milewicz, Reed Mernik, Marjan Pirkelbauer, Peter

Source: Computer Science & Information Systems. Oct2014, Vol. 11 Issue 4, p1361-1379. 19p.

Subjects: Generic programming (Computer science), Computer programming, Design templates, Grammar, Committees

Chapter 12: Extensible and Modular Generics for the Masses.

Authors: Oliveira, Bruno C. d. S. Hinze, Ralf Löh, Andres

Source: Trends in Functional Programming Volume 7; 2007, Vol. 7, p199-216, 18p

Chapter 2: Generic Proofs for Combinator-based Generic Programs.

Authors: Reig, Fermín¹

Source: Trends in Functional Programming Volume 5; 2006, Vol. 5, p17-32, 16p

An integrated, generic approach to pattern mining: data mining template library.

Authors: Chaoji, Vineet Al Hasan, Mohammad Salem, Saeed et al.

Source: Data Mining & Knowledge Discovery. Dec2008, Vol. 17 Issue 3, p457-495. 39p. 11 Diagrams, 1 Chart, 6 Graphs.

Subjects: Data mining, Generic programming (Computer science), Database searching, Computer networks, Scalability, Systems design, Sequential pattern mining, Software patterns, Online data processing, Decision support systems

A Highly Reusable Code Assignment Approach with Modified Busy Tone Signaling for CDMA-Based Ad Hoc Networks.

Authors: Tung-Kuang Wu Chang Yu Rei Cheng et al.

Source: Wireless Personal Communications. Jan2008, Vol. 44 Issue 2, p119-138. 20p. 10 Diagrams, 1 Chart, 3 Graphs.

Subjects: Computer software reusability, Generic programming (Computer science), Mobile communication systems, Filtering software

GPM: A generic and scalable P2P model that optimizes tree depth for multicast communications.

Authors: Amad, Mourad Meddahi, Ahmed Aïssani, Djamil et al.

Source: International Journal of Communication Systems. Apr2012, Vol. 25 Issue 4, p491-514. 24p. 1 Color Photograph, 11 Diagrams, 5 Charts, 8 Graphs.

Subjects: Generic programming (Computer science), Peer-to-peer architecture (Computer networks), Telecommunication systems, Internet protocols, Computer networks, Streaming video & television

On the parallel computation thesis.

Authors: DERSHOWITZ, NACHUM FALKOVICH-DERZHAVETZ, EVGENIA

Source: Logic Journal of the IGPL; Jun2016, Vol. 24 Issue 3, p346-374, 29p

IMPLEMENTING THE FACTORY PATTERN WITH THE HELP OF REFLECTION.

Authors: CHOCHLÍK, Matúš¹, Matus.Chochlik@fri.uniza.sk

Source: Computing & Informatics; 2016, Vol. 35 Issue 3, p653-686, 34p

A semantic engine for porting applications to the cloud and among clouds.

Authors: Cretella, Giuseppina Di Martino, Beniamino

Source: Software: Practice & Experience; Dec2015, Vol. 45 Issue 12, p1619-1637, 19p