Works matching DE "GENERIC programming (Computer science)"
Results: 64
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
A Component Model for Model Transformations.
- Published in:
- IEEE Transactions on Software Engineering, 2014, v. 40, n. 11, p. 1042, doi. 10.1109/TSE.2014.2339852
- 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
Software Library Investment Metrics: a New Approach, Issues and Recommendations.
- Published in:
- International Review on Computers & Software, 2017, v. 12, n. 2, p. 84, doi. 10.15866/irecos.v12i2.12228
- 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
SimpleConcepts: A Lightweight Extension to C++ to Support Constraints on Generic Types.
- Published in:
- Computer Science & Information Systems, 2014, v. 11, n. 4, p. 1361, doi. 10.2298/CSIS131209053M
- 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
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
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
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
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
Python Experiment Suite Implementation.
- Published in:
- Python Papers Source Codes, 2010, v. 2, p. 1
- By:
- Publication type:
- Article
Static Context Model and Metrics for Assessing the Completeness and Understandability of Static Context Model.
- Published in:
- IUP Journal of Computer Sciences, 2012, v. 6, n. 3, p. 35
- By:
- Publication type:
- Article
ADVANCED FUNCTOR FRAMEWORK FOR C++ STANDARD TEMPLATE LIBRARY.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2011, v. 56, n. 1, p. 99
- By:
- Publication type:
- Article
Assessing the stability of selected software components for reusability.
- Published in:
- International Journal of Intelligent Computing & Information Sciences, 2019, v. 19, n. 2, p. 1
- 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
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
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
IMPLEMENTING THE FACTORY PATTERN WITH THE HELP OF REFLECTION.
- Published in:
- Computing & Informatics, 2016, v. 35, n. 3, p. 653
- 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
PARALLEL LANGUAGES AND COMPILERS: PERSPECTIVE FROM THE TITANIUM EXPERIENCE.
- Published in:
- International Journal of High Performance Computing Applications, 2007, v. 21, n. 3, p. 266, doi. 10.1177/1094342007078449
- By:
- Publication type:
- Article
Finite State Automata Evolution using Modular Architecture.
- Published in:
- Journal of Algorithms & Computational Technology, 2010, v. 4, n. 4, p. 495, doi. 10.1260/1748-3018.4.4.495
- 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
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
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
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
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
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
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
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
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
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
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
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
FCL-STL, a Generics-Based Template Library for FreePascal.
- Published in:
- Olympiads in Informatics, 2012, v. 6, p. 21
- By:
- Publication type:
- Article
A generalized computing paradigm based on artificial dynamic models for mathematical programming.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2014, v. 18, n. 8, p. 1561, doi. 10.1007/s00500-013-1162-z
- 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
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
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
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
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