Search results for "datatype"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
122	Roland Carl Backhouse, Henk Doornbos	Datatype-Generic Termination Proofs.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Allegory, Generic programming, Relation algebra, Programming methodology, Datatype
122	Roland Carl Backhouse	Datatype-Generic Reasoning.	CiE	2006	DBLP DOI BibTeX RDF	allegory, generic programming, relation algebra, programming methodology, Datatype
97	Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren	A lightweight approach to datatype-generic rewriting.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	term rewriting, datatype-generic programming
97	Hongwei Xi, Chiyan Chen, Gang Chen	Guarded recursive datatype constructors.	POPL	2003	DBLP DOI BibTeX RDF	guarded recursive datatype constructors
84	Abhishek Biswas, B. V. Sagar, Jagannathan Srinivasan	Managing and Correlating Historical Events Using an Event Timeline Datatype.	DASFAA	2008	DBLP DOI BibTeX RDF	Indexing, Event, Timeline, Bitmaps, Datatype
74	Gopalakrishnan Santhanaraman, Dhabaleswar Wu, Dhabaleswar K. Panda 0001	Zero-Copy MPI Derived Datatype Communication over InfiniBand.	PVM/MPI	2004	DBLP DOI BibTeX RDF
74	Andrew B. Hastings, Alok N. Choudhary	Exploiting Shared Memory to Improve Parallel I/O Performance.	PVM/MPI	2006	DBLP DOI BibTeX RDF	datatype iterator, non-contiguous access, shared memory, Parallel I/O, MPI-IO
67	Clare E. Martin, Jeremy Gibbons, Ian Bayley	Disciplined, efficient, generalised folds for nested datatypes.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Functor category, Nested datatype, Non-regular datatype, Non-uniform datatype, Polymor- phic recursion, Universal property, Fold
64	Qingda Lu, Jiesheng Wu, Dhabaleswar K. Panda 0001, P. Sadayappan	Applying MPI Derived Datatypes to the NAS Benchmarks: A Case Study.	ICPP Workshops	2004	DBLP DOI BibTeX RDF
61	Stephanie Weirich, Chris Casinghino	Arity-generic datatype-generic programming.	PLPV	2010	DBLP DOI BibTeX RDF	agda, arity-generic programming, generic haskell, dependent types
61	Jeff Z. Pan, Ian Horrocks 0001	Extending Datatype Support in Web Ontology Reasoning.	OTM	2002	DBLP DOI BibTeX RDF
61	Bruno C. d. S. Oliveira, Jeremy Gibbons	Scala for generic programmers.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	scala, polytypic programming, datatype-generic programming
61	Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira	Comparing libraries for generic programming in haskell.	Haskell	2008	DBLP DOI BibTeX RDF	libraries comparison, datatype-generic programming
61	Mark Alan Darholt	An implementation of 'blocks' in SPITBOL.	ACM Southeast Regional Conference	1979	DBLP DOI BibTeX RDF	3-D character string, Block datatype, SNOBOL4, SPITBOL, output formatting
58	Adriaan Moors, Frank Piessens, Wouter Joosen	An object-oriented approach to datatype-generic programming.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	datatype-genericity, scala, polytypic programming
51	Muralidhar Krishnaprasad, Zhen Hua Liu, Anand Manikutty, James W. Warner, Vikas Arora	Towards an Industrial Strength SQL/XML Infrastructure.	ICDE	2005	DBLP DOI BibTeX RDF
51	Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper 0001, Perry Cheng	Typed compilation of recursive datatypes.	TLDI	2003	DBLP DOI BibTeX RDF	typed compilation, standard ML, recursive types, coercions
51	Roger Hillson, Michal Iglewski	C++2MPI: A Software Tool for Automatically Generating MPI Datatypes from C++ Classes.	PARELEC	2000	DBLP DOI BibTeX RDF
49	Jeremy Gibbons	Design patterns as higher-order datatype-generic programs.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	design patterns, functional programming, generic programming, unfolds, folds, higher-order functions
49	Jiesheng Wu, Pete Wyckoff, Dhabaleswar K. Panda 0001	High Performance Implementation of MPI Derived Datatype Communication over InfiniBand.	IPDPS	2004	DBLP DOI BibTeX RDF
49	Jeff Z. Pan, Ian Horrocks 0001	Web Ontology Reasoning with Datatype Groups.	ISWC	2003	DBLP DOI BibTeX RDF
48	Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring	Generic programming with fixed points for mutually recursive datatypes.	ICFP	2009	DBLP DOI BibTeX RDF	mutually recursive datatypes, haskell, fixed points, datatype-generic programming
46	Jan A. Bergstra, Alban Ponse	Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals.	CoRR	2014	DBLP BibTeX RDF
46	Dries Kimpe, David Goodell, Robert B. Ross	MPI Datatype Marshalling: A Case Study in Datatype Equivalence.	EuroMPI	2010	DBLP DOI BibTeX RDF
46	Jeremy Gibbons	Datatype-Generic Programming.	SSDGP	2006	DBLP DOI BibTeX RDF
38	Robert B. Ross, Robert Latham, William Gropp, Ewing L. Lusk, Rajeev Thakur	Processing MPI Datatypes Outside MPI.	PVM/MPI	2009	DBLP DOI BibTeX RDF
38	Boris Motik, Ian Horrocks 0001	OWL Datatypes: Design and Implementation.	ISWC	2008	DBLP DOI BibTeX RDF
38	Todd D. Millstein, Colin Bleckner, Craig Chambers	Modular typechecking for hierarchically extensible datatypes and functions.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Extensible datatypes, extensible functions, modular typechecking
38	Todd D. Millstein, Colin Bleckner, Craig Chambers	Modular typechecking for hierarchically extensible datatypes and functions.	ICFP	2002	DBLP DOI BibTeX RDF	extensible datatypes, extensible functions, modular typechecking
38	Jesper Larsson Träff, Rolf Hempel, Hubert Ritzdorf, Falk Zimmermann	Flattening on the Fly: Efficient Handling of MPI Derived Datatypes.	PVM/MPI	1999	DBLP DOI BibTeX RDF
38	Richard S. Bird, Lambert G. L. T. Meertens	Nested Datatypes.	MPC	1998	DBLP DOI BibTeX RDF
36	Martin Hepp	ProdLight: A Lightweight Ontology for Product Description Based on Datatype Properties.	BIS	2007	DBLP DOI BibTeX RDF
36	Julien Langou, George Bosilca, Graham E. Fagg, Jack J. Dongarra	Hash Functions for Datatype Signatures in MPI.	PVM/MPI	2005	DBLP DOI BibTeX RDF
36	William Gropp	Runtime Checking of Datatype Signatures in MPI.	PVM/MPI	2000	DBLP DOI BibTeX RDF
36	Richard D. Jenks, Robert S. Sutor, Stephen M. Watt	Scratchpad II: An Abstract Datatype System for Mathematical Computation.	Trends in Computer Algebra	1987	DBLP DOI BibTeX RDF
35	Stephanie Weirich	RepLib: a library for derivable type classes.	Haskell	2006	DBLP DOI BibTeX RDF	representation types, type-indexed programming, GADT, datatype-generic programming
35	Christopher Falzone, Anthony Chan, Ewing L. Lusk, William Gropp	Collective Error Detection for MPI Collective Operations.	PVM/MPI	2005	DBLP DOI BibTeX RDF	MPI, errors, hashing, collective, datatype
35	Jeff Magee, Jeff Kramer, Morris Sloman	Constructing Distributed Systems in Conic.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	distributed systems construction, Conic environment, language-based approach, operating systems approach, concise configuration description, program components, interconnected logical nodes, incremental change, user-transparent datatype transformation, interconnected computers, base target machines, run-time facilities, distributed processing, programming, programming environments, software components, program compilation, operating systems (computers), high level languages, distributed environment, dynamic configuration, Unix operating system, heterogeneous processors, configuration language
26	Noboru Tanabe, Hironori Nakajo	Introduction to Acceleration for MPI Derived Datatypes Using an Enhancer of Memory and Network.	PVM/MPI	2008	DBLP DOI BibTeX RDF
26	Achim D. Brucker, Burkhart Wolff	Extensible Universes for Object-Oriented Data Models.	ECOOP	2008	DBLP DOI BibTeX RDF
26	Sam Lindley	Many holes in hindley-milner.	ML	2008	DBLP DOI BibTeX RDF	indexed type, multi-holed context, phantom type, value restriction, dependent type
26	Gilles Barthe, Benjamin Grégoire, Colin Riba	Type-Based Termination with Sized Products.	CSL	2008	DBLP DOI BibTeX RDF
26	Pradeep Varma	Generalizing recognition of an individual dialect in program analysis and transformation.	SAC	2007	DBLP DOI BibTeX RDF	commutative transforms, dialect recognition, location anchors, map, corrections, errors, merging
26	Johan Glimming	Parametric (Co)Iteration vs. Primitive Direcursion.	CALCO	2007	DBLP DOI BibTeX RDF
26	A. Kumaran 0001, Pavan K. Chowdary, Jayant R. Haritsa	On Pushing Multilingual Query Operators into Relational Engines.	ICDE	2006	DBLP DOI BibTeX RDF
26	Christian Urban, Stefan Berghofer	A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL.	IJCAR	2006	DBLP DOI BibTeX RDF	Lambda-calculus, proof assistants, nominal logic, primitive recursion
26	Ulf Norell, Patrik Jansson	Polytypic Programming in Haskell.	IFL	2003	DBLP DOI BibTeX RDF
26	Geoffrey Washburn, Stephanie Weirich	Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism.	ICFP	2003	DBLP DOI BibTeX RDF	modal type system, parametricity, higher-order abstract syntax, parametric polymorphism, catamorphism
26	Avery Ching, Alok N. Choudhary, Wei-keng Liao, Robert B. Ross, William D. Gropp	Efficient Structured Data Access in Parallel File Systems.	CLUSTER	2003	DBLP DOI BibTeX RDF
26	Ralf H. Reussner, Jesper Larsson Träff, Gunnar Hunzelmann	A Benchmark for MPI Derived Datatypes.	PVM/MPI	2000	DBLP DOI BibTeX RDF
26	Meike Klettke, Holger Meyer 0001	XML and Object-Relational Database Systems - Enhancing Structural Mappings Based on Statistics.	WebDB (Selected Papers)	2000	DBLP DOI BibTeX RDF	Partitioned Normal Form (PNF), XML, Mapping, DTD, Object-relational Databases
26	Jeremy Gibbons	Polytypic Downwards Accumulations.	MPC	1998	DBLP DOI BibTeX RDF
23	Ignacio Huitzil, Fernando Bobillo	Fuzzy ontology datatype learning using Datil.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
23	Hsiang-Shang Ko, Liang-Ting Chen 0001, Tzu-Chi Lin	Datatype-generic programming meets elaborator reflection.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
23	Eddie Jones, Steven J. Ramsay	Intensional datatype refinement: with application to scalable verification of pattern-match safety.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
23	Jan A. Bergstra, Alban Ponse	Datatype defining rewrite systems for naturals and integers.	Log. Methods Comput. Sci.	2021	DBLP BibTeX RDF
23	Yuxin Shen, Zhao Li 0009, Xin Wang 0030, Jianxin Li 0001, Xiaowang Zhang	DataType-Aware Knowledge Graph Representation Learning in Hyperbolic Space.	CIKM	2021	DBLP DOI BibTeX RDF
23	Sydur Rahaman, Iulian Neamtiu, Xin Yin	Algebraic-datatype taint tracking, with applications to understanding Android identifier leaks.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
23	Jahanzeb Maqbool Hashmi, Ching-Hsiang Chu, Sourav Chakraborty 0003, Mohammadreza Bayatpour, Hari Subramoni, Dhabaleswar K. Panda 0001	FALCON-X: Zero-copy MPI derived datatype processing on modern CPU and GPU architectures.	J. Parallel Distributed Comput.	2020	DBLP DOI BibTeX RDF
23	Eddie Jones, Steven J. Ramsay	Intensional Datatype Refinement.	CoRR	2020	DBLP BibTeX RDF
23	Zhen Hua Liu, Beda Christoph Hammerschmidt, Douglas Mcmahon, Hui J. Chang, Ying Lu, Joshua Spiegel, Alfonso Colunga Sosa, Srikrishnan Suresh, Geeta Arora, Vikas Arora	Native JSON Datatype Support: Maturing SQL and NoSQL convergence in Oracle Database. (PDF / PS)	Proc. VLDB Endow.	2020	DBLP DOI BibTeX RDF
23	Jan A. Bergstra	Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers.	Sci. Ann. Comput. Sci.	2020	DBLP DOI BibTeX RDF
23	Mahdi Zahedi, Mahta Mayahinia, Muath Abu Lebdeh, Stephan Wong, Said Hamdioui	Efficient Organization of Digital Periphery to Support Integer Datatype for Memristor-Based CIM.	ISVLSI	2020	DBLP DOI BibTeX RDF
23	Zheng Yang 0007, Hang Lei, Weizhong Qian, Zehui Yan, Weiru Zeng	A Resolution for Scalability Problem of Record Datatype Based Formal Memory Models in Coq.	CSAE	2020	DBLP DOI BibTeX RDF
23	Greg Henry, Ping Tak Peter Tang, Alexander Heinecke	Leveraging the bfloat16 Artificial Intelligence Datatype For Higher-Precision Computations.	CoRR	2019	DBLP BibTeX RDF
23	Field G. Van Zee, Devangi N. Parikh, Robert A. van de Geijn	Supporting mixed-datatype matrix multiplication within the BLIS framework.	CoRR	2019	DBLP BibTeX RDF
23	Ching-Hsiang Chu, Jahanzeb Maqbool Hashmi, Kawthar Shafie Khorassani, Hari Subramoni, Dhabaleswar K. Panda 0001	High-Performance Adaptive MPI Derived Datatype Communication for Modern Multi-GPU Systems.	HiPC	2019	DBLP DOI BibTeX RDF
23	Greg Henry, Ping Tak Peter Tang, Alexander Heinecke	Leveraging the bfloat16 Artificial Intelligence Datatype For Higher-Precision Computations.	ARITH	2019	DBLP DOI BibTeX RDF
23	Jahanzeb Maqbool Hashmi, Sourav Chakraborty 0003, Mohammadreza Bayatpour, Hari Subramoni, Dhabaleswar K. Panda 0001	FALCON: Efficient Designs for Zero-Copy MPI Datatype Processing on Emerging Architectures.	IPDPS	2019	DBLP DOI BibTeX RDF
23	Irvin Dongo, Yudith Cardinale, Richard Chbeir	RDF-F: RDF Datatype inFerring Framework - Towards Better RDF Document Matching.	Data Sci. Eng.	2018	DBLP DOI BibTeX RDF
23	Ali Athar	An Overview of Datatype Quantization Techniques for Convolutional Neural Networks.	CoRR	2018	DBLP BibTeX RDF
23	Takafumi Kataoka, Tomoharu Ugawa, Hideya Iwasaki	A framework for constructing javascript virtual machines with customized datatype representations.	SAC	2018	DBLP DOI BibTeX RDF
23	Martin Kleppmann, Alastair R. Beresford	A Conflict-Free Replicated JSON Datatype.	IEEE Trans. Parallel Distributed Syst.	2017	DBLP DOI BibTeX RDF
23	Irvin Dongo, Yudith Cardinale, Firas Al Khalil, Richard Chbeir	Semantic Web Datatype Inference: Towards Better RDF Matching.	WISE (2)	2017	DBLP DOI BibTeX RDF
23	Irvin Dongo, Firas Al Khalil, Richard Chbeir, Yudith Cardinale	Semantic Web Datatype Similarity: Towards Better RDF Document Matching.	DEXA (1)	2017	DBLP DOI BibTeX RDF
23	Samer Hanna	An Approach to Modeling Web Services Datatype Descriptions.	J. Theor. Appl. Electron. Commer. Res.	2016	DBLP DOI BibTeX RDF
23	Jan A. Bergstra, Alban Ponse	Datatype defining rewrite systems for the ring of integers, and for natural and integer arithmetic in unary view.	CoRR	2016	DBLP BibTeX RDF
23	Martin Kleppmann, Alastair R. Beresford	A Conflict-Free Replicated JSON Datatype.	CoRR	2016	DBLP BibTeX RDF
23	Samer Hanna	An approach to detect web services vague datatype specifications to enhance understandability.	Int. J. Web Eng. Technol.	2016	DBLP DOI BibTeX RDF
23	Jesper Larsson Träff	A Library for Advanced Datatype Programming.	EuroMPI	2016	DBLP DOI BibTeX RDF
23	Yufei Cai, Paolo G. Giarrusso, Klaus Ostermann	System f-omega with equirecursive types for datatype-generic programming.	POPL	2016	DBLP DOI BibTeX RDF
23	Robert Ganian, Martin Kalany, Stefan Szeider, Jesper Larsson Träff	Polynomial-Time Construction of Optimal MPI Derived Datatype Trees.	IPDPS	2016	DBLP DOI BibTeX RDF
23	Francisco Enrique Vicente Castro, Kathi Fisler	On the Interplay Between Bottom-Up and Datatype-Driven Program Design.	SIGCSE	2016	DBLP DOI BibTeX RDF
23	Martin Kalany, Jesper Larsson Träff	Efficient, Optimal MPI Datatype Reconstruction for Vector and Index Types.	EuroMPI	2015	DBLP DOI BibTeX RDF
23	Ernesto Rodríguez, Wouter Swierstra	Datatype generic programming in F#.	WGP@ICFP	2015	DBLP DOI BibTeX RDF
23	Mingzhe Li, Hari Subramoni, Khaled Hamidouche, Xiaoyi Lu, Dhabaleswar K. Panda 0001	High Performance MPI Datatype Support with User-Mode Memory Registration: Challenges, Designs, and Benefits.	CLUSTER	2015	DBLP DOI BibTeX RDF
23	Mehran Alidoost Nia, Reza Ebrahimi Atani	A novel datatype architecture support for programming languages.	CoRR	2014	DBLP BibTeX RDF
23	Anastasia Analyti, Ioannis Pachoulakis	Datatype evolution on RDF ontologies.	Int. J. Web Eng. Technol.	2014	DBLP DOI BibTeX RDF
23	Jesper Larsson Träff	Optimal MPI Datatype Normalization for Vector and Index-block Types.	EuroMPI/ASIA	2014	DBLP DOI BibTeX RDF
23	Timo Schneider, Fredrik Kjolstad, Torsten Hoefler	MPI datatype processing using runtime compilation.	EuroMPI	2013	DBLP DOI BibTeX RDF
23	Bernardo Pereira Nunes, Alexander Arturo Mera Caraballo, Marco Antonio Casanova, Besnik Fetahu, Luiz André P. Paes Leme, Stefan Dietze	Complex Matching of RDF Datatype Properties.	DEXA (1)	2013	DBLP DOI BibTeX RDF
23	Pospishnyi Oleksandr	Extending Datatype Support for Tractable Reasoning with OWL 2 EL Ontologies.	ORE	2013	DBLP BibTeX RDF
23	Lisa Wu 0001, Martha A. Kim, Stephen A. Edwards	Cache Impacts of Datatype Acceleration.	IEEE Comput. Archit. Lett.	2012	DBLP DOI BibTeX RDF
23	José Pedro Magalhães, Andres Löh	A Formal Comparison of Approaches to Datatype-Generic Programming	MSFP	2012	DBLP DOI BibTeX RDF
23	Fredrik Kjolstad, Torsten Hoefler, Marc Snir	Automatic datatype generation and optimization.	PPoPP	2012	DBLP DOI BibTeX RDF
23	Fa-Gui Liu, Yong-Xue Huang, Yue-Dong Lin	A fuzzy extension of ontology with custom datatype.	ICMLC	2012	DBLP DOI BibTeX RDF
23	Bernardo Pereira Nunes, Alexander Arturo Mera Caraballo, Marco A. Casanova, Karin K. Breitman, Luiz André P. Paes Leme	Complex matching of RDF datatype properties.	OM	2011	DBLP BibTeX RDF
23	Hao Wang 0002, Sreeram Potluri, Miao Luo, Ashish Kumar Singh, Xiangyong Ouyang, Sayantan Sur, Dhabaleswar K. Panda 0001	Optimized Non-contiguous MPI Datatype Communication for GPU Clusters: Design, Implementation and Evaluation with MVAPICH2.	CLUSTER	2011	DBLP DOI BibTeX RDF
23	Nicolas J. Tourasse, Ole Andreas Økstad, Anne-Brit Kolstø	HyperCAT: an extension of the SuperCAT database for global multi-scheme and multi-datatype phylogenetic analysis of the Bacillus cereus group population.	Database J. Biol. Databases Curation	2010	DBLP DOI BibTeX RDF
23	Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães	A lightweight approach to datatype-generic rewriting.	J. Funct. Program.	2010	DBLP DOI BibTeX RDF