The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Bindings with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1973-1988 (22) 1989-1991 (16) 1992-1994 (19) 1995-1996 (19) 1997-1998 (22) 1999 (15) 2000 (25) 2001-2002 (34) 2003 (21) 2004 (24) 2005 (54) 2006 (33) 2007 (30) 2008 (36) 2009 (30) 2010-2011 (23) 2012-2014 (16) 2015-2016 (20) 2017-2019 (22) 2020-2022 (19) 2023-2024 (10)
Publication types (Num. hits)
article(120) incollection(2) inproceedings(383) phdthesis(5)
Venues (Conferences, Journals, ...)
CoRR(18) RFC(14) ICFP(12) POPL(6) Ada-Europe(5) PPDP(5) ACM SIGPLAN Notices(4) APSEC(4) ASE(4) DOA(4) ICLP(4) ICSE(4) IEEE Trans. Software Eng.(4) RTA(4) SC@ETAPS(4) SIGAda(4) More (+10 of total 330)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 399 occurrences of 324 keywords

Results
Found 510 publication records. Showing 510 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
103Jeremiah Willcock, Andrew Lumsdaine, Arch D. Robison Using MPI with C# and the common language infrastructure. Search on Bibsonomy Java Grande The full citation details ... 2002 DBLP  DOI  BibTeX  RDF common language infrastructure (CLI), parallel computing, message passing interface (MPI), C#, NET
93Albrecht Schmidt 0001 Engineering interactive ubiquitous computing systems. Search on Bibsonomy EICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
75Tristan Ravitch, Steve Jackson 0002, Eric Aderhold, Ben Liblit Automatic generation of library bindings using static analysis. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ffi, multi-language code reuse, static library analysis, bindings, dataflow analysis, foreign function interfaces
72Craig Edward Rasmussen, Jeffrey M. Squyres A Case for New MPI Fortran Bindings. Search on Bibsonomy PVM/MPI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
65Karl Meerbergen, Kresimir Fresl, Toon Knapen C++ Bindings to External Software Libraries with Examples from BLAS, LAPACK, UMFPACK, and MUMPS. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF C++, Bindings, BLAS, LAPACK, traits
65Antoine Boutet, Benoit Le Texier, Julien Montavont, Nicolas Montavont, Guillaume Schreiner Advantages of flow bindings: an embedded mobile network use case. Search on Bibsonomy TRIDENTCOM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF IPv6 mobility, NEMO basic support, flow bindings, next generation wireless network testbeds, embedded applications
65Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey A computational approach to reflective meta-reasoning about languages with bindings. Search on Bibsonomy MERLIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF MetaPRL, Nuprl, languages with bindings, programming language, reflection, experimentation, type theory, higher-order abstract syntax
62Dale Miller 0001 Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier: An Abstract. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
54Richard W. Selby, Victor R. Basili Analyzing Error-Prone System Structure. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF error-prone system structure, data interaction, prediction environment, nonparametric analysis of variance model, software metrics, error analysis, software systems, program diagnostics, empirical analysis, clustering technique, data bindings
52Hans Ole Rafaelsen, Frank Eliassen, Sharath Babu Musunoori Towards Self-organizing Distribution Structures for Streaming Media. Search on Bibsonomy OTM Conferences (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
52Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo A Tabling Implementation Based on Variables with Multiple Bindings. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Performance, Logic Programming, Implementation, Tabling, OR-Parallelism
52Sebastian Gajek, Lijun Liao, Jörg Schwenk Stronger TLS bindings for SAML assertions and SAML artifacts. Search on Bibsonomy SWS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF client certificate, fim, saml, tls
52Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli A Generative Approach to the Implementation of Language Bindings for the Document Object Model. Search on Bibsonomy GPCE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
52Heechern Kim, Chisu Wu A Class Testing Technique Based on Data Bindings. Search on Bibsonomy APSEC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Software testing, data binding, class testing
44Yasuhisa Tamura, Kazuya Sumi, Takeshi Yamamuro, Masashi Maejima CSCL Data Structurization and Inter-LMS Sharing with Use of Web Services. Search on Bibsonomy KES (3) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF XML bindings, automatic exchange, Web services, Collaborative Learning, CSCL
41Robert A. van Engelen A framework for service-oriented computing with C and C++ Web service components. Search on Bibsonomy ACM Trans. Internet Techn. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Web services standards, Service-oriented computing
41Romain Lenglet, Shigeru Chiba Dryverl: a flexible Erlang/C binding compiler. Search on Bibsonomy Erlang Workshop The full citation details ... 2006 DBLP  DOI  BibTeX  RDF stub, compiler, C, erlang, binding, port, driver, ODP
41Kamal S. Khouri, Ganesh Lakshminarayana, Niraj K. Jha Memory binding for performance optimization of control-flow intensive behavioral descriptions. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
41Pierre-Luc Brunelle, Ettore Merlo, Giuliano Antoniol Investigating Java Type Analyses for the Receiver-Classes Testing Criterion. Search on Bibsonomy ISSRE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Kamal S. Khouri, Ganesh Lakshminarayana, Niraj K. Jha Memory binding for performance optimization of control-flow intensive behaviors. Search on Bibsonomy ICCAD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Hans Ole Rafaelsen, Frank Eliassen Trading and Negotiating Stream Bindings. Search on Bibsonomy Middleware The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
41Øyvind Hanssen, Frank Eliassen A Framework for Policy Bindings. Search on Bibsonomy DOA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
34Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández A flexible framework for programming with non-deterministicfunctions. Search on Bibsonomy PEPM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF call-time choice, local bindings, non-deterministic functions, run-time-choice, term rewriting systems
34Claus Atzenbeck, Peter J. Nürnberg Constraints in spatial structures. Search on Bibsonomy Hypertext The full citation details ... 2005 DBLP  DOI  BibTeX  RDF WildDocs, knowledge representation, user interface design, hypermedia, collections, bindings, knowledge work, spatial structures
34Han-Suk Choi, Jae Soo Yoo, Ok-Bae Chang A New Control Service Model Based on CORBA for Distributed Multimedia Objects. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF control service model, distributed multimedia objects, DIMCA/ORB, real-time bindings, heterogeneous components, Quality of Service, CORBA, multimedia systems, open distributed systems
31David Briggs, Suad Alagic Algebraic specification techniques for parametric types with logic-based constraints. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF parametric types, verification theories, assertions, PVS, JML
31Guor-Huar Lu, Changho Choi, Zhi-Li Zhang Vault: A Secure Binding Service. Search on Bibsonomy ICNP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Cosmin E. Oancea, Stephen M. Watt Parametric polymorphism for software component architectures. Search on Bibsonomy OOPSLA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF antiunification, software component architecture, generics, templates, parametric polymorphism
31Cesare Pautasso, Gustavo Alonso Flexible Binding for Reusable Composition of Web Services. Search on Bibsonomy SC@ETAPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Chen Li 0001, Edward Y. Chang Query Planning with Limited Source Capabilities. Search on Bibsonomy ICDE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF information-integration systems, limited source capabilities, Data-log programs
31Roberto Ierusalimschy, Renato Cerqueira, Noemi de La Rocque Rodriguez Using Reflexivity to Interface with CORBA. Search on Bibsonomy ICCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF CORBA binding, interpreted languages, reflexivity
31Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper Efficient Incremental Evaluation of Higher order Attribute Grammars. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
31Douglas Comer Domain names: hierarchy in need of organization (panel session, abstract only). Search on Bibsonomy SIGCOMM The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
31Fabrício de Alexandria Fernandes, Robin Passama, Jean-Claude Royer Event strictness for components with complex bindings. Search on Bibsonomy ISEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF behavioural compatibility, event strictness, structured product, communication, protocol, component, binding
31Tom H. F. Broens, Marten van Sinderen, Aart van Halteren, Dick A. C. Quartel Dynamic Context Bindings in Pervasive Middleware. Search on Bibsonomy PerCom Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31John F. Buford, Rakesh Kumar, Greg Perkins Composition Trust Bindings in Pervasive Computing Service Composition. Search on Bibsonomy PerCom Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Tom H. F. Broens, Aart van Halteren, Marten van Sinderen Infrastructural Support for Dynamic Context Bindings. Search on Bibsonomy EuroSSC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Christian Werner, Carsten Buschmann, Tobias Jäcker Enhanced Transport Bindings for Efficient SOAP Messaging. Search on Bibsonomy ICWS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Howard Ausden, Karl A. Nyberg Using ASIS to generate C++ bindings. Search on Bibsonomy SIGAda The full citation details ... 2005 DBLP  DOI  BibTeX  RDF cross-language libraries, multiple language interfaces, program transformation
31Jirí Adámek, Frantisek Plásil Partial Bindings of Components - Any Harm?. Search on Bibsonomy APSEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Anthony Savidis Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language. Search on Bibsonomy RISE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Magdalena Slawiñska Hunting for Bindings in Distributed Object-Oriented Systems. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Fabio Simeoni, David Lievens, Richard Connor 0001, Paolo Manghi Language Bindings to XML. Search on Bibsonomy IEEE Internet Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Bruce R. Barkstrom Ada 95 bindings for the NCSA hierarchical data format. Search on Bibsonomy SIGAda The full citation details ... 2001 DBLP  DOI  BibTeX  RDF HDF4, Hierarchical Data Format, Self-documenting files, Ada, File formats, HDF5, HDF
31Theodore P. Baker, Dong-Ik Oh Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementation. Search on Bibsonomy Ada-Europe The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
31Shinn-Der Lee, Daniel P. Friedman Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF SCHEME
23Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández A simple rewrite notion for call-time choice semantics. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF constructor-based rewriting logic, local bindings, non-determinism calltime choice semantics, sharing, term rewriting systems, functional-logic programming
23Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF languages with bindings, mechanized reasoning, meta-theory, metaPRL, nuPRL, reflection, type theory, higher-order abstract syntax
23Paolo Manghi, Fabio Simeoni, David Lievens, Richard Connor 0001 Hybrid applications over XML: integrating the procedural and declarative approaches. Search on Bibsonomy WIDM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF XML high-level bindings, XML programming, advanced web applications, XML querying, web data integration
23Gerardo Bandera, Manuel Ujaldon, Emilio L. Zapata Compile and Run-Time Support for the Parallelization of Sparse Matrix Updating Algorithms. Search on Bibsonomy J. Supercomput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF data-parallel compilation, pseudo-regular distributions, dynamic data behaviour, semantic bindings, sparse matrix, run-time support
23Shayne Flint Using Java APIs with Native Ada Compilers. Search on Bibsonomy SIGAda The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Java, Java, Ada, Ada, bindings, Java native interface
23Wenyu Lu, Dik Lun Lee, Jiawei Han 0001 A Study on the Structure of Linear Recursion. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF linear recursion, variable connections, static bindings, chain connections, chain recursions, rule compilation, query information, optimized query-processing plans, rule classification, query processing, query processing, optimisation, database theory, deductive databases, deductive database, expansions, logic database
21Wenfei Fan, Floris Geerts, Xibei Jia, Anastasios Kementsietsidis Conditional functional dependencies for capturing data inconsistencies. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SQL, functional dependency, Data cleaning
21Yeong-Sheng Chen, Chien-Hsun Chen, Hua-Yin Fang An Efficient Quorum-Based Fault-Tolerant Approach for Mobility Agents in Wireless Mobile Networks. Search on Bibsonomy SUTC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Fault-Tolerant, Mobility Agent, Mobile IP, Quorum
21Timothy Bourke, Arcot Sowmya Automatically transforming and relating Uppaal models of embedded systems. Search on Bibsonomy EMSOFT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF timed trace inclusion, model transformation, Uppaal
21Heinrich Stamerjohanns, Michael Kohlhase Transforming the arXiv to XML. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Philip Bohannon, Wenfei Fan, Floris Geerts, Xibei Jia, Anastasios Kementsietsidis Conditional Functional Dependencies for Data Cleaning. Search on Bibsonomy ICDE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Alva L. Couch, Hengky Susanto, Marc Chiarini Modeling Change Without Breaking Promises. (PDF / PS) Search on Bibsonomy AIMS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Everest T. Ong, Jay Walter Larson, Boyana Norris, Robert L. Jacob, Michael Tobis, Michael Steder Multilingual Interfaces for Parallel Coupling in Multiphysics and Multiscale Systems. Search on Bibsonomy International Conference on Computational Science (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Ustun Yildiz, Claude Godart Synchronization Solutions for Decentralized Service Orchestrations. Search on Bibsonomy ICIW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Alun D. Preece, Binling Jin, Edoardo Pignotti, Paolo Missier, Suzanne M. Embury, David Stead, Al Brown Managing Information Quality in e-Science Using Semantic Web Technology. Search on Bibsonomy ESWC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Vicki Ha, Kori Inkpen, Jim Wallace, Ryder Ziola Swordfish: user tailored workspaces in multi-display environments. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21James Cheney, Christian Urban alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Hans Ole Rafaelsen, Frank Eliassen Design and Performance of a Media Gateway Trader. Search on Bibsonomy OTM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Tom Boyd, Partha Dasgupta Process Migration: A Generalized Approach Using a Virtualizing Operating System. Search on Bibsonomy ICDCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Seung Jin Lim, Yiu-Kai Ng A Hybrid Fragmentation Approach for Distributed Deductive Database Systems. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Hybrid fragmentation, Vertical fragmentation, Distributed systems, Deductive databases, Horizontal fragmentation
21Thorsten Fiebig, Guido Moerkotte Algebraic XML Construction in Natix. Search on Bibsonomy WISE (1) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Armin Wolf Projection in Adaptive Constraint Handling. Search on Bibsonomy New Trends in Constraints The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Ole Lehrmann Madsen Towards Integration of State Machines and Object-Oriented Languages. Search on Bibsonomy TOOLS (29) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF object-oriented languages, state machines, Object-oriented analysis and design
21Ashutosh Mujumdar, Rajiv Jain, Kewal K. Saluja Incorporating performance and testability constraints during binding in high-level synthesis. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
21Seung Jin Lim, Yiu-Kai Ng A Formal Approach for Horizontal Fragmentation in Distributed Deductive Database Design. Search on Bibsonomy DEXA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
21Anindya Banerjee 0001, David A. Schmidt A Categorical Interpretation of Landin's Correspondence Principle. Search on Bibsonomy MFPS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
21Seppo Sippu, Eljas Soisalon-Soininen Multiple SIP Strategies and Bottom-Up Adorning in Logic Query Optimization. Search on Bibsonomy ICDT The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
21W. P. Weijland Semantics for Logic Programs without Occur Check. Search on Bibsonomy ICALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
21Domenico Saccà, Carlo Zaniolo Magic Counting Methods. Search on Bibsonomy SIGMOD Conference The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
21Keith L. Clark, Steve Gregory Parlog: Parallel Programming in Logic. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF Prolog, PARLOG
21Robert M. Keller, M. Ronan Sleep Applicative Caching. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
21Domenico Saccà, Carlo Zaniolo The Generalized Counting Method for Recursive Logic Queries. Search on Bibsonomy ICDT The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
21Norihisa Suzuki Inferring Types in Smalltalk. Search on Bibsonomy POPL The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
21Russell K. Standish Fat API bindings of C++ objects into scripting languages. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Hui Zhou, Ken Raffenetti, Wesley Bland, Yanfei Guo Generating Bindings in MPICH. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Aaron Küsters, Wil M. P. van der Aalst Developing a High-Performance Process Mining Library with Java and Python Bindings in Rust. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Taejoon Kim A Highly Adaptable and Flexible Rendering Engine by Minimum API Bindings. Search on Bibsonomy Eurographics (Short Papers) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Minhyeop Kim, In-Young Ko Multilevel agent negotiation on service bindings for efficient multi-tasking in IoT environments. Search on Bibsonomy Internet Things The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Gianluca Amato, Francesca Scozzari JGMP: Java bindings and wrappers for the GMP library. Search on Bibsonomy SoftwareX The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Baidyanath Kundu, Vassil Vassilev, Wim Lavrijsen Efficient and Accurate Automatic Python Bindings with cppyy & Cling. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Andrei Popescu 0001 Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Aïssata Maiga, Cyrille Artho, Florian Gilcher, Yannick Moy Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library. Search on Bibsonomy FTSCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Frantisek Vidensky, Frantisek Zboril Jr., Radek Kocí, Frantisek Vítezslav Zboril Operational Semantic of an AgentSpeak(L) Interpreter Using Late Bindings. Search on Bibsonomy ICAART (1) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Martin Larralde Pyrodigal: Python bindings and interface to Prodigal, an efficient method for gene prediction in prokaryotes. Search on Bibsonomy J. Open Source Softw. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Hao Li, Cor-Paul Bezemer Studying Popular Open Source Machine Learning Libraries and Their Cross-Ecosystem Bindings. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
21Andrei Popescu 0001 Rensets and Renaming-Based Recursion for Syntax with Bindings. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Sam Whited Channel Bindings for TLS 1.3. Search on Bibsonomy RFC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Andrei Popescu 0001 Rensets and Renaming-Based Recursion for Syntax with Bindings. Search on Bibsonomy IJCAR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Frantisek Zboril Jr., Frantisek Vidensky, Radek Kocí, Frantisek Vítezslav Zboril Late Bindings in AgentSpeak(L). Search on Bibsonomy ICAART (3) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Jérôme Eberhardt, Diogo Santos-Martins, Andreas F. Tillack, Stefano Forli AutoDock Vina 1.2.0: New Docking Methods, Expanded Force Field, and Python Bindings. Search on Bibsonomy J. Chem. Inf. Model. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Shaked Bergman, Alon Diament, Tamir Tuller New computational model for miRNA-mediated repression reveals novel regulatory roles of miRNA bindings inside the coding region. Search on Bibsonomy Bioinform. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Thomas Koehler 0005, Phil Trinder, Michel Steuwer Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
21Carlos Tarjano, Valdecy Pereira Signal-Envelope: A C++ library with Python bindings for temporal envelope estimation. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
21Martin Ruefenacht, Derek Schafer, Anthony Skjellum, Purushotham V. Bangalore MPIs Language Bindings are Holding MPI Back. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 510 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license