Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
122 | Roland Carl Backhouse, Henk Doornbos |
Datatype-Generic Termination Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 43(3-4), pp. 362-393, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Allegory, Generic programming, Relation algebra, Programming methodology, Datatype |
122 | Roland Carl Backhouse |
Datatype-Generic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 21-34, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008, pp. 13-24, 2008, ACM, 978-1-60558-060-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
term rewriting, datatype-generic programming |
97 | Hongwei Xi, Chiyan Chen, Gang Chen |
Guarded recursive datatype constructors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 224-235, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Database Systems for Advanced Applications, 13th International Conference, DASFAA 2008, New Delhi, India, March 19-21, 2008. Proceedings, pp. 604-612, 2008, Springer, 978-3-540-78567-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, September 19-22, 2004, Proceedings, pp. 47-56, 2004, Springer, 3-540-23163-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
74 | Andrew B. Hastings, Alok N. Choudhary |
Exploiting Shared Memory to Improve Parallel I/O Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings, pp. 212-221, 2006, Springer, 3-540-39110-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(1), pp. 19-35, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 33rd International Conference on Parallel Processing Workshops (ICPP 2004 Workshops), 15-18 August 2004, Montreal, Quebec, Canada, pp. 538-545, 2004, IEEE Computer Society, 0-7695-2198-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
61 | Stephanie Weirich, Chris Casinghino |
Arity-generic datatype-generic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010, pp. 15-26, 2010, ACM, 978-1-60558-890-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM ![In: On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30 - November 1, 2002, Proceedings, pp. 1067-1081, 2002, Springer, 3-540-00106-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
61 | Bruno C. d. S. Oliveira, Jeremy Gibbons |
Scala for generic programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008, pp. 25-36, 2008, ACM, 978-1-60558-060-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008, pp. 111-122, 2008, ACM, 978-1-60558-064-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
libraries comparison, datatype-generic programming |
61 | Mark Alan Darholt |
An implementation of 'blocks' in SPITBOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 17th Annual Southeast Regional Conference, 1979, Orlando, Florida, USA, April 9-11, 1979, pp. 15-23, 1979, ACM, 978-1-4503-7330-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 96-106, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 21st International Conference on Data Engineering, ICDE 2005, 5-8 April 2005, Tokyo, Japan, pp. 991-1000, 2005, IEEE Computer Society, 0-7695-2285-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
51 | Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper 0001, Perry Cheng |
Typed compilation of recursive datatypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003, pp. 98-108, 2003, ACM, 1-58113-649-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARELEC ![In: 2000 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2000), 27-30 August 2000, Quebec, Canada, pp. 13-17, 2000, IEEE Computer Society, 0-7695-0759-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
49 | Jeremy Gibbons |
Design patterns as higher-order datatype-generic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP-WGP ![In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006, pp. 1-12, 2006, ACM, 1-59593-492-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
49 | Jeff Z. Pan, Ian Horrocks 0001 |
Web Ontology Reasoning with Datatype Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings, pp. 47-63, 2003, Springer, 3-540-20362-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 233-244, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1406.3280, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
46 | Dries Kimpe, David Goodell, Robert B. Ross |
MPI Datatype Marshalling: A Case Study in Datatype Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroMPI ![In: Recent Advances in the Message Passing Interface - 17th European MPI Users' Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings, pp. 82-91, 2010, Springer, 978-3-642-15645-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
46 | Jeremy Gibbons |
Datatype-Generic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSDGP ![In: Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures, pp. 1-71, 2006, Springer, 978-3-540-76785-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Robert B. Ross, Robert Latham, William Gropp, Ewing L. Lusk, Rajeev Thakur |
Processing MPI Datatypes Outside MPI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 16th European PVM/MPI Users' Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings, pp. 42-53, 2009, Springer, 978-3-642-03769-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Boris Motik, Ian Horrocks 0001 |
OWL Datatypes: Design and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings, pp. 307-322, 2008, Springer, 978-3-540-88563-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Todd D. Millstein, Colin Bleckner, Craig Chambers |
Modular typechecking for hierarchically extensible datatypes and functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 26(5), pp. 836-889, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 110-122, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 6th European PVM/MPI Users' Group Meeting, Barcelona, Spain, September 26-29, 1999, Proceedings, pp. 109-116, 1999, Springer, 3-540-66549-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
38 | Richard S. Bird, Lambert G. L. T. Meertens |
Nested Datatypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings, pp. 52-67, 1998, Springer, 3-540-64591-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
36 | Martin Hepp |
ProdLight: A Lightweight Ontology for Product Description Based on Datatype Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIS ![In: Business Information Systems, 10th International Conference, BIS 2007, Poznan, Poland, April 25-27, 2007, Proceedings, pp. 260-272, 2007, Springer, 978-3-540-72034-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Julien Langou, George Bosilca, Graham E. Fagg, Jack J. Dongarra |
Hash Functions for Datatype Signatures in MPI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 12th European PVM/MPI Users' Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings, pp. 76-83, 2005, Springer, 3-540-29009-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | William Gropp |
Runtime Checking of Datatype Signatures in MPI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 7th European PVM/MPI Users' Group Meeting, Balatonfüred, Hungary, September 2000, Proceedings, pp. 160-167, 2000, Springer, 3-540-41010-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
36 | Richard D. Jenks, Robert S. Sutor, Stephen M. Watt |
Scratchpad II: An Abstract Datatype System for Mathematical Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Computer Algebra ![In: Trends in Computer Algebra, International Symposium, Bad Neuenahr, Germany, May 19-21, 1987, Proceedings, pp. 12-37, 1987, Springer, 3-540-18928-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
35 | Stephanie Weirich |
RepLib: a library for derivable type classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006, pp. 1-12, 2006, ACM, 1-59593-489-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 12th European PVM/MPI Users' Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings, pp. 138-147, 2005, Springer, 3-540-29009-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
MPI, errors, hashing, collective, datatype |
35 | Jeff Magee, Jeff Kramer, Morris Sloman |
Constructing Distributed Systems in Conic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(6), pp. 663-675, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings, pp. 324-325, 2008, Springer, 978-3-540-87474-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Achim D. Brucker, Burkhart Wolff |
Extensible Universes for Object-Oriented Data Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings, pp. 438-462, 2008, Springer, 978-3-540-70591-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Sam Lindley |
Many holes in hindley-milner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, pp. 59-68, 2008, ACM, 978-1-60558-062-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 493-507, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Pradeep Varma |
Generalizing recognition of an individual dialect in program analysis and transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1432-1439, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
commutative transforms, dialect recognition, location anchors, map, corrections, errors, merging |
26 | Johan Glimming |
Parametric (Co)Iteration vs. Primitive Direcursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings, pp. 257-278, 2007, Springer, 978-3-540-73857-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | A. Kumaran 0001, Pavan K. Chowdary, Jayant R. Haritsa |
On Pushing Multilingual Query Operators into Relational Engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 22nd International Conference on Data Engineering, ICDE 2006, 3-8 April 2006, Atlanta, GA, USA, pp. 98, 2006, IEEE Computer Society, 0-7695-2570-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Christian Urban, Stefan Berghofer |
A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 498-512, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Lambda-calculus, proof assistants, nominal logic, primitive recursion |
26 | Ulf Norell, Patrik Jansson |
Polytypic Programming in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, pp. 168-184, 2003, Springer, 3-540-23727-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Geoffrey Washburn, Stephanie Weirich |
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003, pp. 249-262, 2003, ACM, 1-58113-756-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2003 IEEE International Conference on Cluster Computing (CLUSTER 2003), 1-4 December 2003, Kowloon, Hong Kong, China, pp. 326-335, 2003, IEEE Computer Society, 0-7695-2066-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Ralf H. Reussner, Jesper Larsson Träff, Gunnar Hunzelmann |
A Benchmark for MPI Derived Datatypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 7th European PVM/MPI Users' Group Meeting, Balatonfüred, Hungary, September 2000, Proceedings, pp. 10-17, 2000, Springer, 3-540-41010-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Meike Klettke, Holger Meyer 0001 |
XML and Object-Relational Database Systems - Enhancing Structural Mappings Based on Statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WebDB (Selected Papers) ![In: The World Wide Web and Databases, Third International Workshop WebDB 2000, Dallas, Texas, USA, Maaay 18-19, 2000, Selected Papers, pp. 151-170, 2000, Springer, 3-540-41826-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Partitioned Normal Form (PNF), XML, Mapping, DTD, Object-relational Databases |
26 | Jeremy Gibbons |
Polytypic Downwards Accumulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings, pp. 207-233, 1998, Springer, 3-540-64591-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Ignacio Huitzil, Fernando Bobillo |
Fuzzy ontology datatype learning using Datil. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 228, pp. 120299, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Hsiang-Shang Ko, Liang-Ting Chen 0001, Tzu-Chi Lin |
Datatype-generic programming meets elaborator reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(ICFP), pp. 225-253, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Eddie Jones, Steven J. Ramsay |
Intensional datatype refinement: with application to scalable verification of pattern-match safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 5(POPL), pp. 1-29, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Jan A. Bergstra, Alban Ponse |
Datatype defining rewrite systems for naturals and integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 17(1), 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1 - 5, 2021, pp. 1630-1639, 2021, ACM, 978-1-4503-8446-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Sydur Rahaman, Iulian Neamtiu, Xin Yin |
Algebraic-datatype taint tracking, with applications to understanding Android identifier leaks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021, pp. 70-82, 2021, ACM, 978-1-4503-8562-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 144, pp. 1-13, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Eddie Jones, Steven J. Ramsay |
Intensional Datatype Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.01452, 2020. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 13(12), pp. 3059-3071, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Jan A. Bergstra |
Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Ann. Comput. Sci. ![In: Sci. Ann. Comput. Sci. 30(1), pp. 1-24, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: 2020 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2020, Limassol, Cyprus, July 6-8, 2020, pp. 216-221, 2020, IEEE, 978-1-7281-5775-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSAE ![In: CSAE 2020: The 4th International Conference on Computer Science and Application Engineering, Sanya, China, October 20-22, 2020, pp. 54:1-54:8, 2020, ACM, 978-1-4503-7772-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Greg Henry, Ping Tak Peter Tang, Alexander Heinecke |
Leveraging the bfloat16 Artificial Intelligence Datatype For Higher-Precision Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.06376, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1901.06015, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: 26th IEEE International Conference on High Performance Computing, Data, and Analytics, HiPC 2019, Hyderabad, India, December 17-20, 2019, pp. 267-276, 2019, IEEE, 978-1-7281-4535-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Greg Henry, Ping Tak Peter Tang, Alexander Heinecke |
Leveraging the bfloat16 Artificial Intelligence Datatype For Higher-Precision Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARITH ![In: 26th IEEE Symposium on Computer Arithmetic, ARITH 2019, Kyoto, Japan, June 10-12, 2019, pp. 69-76, 2019, IEEE, 978-1-7281-3366-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 2019 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2019, Rio de Janeiro, Brazil, May 20-24, 2019, pp. 355-364, 2019, IEEE, 978-1-7281-1246-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Irvin Dongo, Yudith Cardinale, Richard Chbeir |
RDF-F: RDF Datatype inFerring Framework - Towards Better RDF Document Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Sci. Eng. ![In: Data Sci. Eng. 3(2), pp. 115-135, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Ali Athar |
An Overview of Datatype Quantization Techniques for Convolutional Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.07530, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
23 | Takafumi Kataoka, Tomoharu Ugawa, Hideya Iwasaki |
A framework for constructing javascript virtual machines with customized datatype representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, pp. 1238-1247, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Martin Kleppmann, Alastair R. Beresford |
A Conflict-Free Replicated JSON Datatype. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 28(10), pp. 2733-2746, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Irvin Dongo, Yudith Cardinale, Firas Al Khalil, Richard Chbeir |
Semantic Web Datatype Inference: Towards Better RDF Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE (2) ![In: Web Information Systems Engineering - WISE 2017 - 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part II, pp. 57-74, 2017, Springer, 978-3-319-68785-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Irvin Dongo, Firas Al Khalil, Richard Chbeir, Yudith Cardinale |
Semantic Web Datatype Similarity: Towards Better RDF Document Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA (1) ![In: Database and Expert Systems Applications - 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I, pp. 189-205, 2017, Springer, 978-3-319-64467-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Samer Hanna |
An Approach to Modeling Web Services Datatype Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Theor. Appl. Electron. Commer. Res. ![In: J. Theor. Appl. Electron. Commer. Res. 11(2), pp. 64-82, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.06212, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
23 | Martin Kleppmann, Alastair R. Beresford |
A Conflict-Free Replicated JSON Datatype. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.03960, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
23 | Samer Hanna |
An approach to detect web services vague datatype specifications to enhance understandability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Web Eng. Technol. ![In: Int. J. Web Eng. Technol. 11(1), pp. 68-103, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Jesper Larsson Träff |
A Library for Advanced Datatype Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroMPI ![In: Proceedings of the 23rd European MPI Users' Group Meeting, EuroMPI 2016, Edinburgh, United Kingdom, September 25-28, 2016, pp. 98-107, 2016, ACM, 978-1-4503-4234-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Yufei Cai, Paolo G. Giarrusso, Klaus Ostermann |
System f-omega with equirecursive types for datatype-generic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pp. 30-43, 2016, ACM, 978-1-4503-3549-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 2016 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2016, Chicago, IL, USA, May 23-27, 2016, pp. 638-647, 2016, IEEE Computer Society, 978-1-5090-2140-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Francisco Enrique Vicente Castro, Kathi Fisler |
On the Interplay Between Bottom-Up and Datatype-Driven Program Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 47th ACM Technical Symposium on Computing Science Education, SIGCSE 2016, Memphis, TN, USA, March 02 - 05, 2016, pp. 205-210, 2016, ACM, 978-1-4503-3685-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Martin Kalany, Jesper Larsson Träff |
Efficient, Optimal MPI Datatype Reconstruction for Vector and Index Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroMPI ![In: Proceedings of the 22nd European MPI Users' Group Meeting, EuroMPI 2015, Bordeaux, France, September 21-23, 2015, pp. 5:1-5:10, 2015, ACM, 978-1-4503-3795-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Ernesto Rodríguez, Wouter Swierstra |
Datatype generic programming in F#. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WGP@ICFP ![In: Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015, pp. 23-32, 2015, ACM, 978-1-4503-3810-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2015 IEEE International Conference on Cluster Computing, CLUSTER 2015, Chicago, IL, USA, September 8-11, 2015, pp. 226-235, 2015, IEEE Computer Society, 978-1-4673-6598-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Mehran Alidoost Nia, Reza Ebrahimi Atani |
A novel datatype architecture support for programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1402.0087, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Anastasia Analyti, Ioannis Pachoulakis |
Datatype evolution on RDF ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Web Eng. Technol. ![In: Int. J. Web Eng. Technol. 9(1), pp. 30-61, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Jesper Larsson Träff |
Optimal MPI Datatype Normalization for Vector and Index-block Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroMPI/ASIA ![In: 21st European MPI Users' Group Meeting, EuroMPI/ASIA '14, Kyoto, Japan - September 09 - 12, 2014, pp. 33, 2014, ACM, 978-1-4503-2875-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Timo Schneider, Fredrik Kjolstad, Torsten Hoefler |
MPI datatype processing using runtime compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroMPI ![In: 20th European MPI Users's Group Meeting, EuroMPI '13, Madrid, Spain - September 15 - 18, 2013, pp. 19-24, 2013, ACM, 978-1-4503-1903-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA (1) ![In: Database and Expert Systems Applications - 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part I, pp. 195-208, 2013, Springer, 978-3-642-40284-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Pospishnyi Oleksandr |
Extending Datatype Support for Tractable Reasoning with OWL 2 EL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013, pp. 75-80, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
23 | Lisa Wu 0001, Martha A. Kim, Stephen A. Edwards |
Cache Impacts of Datatype Acceleration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Comput. Archit. Lett. ![In: IEEE Comput. Archit. Lett. 11(1), pp. 21-24, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | José Pedro Magalhães, Andres Löh |
A Formal Comparison of Approaches to Datatype-Generic Programming ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings Fourth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012., pp. 50-67, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Fredrik Kjolstad, Torsten Hoefler, Marc Snir |
Automatic datatype generation and optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012, New Orleans, LA, USA, February 25-29, 2012, pp. 327-328, 2012, ACM, 978-1-4503-1160-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Fa-Gui Liu, Yong-Xue Huang, Yue-Dong Lin |
A fuzzy extension of ontology with custom datatype. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMLC ![In: International Conference on Machine Learning and Cybernetics, ICMLC 2012, Xian, Shaanxi, China, July 15-17, 2012, Proceedings, pp. 779-784, 2012, IEEE, 978-1-4673-1484-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OM ![In: Proceedings of the 6th International Workshop on Ontology Matching, Bonn, Germany, October 24, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2011 IEEE International Conference on Cluster Computing (CLUSTER), Austin, TX, USA, September 26-30, 2011, pp. 308-316, 2011, IEEE Computer Society, 978-1-4577-1355-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Database J. Biol. Databases Curation ![In: Database J. Biol. Databases Curation 2010, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 20(3-4), pp. 375-413, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|