Works matching DE "GENERIC programming (Computer science)"
Results: 67
A Highly Reusable Code Assignment Approach with Modified Busy Tone Signaling for CDMA-Based Ad Hoc Networks.
- Published in:
- Wireless Personal Communications, 2008, v. 44, n. 2, p. 119, doi. 10.1007/s11277-007-9348-2
- By:
- Publication type:
- Article
Persistent Asynchronous Adaptive Specialization for Generic Array Programming.
- Published in:
- International Journal of Parallel Programming, 2019, v. 47, n. 2, p. 164, doi. 10.1007/s10766-018-0567-9
- By:
- Publication type:
- Article
Types for ambient and process mobility?
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 2, p. 221, doi. 10.1017/S0960129508006658
- By:
- Publication type:
- Article
Knowledge-based System Design Based on Generic Method Conception.
- Published in:
- Information Technology & Management Science, 2014, v. 17, p. 55, doi. 10.1515/itms-2014-0008
- By:
- Publication type:
- Article
TESTING OF A DATA CENTER ENVIRONMENT WITH A GENERIC MODEL OF A CLOUD-BASED TELECOMMUNICATION SERVICE.
- Published in:
- Diagnostyka, 2016, v. 17, n. 1, p. 9
- By:
- Publication type:
- Article
Object-Oriented Development of Inverse Heat Conduction Code Adaptable to Various Configurations.
- Published in:
- Numerical Heat Transfer: Part B -- Fundamentals, 2006, v. 50, n. 3, p. 269, doi. 10.1080/10407790500508878
- By:
- Publication type:
- Article
A UNIVERSE OF STRICTLY POSITIVE FAMILIES.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 1, p. 83, doi. 10.1142/S0129054109006462
- By:
- Publication type:
- Article
ENHANCED SECURITY MODELS AND A GENERIC CONSTRUCTION APPROACH FOR LINKABLE RING SIGNATURE.
- Published in:
- International Journal of Foundations of Computer Science, 2006, v. 17, n. 6, p. 1403, doi. 10.1142/S0129054106004480
- By:
- Publication type:
- Article
Extensional equality preservation and verified generic programming.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000204
- By:
- Publication type:
- Article
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796820000076
- By:
- Publication type:
- Article
The Kansas University rewrite engine.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 4, p. 434, doi. 10.1017/S0956796814000185
- By:
- Publication type:
- Article
Transporting functions across ornaments.
- Published in:
- Journal of Functional Programming, 2014, v. 24, n. 2/3, p. 316, doi. 10.1017/S0956796814000069
- By:
- Publication type:
- Article
Finally tagless observable recursion for an abstract grammar model.
- Published in:
- Journal of Functional Programming, 2012, v. 22, n. 6, p. 757, doi. 10.1017/S0956796812000226
- By:
- Publication type:
- Article
Special Issue on Generic Programming Editorial.
- Published in:
- Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 211, doi. 10.1017/S0956796810000286
- By:
- Publication type:
- Article
A lightweight approach to datatype-generic rewriting.
- Published in:
- Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 375, doi. 10.1017/S0956796810000183
- By:
- Publication type:
- Article
Scala for generic programmers.
- Published in:
- Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 303, doi. 10.1017/S0956796810000171
- By:
- Publication type:
- Article
Generic programming with C++ concepts and Haskell type classes--a comparison.
- Published in:
- Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 271, doi. 10.1017/S095679681000016X
- By:
- Publication type:
- Article
Formal polytypic programs and proofs.
- Published in:
- Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 213, doi. 10.1017/S0956796810000158
- By:
- Publication type:
- Article
A pattern for almost compositional functions.
- Published in:
- Journal of Functional Programming, 2008, v. 18, n. 5/6, p. 567, doi. 10.1017/S0956796808006898
- By:
- Publication type:
- Article
An extended comparative study of language support for generic programming.
- Published in:
- Journal of Functional Programming, 2007, v. 17, n. 2, p. 145, doi. 10.1017/S0956796806006198
- By:
- Publication type:
- Article
DENOVO: A NEW THREE-DIMENSIONAL PARALLEL DISCRETE ORDINATES CODE IN SCALE.
- Published in:
- Nuclear Technology, 2010, v. 171, n. 2, p. 171, doi. 10.13182/NT171-171
- By:
- Publication type:
- Article
Examining Feasibility of Developing a Rock Mass Classification for Hard Rock TBM Application Using Non-linear Regression, Regression Tree and Generic Programming.
- Published in:
- Geotechnical & Geological Engineering, 2018, v. 36, n. 2, p. 1145, doi. 10.1007/s10706-017-0380-z
- By:
- Publication type:
- Article
A balancing act: how can intelligent computer-generated feedback be provided in learner-to-learner interactions?
- Published in:
- Computer Assisted Language Learning, 2008, v. 21, n. 4, p. 369, doi. 10.1080/09588220802343702
- By:
- Publication type:
- Article
SOFTWARE REUSABILITY MODEL FOR PROCEDURE BASED DOMAIN-SPECIFIC SOFTWARE COMPONENTS.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2008, v. 18, n. 8, p. 1063, doi. 10.1142/S0218194008003982
- By:
- Publication type:
- Article
SIMON STEVIN AS A CENTRAL FIGURE IN THE DEVELOPMENT OF ABSTRACT ALGEBRA AND GENERIC PROGRAMMING.
- Published in:
- Symmetry: Culture & Science, 2023, v. 34, n. 2, p. 155, doi. 10.26830/symmetry_2023_2_155
- By:
- Publication type:
- Article
A generic interface for parallel and adaptive discretization schemes: abstraction principles and the Dune- Fem module.
- Published in:
- Computing, 2010, v. 90, n. 3/4, p. 165, doi. 10.1007/s00607-010-0110-3
- By:
- Publication type:
- Article
EXTENSION OF IEC'S GENERIC DATA ACCESS WITH A LOCKING MECHANISM.
- Published in:
- DAAAM International Scientific Book, 2009, p. 241, doi. 10.2507/daaam.scibook.2009.26
- By:
- Publication type:
- Article
On the parallel computation thesis.
- Published in:
- Logic Journal of the IGPL, 2016, v. 24, n. 3, p. 346, doi. 10.1093/jigpal/jzw008
- By:
- Publication type:
- Article
Generic support of algorithmic and structural recursion for scientific computing.
- Published in:
- International Journal of Parallel, Emergent & Distributed Systems, 2009, v. 24, n. 6, p. 479, doi. 10.1080/17445760902758560
- By:
- Publication type:
- Article
AixViPMaP<sup>®</sup>—an Operational Platform for Microstructure Modeling Workflows.
- Published in:
- Integrating Materials & Manufacturing Innovation, 2019, v. 8, n. 1, p. 122, doi. 10.1007/s40192-019-00138-3
- By:
- Publication type:
- Article
AN OPTIMIZATION APPROACH TO AUTOMATIC GENERIC DOCUMENT SUMMARIZATION.
- Published in:
- Computational Intelligence, 2013, v. 29, n. 1, p. 129, doi. 10.1111/j.1467-8640.2012.00437.x
- By:
- Publication type:
- Article
A note on the generic nature of Pringsheim functions.
- Published in:
- Advances in Pure & Applied Mathematics, 2016, v. 7, n. 4, p. 231, doi. 10.1515/apam-2015-0002
- By:
- Publication type:
- Article
On the hyperfield or field-of-field concept.
- Published in:
- International Journal of Geographical Information Science, 2013, v. 27, n. 5, p. 963, doi. 10.1080/13658816.2012.731066
- By:
- Publication type:
- Article
COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 814, doi. 10.1017/jsl.2015.30
- By:
- Publication type:
- Article
All-in-one implementation framework for binary heaps.
- Published in:
- Software: Practice & Experience, 2017, v. 47, n. 4, p. 523, doi. 10.1002/spe.2423
- By:
- Publication type:
- Article
A semantic engine for porting applications to the cloud and among clouds.
- Published in:
- Software: Practice & Experience, 2015, v. 45, n. 12, p. 1619, doi. 10.1002/spe.2304
- By:
- Publication type:
- Article
UCov: a user-defined coverage criterion for test case intent verification.
- Published in:
- Software Testing: Verification & Reliability, 2016, v. 26, n. 6, p. 460, doi. 10.1002/stvr.1607
- By:
- Publication type:
- Article
SafeGI: Type Checking to Improve Correctness in Rendering System Implementation.
- Published in:
- Computer Graphics Forum, 2010, v. 29, n. 4, p. 1269, doi. 10.1111/j.1467-8659.2010.01722.x
- By:
- Publication type:
- Article
Bin Packing with Conflicts: A Generic Branch-and-Price Algorithm.
- Published in:
- INFORMS Journal on Computing, 2013, v. 25, n. 2, p. 244, doi. 10.1287/ijoc.1120.0499
- By:
- Publication type:
- Article
Genericity for model management operations.
- Published in:
- Software & Systems Modeling, 2013, v. 12, n. 1, p. 201, doi. 10.1007/s10270-011-0203-2
- By:
- Publication type:
- Article
Time series forecasting with genetic programming.
- Published in:
- Natural Computing, 2017, v. 16, n. 1, p. 165, doi. 10.1007/s11047-015-9536-z
- By:
- Publication type:
- Article
Learning to hash: forgiving hash functions and applications.
- Published in:
- Data Mining & Knowledge Discovery, 2008, v. 17, n. 3, p. 402, doi. 10.1007/s10618-008-0096-z
- By:
- Publication type:
- Article
An integrated, generic approach to pattern mining: data mining template library.
- Published in:
- Data Mining & Knowledge Discovery, 2008, v. 17, n. 3, p. 457, doi. 10.1007/s10618-008-0098-x
- By:
- Publication type:
- Article
Slicing from formal semantics: Chisel—a tool for generic program slicing.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 6, p. 739, doi. 10.1007/s10009-018-0500-y
- By:
- Publication type:
- Article
Functional prototypes for generic C ++ libraries: a transformational approach based on higher-order, typed signatures.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 91, doi. 10.1007/s10009-014-0299-0
- By:
- Publication type:
- Article
A C++ Template-Based Reinforcement Learning Library: Fitting the Code to the Mathematics.
- Published in:
- Journal of Machine Learning Research, 2013, v. 14, n. 2, p. 625
- By:
- Publication type:
- Article
A C++ Template-Based Reinforcement Learning Library: Fitting the Code to the Mathematics.
- Published in:
- Journal of Machine Learning Research, 2013, v. 14, n. 1, p. 625
- By:
- Publication type:
- Article
Ada Container Iterators for Parallelism and Map/Reduce.
- Published in:
- Ada User Journal, 2016, v. 37, n. 2, p. 95
- By:
- Publication type:
- Article
Software Reliability and Advanced Distributed Learning.
- Published in:
- Journal of Applied Learning Technology, 2012, v. 2, n. 3, p. 6
- By:
- Publication type:
- Article
A Data Mining Approach to Identify Key Factors for Systematic Reuse.
- Published in:
- IUP Journal of Information Technology, 2012, v. 8, n. 2, p. 24
- By:
- Publication type:
- Article