Search results for "polymorphic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Richard Ruzicka, Lukás Sekanina	Evolutionary circuit design in REPOMO - reconfigurable polymorphic module.	Computational Intelligence	2006	DBLP BibTeX RDF
14	Lei Chen 0015, Adel Ben Mnaouer, Chuan Heng Foh	An Optimized Polymorphic Hybrid Multicast Routing Protocol (OPHMR) for Ad Hoc Networks.	ICC	2006	DBLP DOI BibTeX RDF
14	Jerome Vouillon	Polymorphic regular tree types and patterns.	POPL	2006	DBLP DOI BibTeX RDF	polymorphism, subtyping, tree automata
14	Israel A. Byrd, Andrew E. Pollard, Matthew W. Kay	Delayed Termination Following Pacing Induced Shifts from Monomorphic to Polymorphic Ventricular Tachycardia: Implications for Antitachycardia Pacing.	EMBC	2006	DBLP DOI BibTeX RDF
14	Vivek Iyer, Antonis A. Armoundas	Unraveling the Mechanisms of Catecholaminergic Polymorphic Ventricular Tachycardia.	EMBC (Supplement)	2006	DBLP DOI BibTeX RDF
14	Michael Furr, Jeffrey S. Foster	Polymorphic Type Inference for the JNI.	ESOP	2006	DBLP DOI BibTeX RDF
14	Oliver Pell, Wayne Luk	Compiling Higher-Order Polymorphic Hardware Descriptions Into Parametrised VHDL Libraries with Flexible Placement Information.	FPL	2006	DBLP DOI BibTeX RDF
14	Prahlad Fogla, Monirul Islam Sharif, Roberto Perdisci, Oleg M. Kolesnikov, Wenke Lee	Polymorphic Blending Attacks.	USENIX Security Symposium	2006	DBLP BibTeX RDF
14	Jisheng Wang, Ihab Hamadeh, George Kesidis, David J. Miller 0001	Polymorphic worm detection and defense: system design, experimental methodology, and data resources.	LSAD@SIGCOMM	2006	DBLP DOI BibTeX RDF
14	Adrian Paschke	A Typed Hybrid Description Logic Programming Language with Polymorphic Order-Sorted DL-Typed Unification for Semantic Web Type Systems.	OWLED	2006	DBLP BibTeX RDF
14	Bradley Stephenson, Biplab Sikdar 0001	A Quasi-Species Approach for Modeling the Dynamics of Polymorphic Worms.	INFOCOM	2006	DBLP DOI BibTeX RDF
14	Samuel Dilshan Somasundaram, Andreas Jakobsson, John A. S. Smith	Frequency selective detection of NQR signals in the presence of multiple polymorphic forms.	EUSIPCO	2006	DBLP BibTeX RDF
14	Edward Osinski	A Polymorphic Type System and Compilation Scheme for Record Concatenation.		2006	RDF
14	Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen	Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus.	MFPS	2005	DBLP DOI BibTeX RDF
14	Patricia Johann	On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi.	Math. Struct. Comput. Sci.	2005	DBLP DOI BibTeX RDF
14	Gian-Luigi Ferrari 0002, Ugo Montanari, Emilio Tuosto	Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
14	Derek Messie, Jae C. Oh	Polymorphic Self-* Agents for Stigmergic Fault Mitigation in Large-Scale Real-Time Embedded Systems	CoRR	2005	DBLP BibTeX RDF
14	David Clark 0001, Sebastian Hunt, Pasquale Malacaria	Quantitative Information Flow, Relations and Polymorphic Types.	J. Log. Comput.	2005	DBLP DOI BibTeX RDF
14	James Rose, Nikhil Swamy, Michael Hicks 0001	Dynamic inference of polymorphic lock types.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
14	Thomas Ball, Todd D. Millstein, Sriram K. Rajamani	Polymorphic predicate abstraction.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	polymorphism, Software model checking, predicate abstraction
14	Gopalan Nadathur, Xiaochu Qi	Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages.	LPAR	2005	DBLP DOI BibTeX RDF
14	Periklis Akritidis, Evangelos P. Markatos, Michalis Polychronakis, Kostas G. Anagnostakis	STRIDE: Polymorphic Sled Detection through Instruction Sequence Analysis.	SEC	2005	DBLP BibTeX RDF
14	Adel Ben Mnaouer, Lei Chen 0015, Chuan Heng Foh, Juki Wirawan Tantra	A new polymorphic multicast routing protocol for MANET.	ICC	2005	DBLP DOI BibTeX RDF
14	Mike Matthews, Robert Hohne, C. Shawn Orban	Technical approaches for achieving multi-resource polymorphic collaboration.	CTS	2005	DBLP DOI BibTeX RDF
14	Chris Fox, Shalom Lappin	Polymorphic Quantifiers and Underspecification in Natural Language.	We Will Show Them! (1)	2005	DBLP BibTeX RDF
14	Rachid Guerraoui, Maurice Herlihy, Bastian Pochon	Polymorphic Contention Management.	DISC	2005	DBLP DOI BibTeX RDF
14	Umit Topaloglu, Coskun Bayrak	Polymorphic Compression.	ISCIS	2005	DBLP DOI BibTeX RDF
14	Richard S. Bird	Polymorphic string matching.	Haskell	2005	DBLP DOI BibTeX RDF	boyer-moore, knuth-morris-pratt, functional programming, string matching, program calculation
14	Eduardo Bonelli, Adriana B. Compagnoni, Ricardo H. Medel	Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks.	CASSIS	2005	DBLP DOI BibTeX RDF
14	Ignacio de Miguel, Juan Carlos González, Ton Koonen, Ramón J. Durán, Patricia Fernández, Idelfonso Tafur Monroy	Polymorphic Architectures for Optical Networks and their Seamless Evolution towards Next Generation Networks.	Photonic Netw. Commun.	2004	DBLP DOI BibTeX RDF
14	J. J. Hallett, Assaf J. Kfoury	Programming Examples Needing Polymorphic Recursion.	ITRS	2004	DBLP DOI BibTeX RDF
14	C. Barry Jay, H. Y. Lu, Q. T. Nguyen	The Polymorphic Imperative: a Generic Approach to In-place Update.	CATS	2004	DBLP DOI BibTeX RDF
14	Luigi Liquori, Benjamin Wack	The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference].	WRLA	2004	DBLP DOI BibTeX RDF
14	Ranko Lazic 0001	Decidability of Reachability for Polymorphic Systems with Arrays: A Complete Classification.	INFINITY	2004	DBLP DOI BibTeX RDF
14	Ranko Lazic 0001, Thomas Christopher Newcomb, Bill Roscoe	Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting.	INFINITY	2004	DBLP DOI BibTeX RDF
14	France Denoeud, Gilles Vergnaud	Identification of polymorphic tandem repeats by direct comparison of genome sequence from different bacterial strains : a web-based resource.	BMC Bioinform.	2004	DBLP DOI BibTeX RDF
14	Wolfgang Helmberg, Raymond Dunivin, Michael Feolo	The sequencing-based typing tool of dbMHC: typing highly polymorphic gene sequences.	Nucleic Acids Res.	2004	DBLP DOI BibTeX RDF
14	Andrew W. Appel, Amy P. Felty	Polymorphic lemmas and definitions in Lambda Prolog and Twelf	CoRR	2004	DBLP BibTeX RDF
14	Puri Arenas-Sánchez, Mario Rodríguez-Artalejo	A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types	CoRR	2004	DBLP BibTeX RDF
14	Andrew W. Appel, Amy P. Felty	Polymorphic Lemmas and Definitions in lambda-Prolog and Twelf.	Theory Pract. Log. Program.	2004	DBLP DOI BibTeX RDF
14	Stamatis Vassiliadis	Polymorphic Processors: How to Expose Arbitrary Hardware Functionality to Programmers.	IEEE PACT	2004	DBLP DOI BibTeX RDF
14	Ling Liu, Huaikou Miao	A Specification-Based Approach to Testing Polymorphic Attributes.	ICFEM	2004	DBLP DOI BibTeX RDF
14	Nattawut Sridranop, Ryan Stansifer	Adding polymorphic tuples and lists to the syntax of Java.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	Java, tuple, list
14	Anthony Savidis	Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language.	RISE	2004	DBLP DOI BibTeX RDF
14	Isabelle Mirbel	A Polymorphic Context Frame to Support Scalability and Evolvability of Information System Development Processes.	ICEIS (3)	2004	DBLP BibTeX RDF
14	Isabelle Mirbel	A Polymorphic Context Frame to Support Scalability and Evolvability of Information System Development Processes.	ICEIS (Selected Papers)	2004	DBLP DOI BibTeX RDF
14	Georgi Krasimirov Kuzmanov	The Molen Polymorphic Media Processor.		2004	RDF
14	M. Randall Holmes	Polymorphic type checking for the ramified theory of types of Principia Mathematica.	Mathematics, Logic and Computation @ ICALP	2003	DBLP DOI BibTeX RDF
14	Hyunjun Eo, Oukseh Lee, Kwangkeun Yi	Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms.	New Gener. Comput.	2003	DBLP DOI BibTeX RDF
14	Cristiano D. Vasconcellos, Lucília Figueiredo, Carlos Camarão 0001	Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell.	J. Univers. Comput. Sci.	2003	DBLP BibTeX RDF
14	Coskun Bayrak, Chad Davis	The liquid architecture: a non-linear peer-to-peer distributed architecture with polymorphic message passing.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF	distributed systems, software engineering, real time systems, peer-to-peer, architecture, networking, P2P, virtual collaboration
14	Wei-Min Shen	USC/ISI Polymorphic Robotics Laboratory - Self-configurable and Adaptive Robots (Profile).	IEEE Intell. Informatics Bull.	2003	DBLP BibTeX RDF
14	K. Livingstone, Loren H. Rieseberg	MENDB: a database of polymorphic loci from natural populations.	Bioinform.	2003	DBLP DOI BibTeX RDF
14	Akio Ishiguro, Akinobu Fujii, Peter Eggenberger Hotz	Neuromodulated Control of Bipedal Locomotion Using a Polymorphic CPG Circuit.	Adapt. Behav.	2003	DBLP DOI BibTeX RDF
14	Venkatesh Choppella	Polymorphic Type Reconstruction Using Type Equations.	IFL	2003	DBLP DOI BibTeX RDF
14	Seiji Tokura, Akio Ishiguro	A hardwired polymorphic neural network for a CPU-less autonomous mobile robot.	IROS	2003	DBLP DOI BibTeX RDF
14	Paul Beckett	A Polymorphic Hardware Platform.	IPDPS	2003	DBLP DOI BibTeX RDF
14	Frédéric Gava, Frédéric Loulergue	A Polymorphic Type System for Bulk Synchronous Parallel ML.	PaCT	2003	DBLP DOI BibTeX RDF
14	Keith Wansbrough	Simple polymorphic usage analysis.		2003	RDF
14	Viviana Bono, Jerzy Tiuryn	Products and Polymorphic Subtypes.	Fundam. Informaticae	2002	DBLP BibTeX RDF
14	Daniel Bonniot	Using kinds to type partially-polymorphic methods.	TIP@MPC	2002	DBLP DOI BibTeX RDF
14	Ralf Lämmel	The Sketch of a Polymorphic Symphony.	WRS	2002	DBLP DOI BibTeX RDF
14	Neelam Soundarajan, Benjamin Tyler	Testing Polymorphic Behavior.	J. Object Technol.	2002	DBLP DOI BibTeX RDF
14	Adrian Fiech, David A. Schmidt	Polymorphic lambda calculus and subtyping.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
14	Jan Van den Bussche, Emmanuel Waller	Polymorphic Type Inference for the Relational Algebra.	J. Comput. Syst. Sci.	2002	DBLP DOI BibTeX RDF
14	Ralf Lämmel	The Sketch of a Polymorphic Symphony	CoRR	2002	DBLP BibTeX RDF
14	Johan Nordlander	Polymorphic subtyping in O'Haskell.	Sci. Comput. Program.	2002	DBLP DOI BibTeX RDF
14	J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak	A calculus with polymorphic and polyvariant flow types.	J. Funct. Program.	2002	DBLP DOI BibTeX RDF
14	Yang Jun 0001, Greg Michaelson, Philip W. Trinder	Explaining Polymorphic Types.	Comput. J.	2002	DBLP DOI BibTeX RDF
14	Hagen Soltau, Florian Metze, Christian Fügen, Alex Waibel	Efficient language model lookahead through polymorphic linguistic context assignment.	ICASSP	2002	DBLP DOI BibTeX RDF
14	Koji Kagawa	Shrinkable Polymorphic Variants.	APLAS	2002	DBLP BibTeX RDF
14	Simon Helsen	Region based program specialization: an operational approach to polymorphic offline partial evaluation for ML-like languages.		2002	RDF
14	Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo	Polymorphic Types in Functional Logic Programming.	J. Funct. Log. Program.	2001	DBLP BibTeX RDF
14	Jan Van den Bussche, Emmanuel Waller	Polymorphic type inference for the relational algebra	CoRR	2001	DBLP BibTeX RDF
14	Puri Arenas-Sánchez, Mario Rodríguez-Artalejo	A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types.	Theory Pract. Log. Program.	2001	DBLP BibTeX RDF
14	Jerzy Tiuryn	A Sequent Calculus for Subtyping Polymorphic Types.	Inf. Comput.	2001	DBLP DOI BibTeX RDF
14	Thorsten Altenkirch, Thierry Coquand	A Finitary Subsystem of the Polymorphic lambda-Calculus.	TLCA	2001	DBLP DOI BibTeX RDF
14	Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu	Higher-Order Polymorphic Sized Types for Safety Checks.	APLAS	2001	DBLP BibTeX RDF
14	Byron Weber Becker, Richard Rasala, Joseph Bergin, Christine Shannon, Eugene Wallingford	Polymorphic panelists.	SIGCSE	2001	DBLP DOI BibTeX RDF
14	Pawel Rychlikowski, Tomasz Truderung	Polymorphic Directional Types for Logic Programming.	PPDP	2001	DBLP DOI BibTeX RDF
14	Alexander Horoshilov	Patterns for Polymorphic Operations.	EuroPLoP	2001	DBLP BibTeX RDF
14	Yang Jun 0001	Improving polymorphic type explanations.		2001	RDF
14	Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo	Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion.	HOOTS	2000	DBLP DOI BibTeX RDF
14	Chunming Qiao, Yousong Mei, Myungsik Yoo, Xijun Zhang	Polymorphic Control for Cost-Effective Design of Optical Networks.	Eur. Trans. Telecommun.	2000	DBLP DOI BibTeX RDF
14	Shin-ya Nishizaki	A Polymorphic Environment Calculus and its Type-Inference Algorithm.	High. Order Symb. Comput.	2000	DBLP DOI BibTeX RDF
14	Yang Jung, Greg Michaelson	A visualisation of polymorphic type checking.	J. Funct. Program.	2000	DBLP DOI BibTeX RDF
14	Dieter Spreen	A New Model Construction for the Polymorphic Lambda Calculus.	LPAR	2000	DBLP DOI BibTeX RDF
14	Manfred Münch, Andy Schürr	Generic and Polymorphic Graph Transformations-Supporting the Definition of Visual Languages.	ICALP Satellite Workshops	2000	DBLP BibTeX RDF
14	Oukseh Lee, Kwangkeun Yi	A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms.	APLAS	2000	DBLP BibTeX RDF
14	Torben Amtoft, Franklyn A. Turbak	Faithful Translations between Polyvariant Flows and Polymorphic Types.	ESOP	2000	DBLP DOI BibTeX RDF
14	Yang Jun 0001, Greg Michaelson, Phil Trinder	How do people check polymorphic types?	PPIG	2000	DBLP BibTeX RDF
14	Roger T. Alexander, A. Jefferson Offutt	Criteria for Testing Polymorphic Relationships.	ISSRE	2000	DBLP DOI BibTeX RDF
14	Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken	Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C.	SAS	2000	DBLP DOI BibTeX RDF
14	Kao-Shing Hwang, Ming-Yi Ju, Sheng-Ping Hsu	Polymorphic Autonomous Architecuture for Mobile Robot Navigation.	J. Inf. Sci. Eng.	1999	DBLP BibTeX RDF
14	Martin Emms, Hans Leiß	Extending the Type Checker of Standard ML by Polymorphic Recursion.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
14	Alexander Aiken, Edward L. Wimmers, Jens Palsberg	Optimal Representations of Polymorphic Types with Subtyping.	High. Order Symb. Comput.	1999	DBLP DOI BibTeX RDF
14	Maria Luisa Bonet, Cynthia A. Phillips, Tandy J. Warnow, Shibu Yooseph	Constructing Evolutionary Trees in the Presence of Polymorphic Characters.	SIAM J. Comput.	1999	DBLP DOI BibTeX RDF
14	Keith Wansbrough, Simon L. Peyton Jones	Once Upon a Polymorphic Type.	POPL	1999	DBLP DOI BibTeX RDF
14	Jan Van den Bussche, Emmanuel Waller	Type Inference in the Polymorphic Relational Algebra.	PODS	1999	DBLP DOI BibTeX RDF
14	Zoran Budimlic, Ken Kennedy	Prospects for Scientific Computing in Polymorphic, Object-Oriented Style.	PPSC	1999	DBLP BibTeX RDF