|
|
Venues (Conferences, Journals, ...)
|
|
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 |
103 | Jeremiah Willcock, Andrew Lumsdaine, Arch D. Robison |
Using MPI with C# and the common language infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, Seattle, Washington, USA, November 3-5, 2002, pp. 238, 2002, ACM, 1-58113-599-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
common language infrastructure (CLI), parallel computing, message passing interface (MPI), C#, NET |
93 | Albrecht Schmidt 0001 |
Engineering interactive ubiquitous computing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2011, Pisa, Italy, June 13-16, 2011, pp. 229-230, 2011, ACM, 978-1-4503-0670-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
75 | Tristan Ravitch, Steve Jackson 0002, Eric Aderhold, Ben Liblit |
Automatic generation of library bindings using static analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 352-362, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ffi, multi-language code reuse, static library analysis, bindings, dataflow analysis, foreign function interfaces |
72 | Craig Edward Rasmussen, Jeffrey M. Squyres |
A Case for New MPI Fortran Bindings. ![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. 183-190, 2005, Springer, 3-540-29009-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Karl Meerbergen, Kresimir Fresl, Toon Knapen |
C++ Bindings to External Software Libraries with Examples from BLAS, LAPACK, UMFPACK, and MUMPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 36(4), pp. 22:1-22:23, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
C++, Bindings, BLAS, LAPACK, traits |
65 | Antoine Boutet, Benoit Le Texier, Julien Montavont, Nicolas Montavont, Guillaume Schreiner |
Advantages of flow bindings: an embedded mobile network use case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRIDENTCOM ![In: 4th International Conference on Testbeds & Research Infrastructures for the DEvelopment of NeTworks & COMmunities (TRIDENTCOM 2008), March 18-20, 2008, Innsbruck, Austria, pp. 14, 2008, ICST, 978-963-9799-24-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
IPv6 mobility, NEMO basic support, flow bindings, next generation wireless network testbeds, embedded applications |
65 | Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey |
A computational approach to reflective meta-reasoning about languages with bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MERLIN ![In: ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2005, Tallinn, Estonia, September 30, 2005, pp. 2-12, 2005, ACM, 978-1-59593-072-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
MetaPRL, Nuprl, languages with bindings, programming language, reflection, experimentation, type theory, higher-order abstract syntax |
62 | Dale Miller 0001 |
Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier: An Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 24, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
54 | Richard W. Selby, Victor R. Basili |
Analyzing Error-Prone System Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(2), pp. 141-152, 1991. The full citation details ...](Pics/full.jpeg) |
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 |
52 | Hans Ole Rafaelsen, Frank Eliassen, Sharath Babu Musunoori |
Towards Self-organizing Distribution Structures for Streaming Media. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (2) ![In: On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II, pp. 1825-1842, 2006, Springer, 3-540-48274-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
52 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
A Tabling Implementation Based on Variables with Multiple Bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 190-204, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Performance, Logic Programming, Implementation, Tabling, OR-Parallelism |
52 | Sebastian Gajek, Lijun Liao, Jörg Schwenk |
Stronger TLS bindings for SAML assertions and SAML artifacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWS ![In: Proceedings of the 5th ACM Workshop On Secure Web Services, SWS 2008, Alexandria, VA, USA, October 31, 2008, pp. 11-20, 2008, ACM, 978-1-60558-292-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
client certificate, fim, saml, tls |
52 | Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli |
A Generative Approach to the Implementation of Language Bindings for the Document Object Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings, pp. 469-487, 2004, Springer, 3-540-23580-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Heechern Kim, Chisu Wu |
A Class Testing Technique Based on Data Bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea, pp. 104-109, 1996, IEEE Computer Society, 0-8186-7638-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Software testing, data binding, class testing |
44 | Yasuhisa Tamura, Kazuya Sumi, Takeshi Yamamuro, Masashi Maejima |
CSCL Data Structurization and Inter-LMS Sharing with Use of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part III, pp. 515-522, 2008, Springer, 978-3-540-85566-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
XML bindings, automatic exchange, Web services, Collaborative Learning, CSCL |
41 | Robert A. van Engelen |
A framework for service-oriented computing with C and C++ Web service components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Internet Techn. ![In: ACM Trans. Internet Techn. 8(3), pp. 12:1-12:25, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Web services standards, Service-oriented computing |
41 | Romain Lenglet, Shigeru Chiba |
Dryverl: a flexible Erlang/C binding compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006, pp. 21-31, 2006, ACM, 1-59593-490-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
stub, compiler, C, erlang, binding, port, driver, ODP |
41 | Kamal S. Khouri, Ganesh Lakshminarayana, Niraj K. Jha |
Memory binding for performance optimization of control-flow intensive behavioral descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 13(5), pp. 513-524, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Pierre-Luc Brunelle, Ettore Merlo, Giuliano Antoniol |
Investigating Java Type Analyses for the Receiver-Classes Testing Criterion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA, pp. 419-429, 2003, IEEE Computer Society, 0-7695-2007-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
41 | Kamal S. Khouri, Ganesh Lakshminarayana, Niraj K. Jha |
Memory binding for performance optimization of control-flow intensive behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999, pp. 482-488, 1999, IEEE Computer Society, 0-7803-5832-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
41 | Hans Ole Rafaelsen, Frank Eliassen |
Trading and Negotiating Stream Bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Middleware 2000, IFIP/ACM International Conference on Distributed Systems Platforms, New York, NY, USA, April 4-7, 2000, Proceedings, pp. 289-307, 2000, Springer, 3-540-67352-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
41 | Øyvind Hanssen, Frank Eliassen |
A Framework for Policy Bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOA ![In: International Symposium on Distributed Objects and Applications, DOA 1999, Edinburgh, United Kingdom, September 5-7, 1999, pp. 2-11, 1999, IEEE Computer Society, 0-7695-0182-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
A flexible framework for programming with non-deterministicfunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, pp. 91-100, 2009, ACM, 978-1-60558-327-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
call-time choice, local bindings, non-deterministic functions, run-time-choice, term rewriting systems |
34 | Claus Atzenbeck, Peter J. Nürnberg |
Constraints in spatial structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2005, Proceedings of the 16th ACM Conference on Hypertext and Hypermedia, September 6-9, 2005, Salzburg, Austria, pp. 63-65, 2005, ACM, 1-59593-168-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
WildDocs, knowledge representation, user interface design, hypermedia, collections, bindings, knowledge work, spatial structures |
34 | Han-Suk Choi, Jae Soo Yoo, Ok-Bae Chang |
A New Control Service Model Based on CORBA for Distributed Multimedia Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 467-, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
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 |
31 | David Briggs, Suad Alagic |
Algebraic specification techniques for parametric types with logic-based constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1890-1897, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
parametric types, verification theories, assertions, PVS, JML |
31 | Guor-Huar Lu, Changho Choi, Zhi-Li Zhang |
Vault: A Secure Binding Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: Proceedings of the 14th IEEE International Conference on Network Protocols, ICNP 2006, November 12-15, 2006, Santa Barbara, California, USA, pp. 168-177, 2006, IEEE Computer Society, 1-4244-0593-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Cosmin E. Oancea, Stephen M. Watt |
Parametric polymorphism for software component architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 147-166, 2005, ACM, 1-59593-031-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
antiunification, software component architecture, generics, templates, parametric polymorphism |
31 | Cesare Pautasso, Gustavo Alonso |
Flexible Binding for Reusable Composition of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC@ETAPS ![In: Software Composition - 4th International Workshop, SC@ETAPS 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers, pp. 151-166, 2005, Springer, 3-540-28748-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Chen Li 0001, Edward Y. Chang |
Query Planning with Limited Source Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28 - March 3, 2000, pp. 401-412, 2000, IEEE Computer Society, 0-7695-0506-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
information-integration systems, limited source capabilities, Data-log programs |
31 | Roberto Ierusalimschy, Renato Cerqueira, Noemi de La Rocque Rodriguez |
Using Reflexivity to Interface with CORBA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: Proceedings of the 1998 International Conference on Computer Languages, ICCL 1998, Chicago, IL, USA, May 14-16, 1998, pp. 39-47, 1998, IEEE Computer Society, 0-8186-8454-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
CORBA binding, interpreted languages, reflexivity |
31 | Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper |
Efficient Incremental Evaluation of Higher order Attribute Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings, pp. 231-242, 1991, Springer, 3-540-54444-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
31 | Douglas Comer |
Domain names: hierarchy in need of organization (panel session, abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the Ninth Symposium on Data Communications, SIGCOMM 1985, Whistler Moutain, British Columbia, Canada, September 10-12, 1985, pp. 72, 1985, ACM, 0-89791-164-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
31 | Fabrício de Alexandria Fernandes, Robin Passama, Jean-Claude Royer |
Event strictness for components with complex bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: Proceeding of the 2nd Annual India Software Engineering Conference, ISEC 2009, Pune, India, February 23-26, 2009, pp. 47-56, 2009, ACM, 978-1-60558-426-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
behavioural compatibility, event strictness, structured product, communication, protocol, component, binding |
31 | Tom H. F. Broens, Marten van Sinderen, Aart van Halteren, Dick A. C. Quartel |
Dynamic Context Bindings in Pervasive Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom Workshops ![In: Fifth Annual IEEE International Conference on Pervasive Computing and Communications - Workshops (PerCom Workshops 2007), 19-23 March 2007, White Plains, New York, USA, pp. 443-448, 2007, IEEE Computer Society, 978-0-7695-2788-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | John F. Buford, Rakesh Kumar, Greg Perkins |
Composition Trust Bindings in Pervasive Computing Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom Workshops ![In: 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 13-17 March 2006, Pisa, Italy, pp. 261-266, 2006, IEEE Computer Society, 0-7695-2520-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Tom H. F. Broens, Aart van Halteren, Marten van Sinderen |
Infrastructural Support for Dynamic Context Bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSSC ![In: Smart Sensing and Context, First European Conference, EuroSSC 2006, Enschede, Netherlands, October 25-27, 2006, Proceedings, pp. 82-97, 2006, Springer, 3-540-47842-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Christian Werner, Carsten Buschmann, Tobias Jäcker |
Enhanced Transport Bindings for Efficient SOAP Messaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2005 IEEE International Conference on Web Services (ICWS 2005), 11-15 July 2005, Orlando, FL, USA, pp. 193-200, 2005, IEEE Computer Society, 0-7695-2409-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Howard Ausden, Karl A. Nyberg |
Using ASIS to generate C++ bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005, pp. 23-30, 2005, ACM, 1-59593-185-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
cross-language libraries, multiple language interfaces, program transformation |
31 | Jirí Adámek, Frantisek Plásil |
Partial Bindings of Components - Any Harm?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November - 3 December 2004, Busan, Korea, pp. 632-639, 2004, IEEE Computer Society, 0-7695-2245-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Anthony Savidis |
Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISE ![In: Rapid Integration of Software Engineering Techniques, First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers, pp. 11-22, 2004, Springer, 3-540-25812-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Magdalena Slawiñska |
Hunting for Bindings in Distributed Object-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I, pp. 35-42, 2004, Springer, 3-540-22114-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Fabio Simeoni, David Lievens, Richard Connor 0001, Paolo Manghi |
Language Bindings to XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 7(1), pp. 19-27, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Bruce R. Barkstrom |
Ada 95 bindings for the NCSA hierarchical data format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings ACM SIGAda Annual International Conference, SIGAda 2001, Twin Cities, Best Western The Thunderbird Hotel & Convention Center, Bloomington, MN, USA, September 30 - October 4, 2001., pp. 27-30, 2001, ACM, 1-58113-392-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
HDF4, Hierarchical Data Format, Self-documenting files, Ada, File formats, HDF5, HDF |
31 | Theodore P. Baker, Dong-Ik Oh |
Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings, pp. 13-22, 1997, Springer, 3-540-63114-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
31 | Shinn-Der Lee, Daniel P. Friedman |
Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 479-492, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
SCHEME |
23 | Francisco 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](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland, pp. 197-208, 2007, ACM, 978-1-59593-769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
constructor-based rewriting logic, local bindings, non-determinism calltime choice semantics, sharing, term rewriting systems, functional-logic programming |
23 | Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov |
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 172-183, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
languages with bindings, mechanized reasoning, meta-theory, metaPRL, nuPRL, reflection, type theory, higher-order abstract syntax |
23 | Paolo Manghi, Fabio Simeoni, David Lievens, Richard Connor 0001 |
Hybrid applications over XML: integrating the procedural and declarative approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIDM ![In: Fourth ACM CIKM International Workshop on Web Information and Data Management (WIDM 2002), SAIC Headquaters, McLean, Virginia, USA, November 8, 2002, pp. 9-14, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
XML high-level bindings, XML programming, advanced web applications, XML querying, web data integration |
23 | Gerardo Bandera, Manuel Ujaldon, Emilio L. Zapata |
Compile and Run-Time Support for the Parallelization of Sparse Matrix Updating Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 17(3), pp. 263-276, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
data-parallel compilation, pseudo-regular distributions, dynamic data behaviour, semantic bindings, sparse matrix, run-time support |
23 | Shayne Flint |
Using Java APIs with Native Ada Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, SIGAda 1998, Washington, DC, USA, November 8-12, 1998, pp. 193-203, 1998, ACM, 1-58113-033-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Java, Java, Ada, Ada, bindings, Java native interface |
23 | Wenyu Lu, Dik Lun Lee, Jiawei Han 0001 |
A Study on the Structure of Linear Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(5), pp. 723-737, 1994. The full citation details ...](Pics/full.jpeg) |
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 |
21 | Wenfei Fan, Floris Geerts, Xibei Jia, Anastasios Kementsietsidis |
Conditional functional dependencies for capturing data inconsistencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 33(2), pp. 6:1-6:48, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SQL, functional dependency, Data cleaning |
21 | Yeong-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](Pics/bibsonomy.png) |
SUTC ![In: IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2008), 11-13 June 2008, Taichung, Taiwan, pp. 373-378, 2008, IEEE Computer Society, 978-0-7695-3158-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Fault-Tolerant, Mobility Agent, Mobile IP, Quorum |
21 | Timothy Bourke, Arcot Sowmya |
Automatically transforming and relating Uppaal models of embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 59-68, 2008, ACM, 978-1-60558-468-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
timed trace inclusion, model transformation, Uppaal |
21 | Heinrich Stamerjohanns, Michael Kohlhase |
Transforming the arXiv to XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC/MKM/Calculemus ![In: Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings, pp. 574-582, 2008, Springer, 978-3-540-85109-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Philip Bohannon, Wenfei Fan, Floris Geerts, Xibei Jia, Anastasios Kementsietsidis |
Conditional Functional Dependencies for Data Cleaning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 23rd International Conference on Data Engineering, ICDE 2007, The Marmara Hotel, Istanbul, Turkey, April 15-20, 2007, pp. 746-755, 2007, IEEE Computer Society, 1-4244-0802-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Alva L. Couch, Hengky Susanto, Marc Chiarini |
Modeling Change Without Breaking Promises. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMS ![In: Inter-Domain Management, First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007, Proceedings, pp. 97-108, 2007, Springer, 978-3-540-72985-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Everest 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](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2007, 7th International Conference Beijing, China, May 27-30, 2007, Proceedings, Part I, pp. 931-938, 2007, Springer, 978-3-540-72583-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Ustun Yildiz, Claude Godart |
Synchronization Solutions for Decentralized Service Orchestrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: International Conference on Internet and Web Applications and Services (ICIW 2007), May 13-19, 2007, Le Morne, Mauritius, pp. 39, 2007, IEEE Computer Society, 0-7695-2844-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Alun 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](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 3rd European Semantic Web Conference, ESWC 2006, Budva, Montenegro, June 11-14, 2006, Proceedings, pp. 472-486, 2006, Springer, 3-540-34544-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Vicki Ha, Kori Inkpen, Jim Wallace, Ryder Ziola |
Swordfish: user tailored workspaces in multi-display environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 1487-1492, 2006, ACM, 978-1-59593-298-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | James Cheney, Christian Urban |
alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings, pp. 269-283, 2004, Springer, 3-540-22671-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Hans Ole Rafaelsen, Frank Eliassen |
Design and Performance of a Media Gateway Trader. ![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. 675-692, 2002, Springer, 3-540-00106-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Tom Boyd, Partha Dasgupta |
Process Migration: A Generalized Approach Using a Virtualizing Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), Vienna, Austria, July 2-5, 2002, pp. 385-392, 2002, IEEE Computer Society, 0-7695-1585-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Seung Jin Lim, Yiu-Kai Ng |
A Hybrid Fragmentation Approach for Distributed Deductive Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 3(2), pp. 198-224, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Hybrid fragmentation, Vertical fragmentation, Distributed systems, Deductive databases, Horizontal fragmentation |
21 | Thorsten Fiebig, Guido Moerkotte |
Algebraic XML Construction in Natix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE (1) ![In: Proceedings of the 2nd International Conference on Web Information Systems Engineering, WISE'01, Organized by WISE Society and Kyoto University, Kyoto, Japan, 3-6 December 2001, Volume 1 (Main program), pp. 212-221, 2001, IEEE Computer Society, 0-7695-1393-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Armin Wolf |
Projection in Adaptive Constraint Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Trends in Constraints ![In: New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers, pp. 318-338, 1999, Springer, 3-540-67885-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Ole Lehrmann Madsen |
Towards Integration of State Machines and Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (29) ![In: TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France, pp. 261-274, 1999, IEEE Computer Society, 0-7695-0275-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
object-oriented languages, state machines, Object-oriented analysis and design |
21 | Ashutosh Mujumdar, Rajiv Jain, Kewal K. Saluja |
Incorporating performance and testability constraints during binding in high-level synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(10), pp. 1212-1225, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Seung Jin Lim, Yiu-Kai Ng |
A Formal Approach for Horizontal Fragmentation in Distributed Deductive Database Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 7th International Conference, DEXA '96, Zurich, Switzerland, September 9-13, 1996, Proceedings, pp. 234-243, 1996, Springer, 3-540-61656-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Anindya Banerjee 0001, David A. Schmidt |
A Categorical Interpretation of Landin's Correspondence Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings, pp. 587-602, 1993, Springer, 3-540-58027-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Seppo Sippu, Eljas Soisalon-Soininen |
Multiple SIP Strategies and Bottom-Up Adorning in Logic Query Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: ICDT'90, Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings, pp. 485-498, 1990, Springer, 3-540-53507-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
21 | W. P. Weijland |
Semantics for Logic Programs without Occur Check. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings, pp. 710-726, 1988, Springer, 3-540-19488-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
21 | Domenico Saccà, Carlo Zaniolo |
Magic Counting Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, San Francisco, CA, USA, May 27-29, 1987, pp. 49-59, 1987, ACM Press, 978-0-89791-236-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
21 | Keith L. Clark, Steve Gregory |
Parlog: Parallel Programming in Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 8(1), pp. 1-49, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
Prolog, PARLOG |
21 | Robert M. Keller, M. Ronan Sleep |
Applicative Caching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 8(1), pp. 88-108, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
21 | Domenico Saccà, Carlo Zaniolo |
The Generalized Counting Method for Recursive Logic Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: ICDT'86, International Conference on Database Theory, Rome, Italy, September 8-10, 1986, Proceedings, pp. 31-53, 1986, Springer, 3-540-17187-8. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
21 | Norihisa Suzuki |
Inferring Types in Smalltalk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, Williamsburg, Virginia, USA, January 1981, pp. 187-199, 1981, ACM Press, 0-89791-029-X. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
21 | Russell K. Standish |
Fat API bindings of C++ objects into scripting languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.14940, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Hui Zhou, Ken Raffenetti, Wesley Bland, Yanfei Guo |
Generating Bindings in MPICH. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.16547, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Aaron 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.14149, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Taejoon Kim |
A Highly Adaptable and Flexible Rendering Engine by Minimum API Bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eurographics (Short Papers) ![In: 45th Annual Conference of the European Association for Computer Graphics, Eurographics 2024 - Short Papers, Limassol, Cyprus, April 22-26, 2024., 2024, Eurographics Association. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Minhyeop Kim, In-Young Ko |
Multilevel agent negotiation on service bindings for efficient multi-tasking in IoT environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Things ![In: Internet Things 23, pp. 100838, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Gianluca Amato, Francesca Scozzari |
JGMP: Java bindings and wrappers for the GMP library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftwareX ![In: SoftwareX 23, pp. 101428, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Baidyanath Kundu, Vassil Vassilev, Wim Lavrijsen |
Efficient and Accurate Automatic Python Bindings with cppyy & Cling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.02712, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Andrei Popescu 0001 |
Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 67(3), pp. 23, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Aï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](Pics/bibsonomy.png) |
FTSCS ![In: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023, pp. 37-47, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Frantisek Vidensky, Frantisek Zboril Jr., Radek Kocí, Frantisek Vítezslav Zboril |
Operational Semantic of an AgentSpeak(L) Interpreter Using Late Bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (1) ![In: Proceedings of the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, Volume 1, Lisbon, Portugal, February 22-24, 2023., pp. 173-180, 2023, SCITEPRESS, 978-989-758-623-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Martin Larralde |
Pyrodigal: Python bindings and interface to Prodigal, an efficient method for gene prediction in prokaryotes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Open Source Softw. ![In: J. Open Source Softw. 7(72), pp. 4296, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Hao Li, Cor-Paul Bezemer |
Studying Popular Open Source Machine Learning Libraries and Their Cross-Ecosystem Bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.07201, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
21 | Andrei Popescu 0001 |
Rensets and Renaming-Based Recursion for Syntax with Bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.09233, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Sam Whited |
Channel Bindings for TLS 1.3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 9266, pp. 1-7, July 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Andrei Popescu 0001 |
Rensets and Renaming-Based Recursion for Syntax with Bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings, pp. 618-639, 2022, Springer, 978-3-031-10768-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Frantisek Zboril Jr., Frantisek Vidensky, Radek Kocí, Frantisek Vítezslav Zboril |
Late Bindings in AgentSpeak(L). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (3) ![In: Proceedings of the 14th International Conference on Agents and Artificial Intelligence, ICAART 2022, Volume 3, Online Streaming, February 3-5, 2022., pp. 715-724, 2022, SCITEPRESS, 978-989-758-547-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Jé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](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 61(8), pp. 3891-3898, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Shaked 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](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 36(22-23), pp. 5398-5404, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Koehler 0005, Phil Trinder, Michel Steuwer |
Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations in Languages with Bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.13040, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Carlos Tarjano, Valdecy Pereira |
Signal-Envelope: A C++ library with Python bindings for temporal envelope estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.11807, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Martin Ruefenacht, Derek Schafer, Anthony Skjellum, Purushotham V. Bangalore |
MPIs Language Bindings are Holding MPI Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.10566, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 510 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|