Search results for "binding"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Chun-Gi Lyuh, Taewhan Kim	Memory access scheduling and binding considering energy minimization in multi-bank memory systems.	DAC	2004	DBLP DOI BibTeX RDF	scheduling, binding, low energy design
22	Timothy J. Troup, Iain D. G. Darroch	A framework to enable user directed component binding at run-time.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	run-time binding, user directed, framework, component
22	Tatsuo Nakajima	Explicit binding interface for supporting native ATM networks in a CORBA system.	RTCSA	2000	DBLP DOI BibTeX RDF	explicit binding interface, native ATM networks, network bandwidth reservation, GIOP, asynchronous transfer mode, CORBA, transport protocols, transport protocols, client-server systems, client server system, distributed object management, network bandwidth, IIOP
22	Chuck Monahan, Forrest Brewer	Scheduling and binding bounds for RT-level symbolic execution.	ICCAD	1997	DBLP DOI BibTeX RDF	ALAP bounds, as-late-as-possible bounds, binding bounds, efficient operand mapping bound, exact scheduling problem, minimal schedule length, operand recomputation, point-to-point delays, pre-defined data path, register transfer level symbolic execution, time improvement factors, transitive memory units, processor scheduling
21	Petar Radojkovic, Vladimir Cakarevic, Javier Verdú, Alex Pajuelo, Francisco J. Cazorla, Mario Nemirovsky, Mateo Valero	Thread to strand binding of parallel network applications in massive multi-threaded systems.	PPoPP	2010	DBLP DOI BibTeX RDF	ultrasparc t2, simultaneous multithreading, process scheduling, cmt
21	Hooman Shadnia, James S. Wright, James M. Anderson	Interaction force diagrams: new insight into ligand-receptor binding.	J. Comput. Aided Mol. Des.	2009	DBLP DOI BibTeX RDF	Force vectors, Interaction Force Fingerprints, IFFP, Ligand-receptor, Estrogen receptor, Selectivity
21	Feng Wang 0004, Yuan Xie 0001, Andrés Takach	Variation-aware resource sharing and binding in behavioral synthesis.	ASP-DAC	2009	DBLP DOI BibTeX RDF
21	Genta Iha, Hiroshi Doi	An Implementation of the Binding Mechanism in the Web Browser for Preventing XSS Attacks: Introducing the Bind-Value Headers.	ARES	2009	DBLP DOI BibTeX RDF
21	Alissa Cooper, John B. Morris	Binding privacy rules to location on the web.	LocWeb	2009	DBLP DOI BibTeX RDF	privacy, policy, location
21	Rahul Jain 0001	New Binding-Concealing Trade-Offs for Quantum String Commitment.	J. Cryptol.	2008	DBLP DOI BibTeX RDF	String commitment, Quantum channels, Observational divergence, Substate theorem, Relative entropy
21	Raluca Gordân, Leelavati Narlikar, Alexander J. Hartemink	A Fast, Alignment-Free, Conservation-Based Method for Transcription Factor Binding Site Discovery.	RECOMB	2008	DBLP DOI BibTeX RDF
21	Yue Fan, Mark A. Kon, Charles DeLisi	Ensemble Machine Methods for DNA Binding.	ICMLA	2008	DBLP DOI BibTeX RDF
21	Ulrike Mückstein, Hakim Tafer, Stephan H. Bernhart, Maribel Hernandez-Rosales, Jörg Vogel 0002, Peter F. Stadler, Ivo L. Hofacker	Translational Control by RNA-RNA Interaction: Improved Computation of RNA-RNA Binding Thermodynamics.	BIRD	2008	DBLP DOI BibTeX RDF
21	Yun-Young Hwang, Hyung-Jun Yim, Il-Jin Oh, Kyu-Chul Lee	The Universal Adaptor for Dynamic Ubiquitous Services Discovery and Binding.	CSSE (3)	2008	DBLP DOI BibTeX RDF
21	Sunil Kumar, Rajni Garg, Srinivas R. Alla, Xiaoyu Zhang, Vivek K. Jalahalli	3D-Shape analysis of the HIV-1 protease ligand binding site.	CIBCB	2008	DBLP DOI BibTeX RDF
21	Shandar Ahmad, Zulfiqar Ahmad	ATP-binding site as a further application of neural networks to residue level prediction.	IJCNN	2008	DBLP DOI BibTeX RDF
21	Scooter Willis	Protein CorreLogo: an X3D representation of co-evolving pairs, tertiary structure, ligand binding pockets and protein-protein interactions in protein families.	Web3D	2007	DBLP DOI BibTeX RDF	Protein CorreLogo, mutual information, X3D
21	Wensheng Shen, Changjiang Zhang, Jun Zhang 0001	Multiscale simulation of ligand-receptor binding and dissociation in circulation.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	ligand-receptor interaction, multiscale modeling, nonlinear differential equation
21	Sang Jeong Lee, Kyung Dong Ryu, Kang-Won Lee, Jong-Deok Choi	Improving the Performance of Web Services Using Deployment-Time Binding Selection.	ICWS	2007	DBLP DOI BibTeX RDF
21	Liwei Shen, Xin Peng 0001, Wenyun Zhao	Decision Support for Dynamic Adaptation of Business Systems Based on Feature Binding Analysis.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
21	SoonGohn Kim, Eung Nam Ko	An Adaptive Dynamic Window Binding Model for RCSM.	ICIC (1)	2007	DBLP DOI BibTeX RDF
21	An Zeng, Dan Pan 0001, Yongquan Yu, Bi Zeng	Rule Induction for Prediction of MHC II-Binding Peptides.	RSKT	2007	DBLP DOI BibTeX RDF
21	Ilsun You	A Ticket Based Binding Update Authentication Method for Trusted Nodes in Mobile IPv6 Domain.	EUC Workshops	2007	DBLP DOI BibTeX RDF
21	Pamela Zave	Compositional Binding in Network Domains.	FM	2006	DBLP DOI BibTeX RDF
21	Stephanus Daniel Handoko, Chee Keong Kwoh 0001, Yew-Soon Ong, Guanglan Zhang, Vladimir Brusic	Extreme Learning Machine for Predicting HLA-Peptide Binding.	ISNN (2)	2006	DBLP DOI BibTeX RDF
21	Menaka Rajapakse, Bertil Schmidt, Vladimir Brusic	Multi-Objective Evolutionary Algorithm for Discovering Peptide Binding Motifs.	EvoWorkshops	2006	DBLP DOI BibTeX RDF
21	Jianming Zhao, XinJun Mao, Ji Wang 0001	Developing Multi-Agent Systems with Dynamic Binding Mechanism.	IAT	2006	DBLP DOI BibTeX RDF
21	Feng Shi, Qiujian Chen	Prediction of MHC Class I Binding Peptides Using Fourier Analysis and Support Vector Machine.	FSKD	2006	DBLP DOI BibTeX RDF
21	Jung Doo Koo, Jungsook Koo, Dong Chun Lee	A New Authentication Scheme of Binding Update Protocol on Handover in Mobile IPv6 Networks.	EUC Workshops	2006	DBLP DOI BibTeX RDF
21	Youngjin Ahn, Tae-Jin Lee 0001, Hyunseung Choo, Sungchang Lee	DNA: Diameter NEMO Applications Based on Binding Update Integration.	ISPA Workshops	2006	DBLP DOI BibTeX RDF
21	Yang-Suk Kee, Ken Yocum, Andrew A. Chien, Henri Casanova	Grid allocation and reservation - Improving grid resource allocation via integrated selection and binding.	SC	2006	DBLP DOI BibTeX RDF
21	Fred Ma, John P. Knight, Calvin Plett	Physical resource binding for a coarse-grain reconfigurable array using evolutionary algorithms.	IEEE Trans. Very Large Scale Integr. Syst.	2005	DBLP DOI BibTeX RDF
21	Azadeh Davoodi, Ankur Srivastava 0001	Power-driven simultaneous resource binding and floorplanning: a probabilistic approach.	IEEE Trans. Very Large Scale Integr. Syst.	2005	DBLP DOI BibTeX RDF
21	Jinyan Li 0001, Haiquan Li	Using Fixed Point Theorems to Model the Binding in Protein-Protein Interactions.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF
21	Shanshan Song, Kai Hwang 0001, Yu-Kwong Kwok	Trusted Grid Computing with Security Binding and Trust Integration.	J. Grid Comput.	2005	DBLP DOI BibTeX RDF	NAS and PSA benchmarks, performance evaluation, fuzzy logic, resource allocation, computational Grids, trust models, scalability analysis
21	Michele Boreale, Maria Grazia Buscemi, Ugo Montanari	A General Name Binding Mechanism.	TGC	2005	DBLP DOI BibTeX RDF
21	Azadeh Davoodi, Ankur Srivastava 0001	Simultaneous floorplanning and resource binding: a probabilistic approach.	ASP-DAC	2005	DBLP DOI BibTeX RDF
21	Jianxin Li 0002, Jinpeng Huai, Qin Li 0014, Xianxian Li	Towards Security Analysis to Binding Update Protocol in Mobile IPv6 with Formal Method.	MSN	2005	DBLP DOI BibTeX RDF
21	Kwang Chul Jeong, Tae-Jin Lee 0001, Hyunseung Choo	Dual Binding Update with Additional Care of Address in Network Mobility.	MSN	2005	DBLP DOI BibTeX RDF
21	Kai Hwang 0001, Yu-Kwong Kwok, Shanshan Song, Min Cai, Yu Chen 0002, Ying Chen, Runfang Zhou, Xiaosong Lou	GridSec: Trusted Grid Computing with Security Binding and Self-defense Against Network Worms and DDoS Attacks.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
21	Roberto Bonato	Towards a Computational Treatment of Binding Theory.	LACL	2005	DBLP DOI BibTeX RDF
21	Jong-Hyouk Lee, Young-Ju Han, Hyung-Jin Lim, Tai-Myung Chung	New Binding Update Method using GDMHA in Hierarchical Mobile IPv6.	ICCSA (1)	2005	DBLP DOI BibTeX RDF
21	Kwong Yuen Lai, Thi Khoi Anh Phan, Zahir Tari	Efficient SOAP Binding for Mobile Web Services.	LCN	2005	DBLP DOI BibTeX RDF
21	Frank Atanassow, Dave Clarke 0001, Johan Jeuring	UUXML: A Type-Preserving XML Schema-Haskell Data Binding.	PADL	2004	DBLP DOI BibTeX RDF
21	Pedro A. Reche, Ellis L. Reinherz	Definition of MHC Supertypes Through Clustering of MHC Peptide Binding Repertoires.	ICARIS	2004	DBLP DOI BibTeX RDF
21	Avi Ziv	Stimuli Generation with Late Binding of Values.	DATE	2004	DBLP DOI BibTeX RDF
21	Hans Langmaack	Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding.	Essays in Memory of Ole-Johan Dahl	2004	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	Andreas Bender 0002, Hamse Y. Mussa, Gurprem S. Gill, Robert C. Glen	Molecular surface point environments for virtual screening and the elucidation of binding patterns (MOLPRINT).	SMC (5)	2004	DBLP DOI BibTeX RDF
21	Yen-Chih Chen, Jinn-Moon Yang, Chi-Hung Tsai, Cheng-Yan Kao	Comparative Molecular Binding Energy Analysis of HIV-1 Protease Inhibitors Using Genetic Algorithm-Based Partial Least Squares Method.	GECCO (2)	2004	DBLP DOI BibTeX RDF
21	Ho-sik Cho, Eun Kyoung Paik, Yanghee Choi	RBU+: Recursive Binding Update for End-to-End Route Optimization in Nested Mobile Networks.	HSNMC	2004	DBLP DOI BibTeX RDF	pinball routing, NEMO, network mobility, route optimization
21	Einar Broch Johnsen, Olaf Owe	A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects.	FMCO	2004	DBLP DOI BibTeX RDF
21	Heshmatollah Khosravi, Hiroaki Fukuda, Shigeki Goto	New Binding Update Method in Mobile IPv6.	ICOIN	2004	DBLP DOI BibTeX RDF
21	Charles W. Krueger	Product Line Binding Times: What You Don?t Know Can Hurt You.	SPLC	2004	DBLP DOI BibTeX RDF
21	Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel	Binding-Time Analysis for Mercury.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
21	Saurabh Sinha, Martin Tompa	Performance Comparison of Algorithms for FindingTranscription Factor Binding Sites.	BIBE	2003	DBLP DOI BibTeX RDF
21	Ansgar Stammermann, Domenik Helms, Milan Schulte, Arne Schulz, Wolfgang Nebel	Binding, Allocation and Floorplanning in Low Power High-Level Synthesis.	ICCAD	2003	DBLP DOI BibTeX RDF
21	Nattawut Thepayasuwan, Hua Tang, Alex Doboli	An exploration-based binding and scheduling technique for synthesis of digital blocks for mixed-signal applications.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
21	Sebastian Weng, Jochen J. Steil	Learning Compatibility Functions for Feature Binding and Perceptual Grouping.	ICANN	2003	DBLP DOI BibTeX RDF
21	Fortunato Tito Arecchi	Chaotic Neuron Dynamics, Synchronization, and Feature Binding.	Summer School on Neural Networks	2003	DBLP DOI BibTeX RDF
21	Nikos Parlavantzas, Geoff Coulson, Gordon S. Blair	An Extensible Binding Framework for Component-Based Middleware.	EDOC	2003	DBLP DOI BibTeX RDF
21	Murdoch Gabbay, Andrew M. Pitts	A New Approach to Abstract Syntax with Variable Binding.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Alpha-conversion, Permutation actions, Set theory, Abstract syntax, Structural induction
21	Ivan Damgård, Jesper Buus Nielsen	Perfect Hiding and Perfect Binding Universally Composable Commitment Schemes with Constant Expansion Factor.	CRYPTO	2002	DBLP DOI BibTeX RDF
21	Marina Nudelman	Designing and Building the Eiffel Binding for COM.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
21	Chittaranjan A. Mandal, P. P. Chakrabarti 0001, Sujoy Ghose	GABIND: a GA approach to allocation and binding for the high-level synthesis of data paths.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
21	Wim Vanhoof	Binding-Time Analysis by Constraint Solving. A Modular and Higher-Order Approach for Mercury.	LPAR	2000	DBLP DOI BibTeX RDF
21	Satish Pillai, Margarida F. Jacome	Symbolic Binding for Clustered VLIW ASIPs.	ICCD	2000	DBLP DOI BibTeX RDF
21	Tim W. Nattkemper, Heiko Wersing, Helge J. Ritter, Walter Schubert	Fluorescence Micrograph Segmentation by Gestalt-Based Feature Binding.	IJCNN (1)	2000	DBLP DOI BibTeX RDF
21	Emmanuel Briot, Joël Brobecker, Arnaud Charlet	GtkAda: Design and Implementation of a High Level Binding in Ada.	Ada-Europe	2000	DBLP DOI BibTeX RDF
21	Kenichi Asai	Binding-Time Analysis for Both Static and Dynamic Expressions.	SAS	1999	DBLP DOI BibTeX RDF
21	Ashok Kumar 0001, Magdy A. Bayoumi	Novel Formulations for Low-Power Binding of Function Units in High-Level Synthesis.	ICCD	1999	DBLP DOI BibTeX RDF	High-level Synthesis, Low Power Design
21	Johann Blieberger, Johann Klasek, Eva Kühn	Ada Binding to a Shared Object Layer.	Ada-Europe	1999	DBLP DOI BibTeX RDF
21	Flavius Gruian, Krzysztof Kuchcinski	Operation Binding and Scheduling for Low Power Using Constraint Logic Programming.	EUROMICRO	1998	DBLP DOI BibTeX RDF
21	Eric R. Verheul, Henk C. A. van Tilborg	Binding ElGamal: A Fraud-Detectable Alternative to Key-Escrow Proposals.	EUROCRYPT	1997	DBLP DOI BibTeX RDF	Traceable ElGamal, Key Recovery, Key Escrow, ElGamal
21	Yung-Ming Fang, D. F. Wong 0001	Simultaneous functional-unit binding and floorplanning.	ICCAD	1994	DBLP DOI BibTeX RDF
21	Mikhail A. Bulyonkov	Extracting Polyvariant Binding Time Analysis from Polyvariant Specializer.	PEPM	1993	DBLP DOI BibTeX RDF
21	Joan López-Moliner, Josep M. Sopena	Variable Binding Using Serial Order in Recurrent Neural Networks.	IWANN	1993	DBLP DOI BibTeX RDF
21	Yves Eychenne, Michel Simatic, Christophe Baradel, Bruno Kohen	Exploiting late binding in object messaging for implementing object replication.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
21	Neerav Berry, Barry M. Pangrle	SCHALLOC: an algorithm for simultaneous scheduling & connectivity binding in a datapath synthesis system.	EURO-DAC	1990	DBLP DOI BibTeX RDF
21	Nam Sung Woo	A Global, Dynamic Register Allocation and Binding for a Data Path Synthesis System.	DAC	1990	DBLP DOI BibTeX RDF
21	Jayanth V. Rajan, Donald E. Thomas	Synthesis by delayed binding of decisions.	DAC	1985	DBLP DOI BibTeX RDF	behavioral partioning, synthesis, automatic design
21	Vaughan R. Pratt	Program Logic Without Binding is Decidable.	POPL	1981	DBLP DOI BibTeX RDF
18	Colin Stirling	Dependency Tree Automata.	FoSSaCS	2009	DBLP DOI BibTeX RDF	binding terms, Tree automata, typed lambda calculus
18	Mikhail S. Gelfand, Alexei E. Kazakov, Yuri D. Korostelev, Olga N. Laikova, Andrey A. Mironov, Aleksandra B. Rakhmaninova, Dmitry A. Ravcheev, Dmitry A. Rodionov, Alexei G. Vitreschak	Evolution of Regulatory Systems in Bacteria (Invited Keynote Talk).	ISBRA	2009	DBLP DOI BibTeX RDF	regulation of transcription, regulation of translation, T-box, Comparative genomics, transcription factor, binding site, bacteria
18	Huang-Cheng Kuo, Kuan-Yu Su, Ping-Lin Ong, Jen-Peng Huang	Learning a prediction model for protein-protein recognition.	ICIS	2009	DBLP DOI BibTeX RDF	protein complex, protein-protein recognition, genetic programming, feature vector, binding site
18	Srihathai Prammanee, Klaus Moessner	Mobile Multimodality: A Theoretical Approach to Facilitate Virtual Device Environments.	Mob. Networks Appl.	2008	DBLP DOI BibTeX RDF	ambient aware user interfaces, interface and modality binding, Modality Service Tree, mobile, multimodal interaction, ubiquitous, virtual device
18	Murdoch James Gabbay, Martin Hofmann 0001	Nominal Renaming Sets.	LPAR	2008	DBLP DOI BibTeX RDF	Nominal renaming sets, nominal sets, abstract syntax with binding
18	Rui Guo, Bin B. Zhu, Min Feng 0002, Aimin Pan, Bosheng Zhou	Compoweb: a component-oriented web architecture.	WWW	2008	DBLP DOI BibTeX RDF	delayed-binding, security, web, component, interface, reuse, mashup, protection, browser, encapsulation, isolation, same-origin policy
18	Marcelo P. Fiore	Second-Order and Dependently-Sorted Abstract Syntax.	LICS	2008	DBLP DOI BibTeX RDF	second-order syntax, dependently-sorted syntax, alpha-equivalence, metavariable, meta-substitution, categorical algebra, substitution, abstract syntax, variable binding
18	Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich	Engineering formal metatheory.	POPL	2008	DBLP DOI BibTeX RDF	locally nameless, binding, coq
18	Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw	Implicitly-threaded parallelism in Manticore.	ICFP	2008	DBLP DOI BibTeX RDF	implictly-threaded parallelism, parallel binding, parallel case, data parallelism, exceptions
18	Huafei Zhu	Fully-Simulatable Oblivious Set Transfer.	ACISP	2008	DBLP DOI BibTeX RDF	Oblivious set transfer, perfectly hiding commitment, perfectly binding commitment, real/ideal world simulation paradigm
18	Lifang Liu 0001, Licheng Jiao, Hongwei Huo	A Greedy Two-stage Gibbs Sampling Method for Motif Discovery in Biological Sequences.	BMEI (1)	2008	DBLP DOI BibTeX RDF	Gibbs sampling, Motif discovery, Transcription factors, Binding sites
18	Jackson Marques de Carvalho, Helmut Jürgensen	A Dynamical Document Structure to Capture the Semantics of Mathematical Concepts.	ACHI	2008	DBLP DOI BibTeX RDF	grammar fragments, attributed context-free grammars, meaning-to-syntax binding, extensibility, incremental update, meta-structure, authoring model
18	Alastair Butler	Scope control and grammatical dependencies.	J. Log. Lang. Inf.	2007	DBLP DOI BibTeX RDF	Grammatical dependencies, Donkey anaphora, Binding theory, Scope marking, Control, Movement, Dynamic semantics
18	Bang-Hung Yang, Shyh-Jen Wang, Yuan-Hwa Chou, Tung-Ping Su, Shih-Pei Chen, Jih-Shian Lee, Jyh-Cheng Chen	Evaluation of Reference Tissue Model for Serotonin Transporters Using [123I] ADAM Tracer.	MIMI	2007	DBLP DOI BibTeX RDF	serotonin transporters, reference tissue model, [123I] ADAM, binding potential
18	David Herman	Functional pearl: the great escape or, how to jump the border without getting caught.	ICFP	2007	DBLP DOI BibTeX RDF	delimited control, continuations, dynamic binding
18	Soheil Aminzadeh, Saeed Safari	Co-evolutionary high-level test synthesis.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	co-evolutionary algorithm, module binding, genetic algorithm, scheduling, register allocation, high-level test synthesis
18	Alexandra M. Carvalho, Ana T. Freitas, Arlindo L. Oliveira, Marie-France Sagot	An Efficient Algorithm for the Identification of Structured Motifs in DNA Promoter Sequences.	IEEE ACM Trans. Comput. Biol. Bioinform.	2006	DBLP DOI BibTeX RDF	Box-link, factor tree, binding site consensus, promoter, structured motif
18	Chris Barker, Chung-chieh Shan	Types as Graphs: Continuations in Type Logical Grammar.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	type-logical grammar, resource sensitivity, polarity licensing, superiority, evaluation order, continuations, binding, quantification, staging, delimited continuations