Search results for "Bindings"

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.	Java Grande	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.	EICS	2011	DBLP DOI BibTeX RDF
75	Tristan Ravitch, Steve Jackson 0002, Eric Aderhold, Ben Liblit	Automatic generation of library bindings using static analysis.	PLDI	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.	PVM/MPI	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.	ACM Trans. Math. Softw.	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.	TRIDENTCOM	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.	MERLIN	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.	CSL	2004	DBLP DOI BibTeX RDF
54	Richard W. Selby, Victor R. Basili	Analyzing Error-Prone System Structure.	IEEE Trans. Software Eng.	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.	OTM Conferences (2)	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.	ICLP	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.	SWS	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.	GPCE	2004	DBLP DOI BibTeX RDF
52	Heechern Kim, Chisu Wu	A Class Testing Technique Based on Data Bindings.	APSEC	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.	KES (3)	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.	ACM Trans. Internet Techn.	2008	DBLP DOI BibTeX RDF	Web services standards, Service-oriented computing
41	Romain Lenglet, Shigeru Chiba	Dryverl: a flexible Erlang/C binding compiler.	Erlang Workshop	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.	IEEE Trans. Very Large Scale Integr. Syst.	2005	DBLP DOI BibTeX RDF
41	Pierre-Luc Brunelle, Ettore Merlo, Giuliano Antoniol	Investigating Java Type Analyses for the Receiver-Classes Testing Criterion.	ISSRE	2003	DBLP DOI BibTeX RDF
41	Kamal S. Khouri, Ganesh Lakshminarayana, Niraj K. Jha	Memory binding for performance optimization of control-flow intensive behaviors.	ICCAD	1999	DBLP DOI BibTeX RDF
41	Hans Ole Rafaelsen, Frank Eliassen	Trading and Negotiating Stream Bindings.	Middleware	2000	DBLP DOI BibTeX RDF
41	Øyvind Hanssen, Frank Eliassen	A Framework for Policy Bindings.	DOA	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.	PEPM	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.	Hypertext	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.	EUROMICRO	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.	SAC	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.	ICNP	2006	DBLP DOI BibTeX RDF
31	Cosmin E. Oancea, Stephen M. Watt	Parametric polymorphism for software component architectures.	OOPSLA	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.	SC@ETAPS	2005	DBLP DOI BibTeX RDF
31	Chen Li 0001, Edward Y. Chang	Query Planning with Limited Source Capabilities.	ICDE	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.	ICCL	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.	PLILP	1991	DBLP DOI BibTeX RDF
31	Douglas Comer	Domain names: hierarchy in need of organization (panel session, abstract only).	SIGCOMM	1985	DBLP DOI BibTeX RDF
31	Fabrício de Alexandria Fernandes, Robin Passama, Jean-Claude Royer	Event strictness for components with complex bindings.	ISEC	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.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
31	John F. Buford, Rakesh Kumar, Greg Perkins	Composition Trust Bindings in Pervasive Computing Service Composition.	PerCom Workshops	2006	DBLP DOI BibTeX RDF
31	Tom H. F. Broens, Aart van Halteren, Marten van Sinderen	Infrastructural Support for Dynamic Context Bindings.	EuroSSC	2006	DBLP DOI BibTeX RDF
31	Christian Werner, Carsten Buschmann, Tobias Jäcker	Enhanced Transport Bindings for Efficient SOAP Messaging.	ICWS	2005	DBLP DOI BibTeX RDF
31	Howard Ausden, Karl A. Nyberg	Using ASIS to generate C++ bindings.	SIGAda	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?.	APSEC	2004	DBLP DOI BibTeX RDF
31	Anthony Savidis	Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language.	RISE	2004	DBLP DOI BibTeX RDF
31	Magdalena Slawiñska	Hunting for Bindings in Distributed Object-Oriented Systems.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
31	Fabio Simeoni, David Lievens, Richard Connor 0001, Paolo Manghi	Language Bindings to XML.	IEEE Internet Comput.	2003	DBLP DOI BibTeX RDF
31	Bruce R. Barkstrom	Ada 95 bindings for the NCSA hierarchical data format.	SIGAda	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.	Ada-Europe	1997	DBLP DOI BibTeX RDF
31	Shinn-Der Lee, Daniel P. Friedman	Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes.	POPL	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.	PPDP	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.	ICFP	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.	WIDM	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.	J. Supercomput.	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.	SIGAda	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.	IEEE Trans. Knowl. Data Eng.	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.	ACM Trans. Database Syst.	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.	SUTC	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.	EMSOFT	2008	DBLP DOI BibTeX RDF	timed trace inclusion, model transformation, Uppaal
21	Heinrich Stamerjohanns, Michael Kohlhase	Transforming the arXiv to XML.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
21	Philip Bohannon, Wenfei Fan, Floris Geerts, Xibei Jia, Anastasios Kementsietsidis	Conditional Functional Dependencies for Data Cleaning.	ICDE	2007	DBLP DOI BibTeX RDF
21	Alva L. Couch, Hengky Susanto, Marc Chiarini	Modeling Change Without Breaking Promises. (PDF / PS)	AIMS	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.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF
21	Ustun Yildiz, Claude Godart	Synchronization Solutions for Decentralized Service Orchestrations.	ICIW	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.	ESWC	2006	DBLP DOI BibTeX RDF
21	Vicki Ha, Kori Inkpen, Jim Wallace, Ryder Ziola	Swordfish: user tailored workspaces in multi-display environments.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF
21	James Cheney, Christian Urban	alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence.	ICLP	2004	DBLP DOI BibTeX RDF
21	Hans Ole Rafaelsen, Frank Eliassen	Design and Performance of a Media Gateway Trader.	OTM	2002	DBLP DOI BibTeX RDF
21	Tom Boyd, Partha Dasgupta	Process Migration: A Generalized Approach Using a Virtualizing Operating System.	ICDCS	2002	DBLP DOI BibTeX RDF
21	Seung Jin Lim, Yiu-Kai Ng	A Hybrid Fragmentation Approach for Distributed Deductive Database Systems.	Knowl. Inf. Syst.	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.	WISE (1)	2001	DBLP DOI BibTeX RDF
21	Armin Wolf	Projection in Adaptive Constraint Handling.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
21	Ole Lehrmann Madsen	Towards Integration of State Machines and Object-Oriented Languages.	TOOLS (29)	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.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
21	Seung Jin Lim, Yiu-Kai Ng	A Formal Approach for Horizontal Fragmentation in Distributed Deductive Database Design.	DEXA	1996	DBLP DOI BibTeX RDF
21	Anindya Banerjee 0001, David A. Schmidt	A Categorical Interpretation of Landin's Correspondence Principle.	MFPS	1993	DBLP DOI BibTeX RDF
21	Seppo Sippu, Eljas Soisalon-Soininen	Multiple SIP Strategies and Bottom-Up Adorning in Logic Query Optimization.	ICDT	1990	DBLP DOI BibTeX RDF
21	W. P. Weijland	Semantics for Logic Programs without Occur Check.	ICALP	1988	DBLP DOI BibTeX RDF
21	Domenico Saccà, Carlo Zaniolo	Magic Counting Methods.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
21	Keith L. Clark, Steve Gregory	Parlog: Parallel Programming in Logic.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF	Prolog, PARLOG
21	Robert M. Keller, M. Ronan Sleep	Applicative Caching.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF
21	Domenico Saccà, Carlo Zaniolo	The Generalized Counting Method for Recursive Logic Queries.	ICDT	1986	DBLP DOI BibTeX RDF
21	Norihisa Suzuki	Inferring Types in Smalltalk.	POPL	1981	DBLP DOI BibTeX RDF
21	Russell K. Standish	Fat API bindings of C++ objects into scripting languages.	CoRR	2024	DBLP DOI BibTeX RDF
21	Hui Zhou, Ken Raffenetti, Wesley Bland, Yanfei Guo	Generating Bindings in MPICH.	CoRR	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.	CoRR	2024	DBLP DOI BibTeX RDF
21	Taejoon Kim	A Highly Adaptable and Flexible Rendering Engine by Minimum API Bindings.	Eurographics (Short Papers)	2024	DBLP DOI BibTeX RDF
21	Minhyeop Kim, In-Young Ko	Multilevel agent negotiation on service bindings for efficient multi-tasking in IoT environments.	Internet Things	2023	DBLP DOI BibTeX RDF
21	Gianluca Amato, Francesca Scozzari	JGMP: Java bindings and wrappers for the GMP library.	SoftwareX	2023	DBLP DOI BibTeX RDF
21	Baidyanath Kundu, Vassil Vassilev, Wim Lavrijsen	Efficient and Accurate Automatic Python Bindings with cppyy & Cling.	CoRR	2023	DBLP DOI BibTeX RDF
21	Andrei Popescu 0001	Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version.	J. Autom. Reason.	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.	FTSCS	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.	ICAART (1)	2023	DBLP DOI BibTeX RDF
21	Martin Larralde	Pyrodigal: Python bindings and interface to Prodigal, an efficient method for gene prediction in prokaryotes.	J. Open Source Softw.	2022	DBLP DOI BibTeX RDF
21	Hao Li, Cor-Paul Bezemer	Studying Popular Open Source Machine Learning Libraries and Their Cross-Ecosystem Bindings.	CoRR	2022	DBLP BibTeX RDF
21	Andrei Popescu 0001	Rensets and Renaming-Based Recursion for Syntax with Bindings.	CoRR	2022	DBLP DOI BibTeX RDF
21	Sam Whited	Channel Bindings for TLS 1.3.	RFC	2022	DBLP DOI BibTeX RDF
21	Andrei Popescu 0001	Rensets and Renaming-Based Recursion for Syntax with Bindings.	IJCAR	2022	DBLP DOI BibTeX RDF
21	Frantisek Zboril Jr., Frantisek Vidensky, Radek Kocí, Frantisek Vítezslav Zboril	Late Bindings in AgentSpeak(L).	ICAART (3)	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.	J. Chem. Inf. Model.	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.	Bioinform.	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.	CoRR	2021	DBLP BibTeX RDF
21	Carlos Tarjano, Valdecy Pereira	Signal-Envelope: A C++ library with Python bindings for temporal envelope estimation.	CoRR	2021	DBLP BibTeX RDF
21	Martin Ruefenacht, Derek Schafer, Anthony Skjellum, Purushotham V. Bangalore	MPIs Language Bindings are Holding MPI Back.	CoRR	2021	DBLP BibTeX RDF