Search results for "polymorphic"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Roussanka Loukanova	Acyclic Recursion with Polymorphic Types and Underpecification.	ICAART (2)	2016	DBLP DOI BibTeX RDF
14	Ons Bouachir, Adel Ben Mnaouer, Farid Touati	PEAM: A polymorphic, energy-aware MAC protocol for WBAN.	ICT	2016	DBLP DOI BibTeX RDF
14	Marcel Weiher, Robert Hirschfeld	Constraints as polymorphic connectors.	MODULARITY	2016	DBLP DOI BibTeX RDF
14	Ryota Akiyoshi, Kazushige Terui	Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule..	FSCD	2016	DBLP DOI BibTeX RDF
14	Catalin-Valeriu Lita	On Complexity of the Detection Problem for Bounded Length Polymorphic Viruses.	SYNASC	2016	DBLP DOI BibTeX RDF
14	Jie Wang 0067, Jie Wu 0001	A Novel Signature Generation Approach in Noisy Environments for Detecting Polymorphic Worm.	SpaCCS	2016	DBLP DOI BibTeX RDF
14	Jake Drew, Tyler Moore 0001, Michael Hahsler	Polymorphic Malware Detection Using Sequence Classification Methods.	IEEE Symposium on Security and Privacy Workshops	2016	DBLP DOI BibTeX RDF
14	Vijay Naidu, Ajit Narayanan	A Syntactic Approach for Detecting Viral Polymorphic Malware Variants.	PAISI	2016	DBLP DOI BibTeX RDF
14	James Laird	Polymorphic Game Semantics for Dynamic Binding.	CSL	2016	DBLP DOI BibTeX RDF
14	Vijay Naidu, Ajit Narayanan	Needleman-Wunsch and Smith-Waterman Algorithms for Identifying Viral Polymorphic Malware Variants.	DASC/PiCom/DataCom/CyberSciTech	2016	DBLP DOI BibTeX RDF
14	Jan Nevoral, Richard Ruzicka, Vojtech Mrazek	Evolutionary design of polymorphic gates using ambipolar transistors.	SSCI	2016	DBLP DOI BibTeX RDF
14	Chung-Pyo Hong, Cheong-Ghil Kim, Kuinam J. Kim, Shin-Dug Kim	A polymorphic service management scheme based on virtual object for ubiquitous computing environment.	Multim. Tools Appl.	2015	DBLP DOI BibTeX RDF
14	Junho Choi, Chang Choi, Ilsun You, Pankoo Kim	Polymorphic Malicious JavaScript Code Detection for APT Attack Defence.	J. Univers. Comput. Sci.	2015	DBLP BibTeX RDF
14	Mingzhen Zhang, Rundong Hu, Hong Chen 0006, Xiong Gong, Feimeng Zhou, Li Zhang 0019, Jie Zheng 0003	Polymorphic Associations and Structures of the Cross-Seeding of Aβ1-42 and hIAPP1-37 Polypeptides.	J. Chem. Inf. Model.	2015	DBLP DOI BibTeX RDF
14	Oleg Kiselyov	Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing.	ML Family/OCaml	2015	DBLP DOI BibTeX RDF
14	Nadia Polikarpova, Armando Solar-Lezama	Program Synthesis from Polymorphic Refinement Types.	CoRR	2015	DBLP BibTeX RDF
14	Eric R. Verheul	Privacy protection in electronic education based on polymorphic pseudonymization.	IACR Cryptol. ePrint Arch.	2015	DBLP BibTeX RDF
14	Yana Safonova, Anton Bankevich, Pavel A. Pevzner	dipSPAdes: Assembler for Highly Polymorphic Diploid Genomes.	J. Comput. Biol.	2015	DBLP DOI BibTeX RDF
14	Lukás Sekanina	Principles and Applications of Polymorphic Circuits.	Evolvable Hardware	2015	DBLP DOI BibTeX RDF
14	Matías Toro, Éric Tanter	Customizable gradual polymorphic effects for Scala.	OOPSLA	2015	DBLP DOI BibTeX RDF
14	Giuseppe Castagna, Kim Nguyen 0001, Zhiwu Xu 0001, Pietro Abate	Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction.	POPL	2015	DBLP DOI BibTeX RDF
14	Jie Wang 0067, Xiaoxian He	A Signature Generation Approach Based on Clustering for Polymorphic Worm.	INTRUST	2015	DBLP DOI BibTeX RDF
14	Davide Ancona, Paola Giannini, Elena Zucca	Constrained Polymorphic Types for a Calculus with Name Variables.	TYPES	2015	DBLP DOI BibTeX RDF
14	Mike Abia, Irwin Brown	A Polymorphic Model of Information Systems Success: An Outcome of a Literature-Based Grounded Theory Analysis.	SAICSIT	2015	DBLP DOI BibTeX RDF
14	Simon Archipoff	An efficient implementation of tiled polymorphic temporal media.	FARM@ICFP	2015	DBLP DOI BibTeX RDF
14	Sorin Lerner, Stephen R. Foster, William G. Griswold	Polymorphic Blocks: Formalism-Inspired UI for Structured Connectors.	CHI	2015	DBLP DOI BibTeX RDF
14	Bonnie Brinton Anderson, C. Brock Kirwan, Jeffrey L. Jenkins, David Eargle, Seth Howard, Anthony Vance	How Polymorphic Warnings Reduce Habituation in the Brain: Insights from an fMRI Study.	CHI	2015	DBLP DOI BibTeX RDF
14	Matteo Casenove	Exfiltrations using polymorphic blending techniques: Analysis and countermeasures.	CyCon	2015	DBLP DOI BibTeX RDF
14	Jie Wang 0067, Xiaoxian He	A Novel Signature Generation Approach for Polymorphic Worms.	ICA3PP (3)	2015	DBLP DOI BibTeX RDF
14	Michael Löwe	Polymorphic Sesqui-Pushout Graph Rewriting.	ICGT	2015	DBLP DOI BibTeX RDF
14	Houjun Liang, Rui Xie, Liang Chen	Designing Polymorphic Circuits with Periodical Weight Adjustment.	SSCI	2015	DBLP DOI BibTeX RDF
14	Florent Balestrieri	The productivity of polymorphic stream equations and the composition of circular traversals.		2015	RDF
14	Christian Sattler	On the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes.		2015	RDF
14	Mark Broom, Jan Rychtár	Asymmetric Games in Monomorphic and Polymorphic Populations.	Dyn. Games Appl.	2014	DBLP DOI BibTeX RDF
14	Georgios Fourtounis 0001, Nikolaos S. Papaspyrou, Panagiotis Theofilopoulos	Modular polymorphic defunctionalization.	Comput. Sci. Inf. Syst.	2014	DBLP DOI BibTeX RDF
14	Swamy D. Ponpandi, Akhilesh Tyagi	User satisfaction aware routing and energy modeling of polymorphic network on chip architecture.	Comput. Electr. Eng.	2014	DBLP DOI BibTeX RDF
14	H. Carter Edwards, Christian R. Trott, Daniel Sunderland	Kokkos: Enabling manycore performance portability through polymorphic memory access patterns.	J. Parallel Distributed Comput.	2014	DBLP DOI BibTeX RDF
14	Rick Statman	On polymorphic types of untyped terms.	J. Comput. Syst. Sci.	2014	DBLP DOI BibTeX RDF
14	Alexander Martínez-Fundichely, Sònia Casillas, Raquel Egea, Miquel Ràmia, Antonio Barbadilla, Lorena Pantano, Marta Puig, Mario Cáceres	InvFEST, a database integrating information of polymorphic inversions in the human genome.	Nucleic Acids Res.	2014	DBLP DOI BibTeX RDF
14	Ratinder Kaur, Maninder Singh	A Survey on Zero-Day Polymorphic Worm Detection Techniques.	IEEE Commun. Surv. Tutorials	2014	DBLP DOI BibTeX RDF
14	Le Bao, Daniel Elleder, Raunaq Malhotra, Michael Degiorgio, Theodora Maravegias, Lindsay Horvath, Laura Carrel, Colin Gillin, Tomás Hron, Helena Fábryová, David R. Hunter, Mary Poss	Computational and Statistical Analyses of Insertional Polymorphic Endogenous Retroviruses in a Non-Model Organism.	Comput.	2014	DBLP DOI BibTeX RDF
14	Benjamin Selfridge, Eric Smith	Polymorphic Types in ACL2.	ACL2	2014	DBLP DOI BibTeX RDF
14	Ashraf A. Shahin	Polymorphic Worms Collection in Cloud Computing.	CoRR	2014	DBLP BibTeX RDF
14	Ashu Sharma, Sanjay Kumar Sahay	Evolution and Detection of Polymorphic and Metamorphic Malwares: A Survey.	CoRR	2014	DBLP BibTeX RDF
14	Daan Leijen	Koka: Programming with Row Polymorphic Effect Types.	MSFP	2014	DBLP DOI BibTeX RDF
14	David Johan Christensen, Jørgen Christian Larsen, Kasper Støy	Fault-tolerant gait learning and morphology optimization of a polymorphic walking robot.	Evol. Syst.	2014	DBLP DOI BibTeX RDF
14	Nikos Virvilis, Dimitris Gritzalis	Automatic Defense Against Zero-day Polymorphic Worms in Communication Networks.	Comput. Secur.	2014	DBLP DOI BibTeX RDF
14	Jeroen Weijers, Jurriaan Hage, Stefan Holdermans	Security type error diagnosis for higher-order, polymorphic languages.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
14	Yana Safonova, Anton Bankevich, Pavel A. Pevzner	dipSPAdes: Assembler for Highly Polymorphic Diploid Genomes.	RECOMB	2014	DBLP DOI BibTeX RDF
14	Oksana Pomorova, Oleg Savenko, Sergiy Lysenko, Andrii Kryshchuk, Andrii Nicheporuk	A Technique for Detection of Bots Which Are Using Polymorphic Code.	CN	2014	DBLP DOI BibTeX RDF
14	Giuseppe Castagna, Kim Nguyen 0001, Zhiwu Xu 0001, Hyeonseung Im, Sergueï Lenglet, Luca Padovani	Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.	POPL	2014	DBLP DOI BibTeX RDF
14	Jeffrey Choo Soon Fatt, Kang-Leng Chiew, San-Nah Sze	Phishdentity: Leverage Website Favicon to Offset Polymorphic Phishing Website.	ARES	2014	DBLP DOI BibTeX RDF
14	Václav Simek, Richard Ruzicka	Reconfigurable Platform with Polymorphic Digital Gates and Partial Reconfiguration Feature.	EMS	2014	DBLP DOI BibTeX RDF
14	Radek Tesar, Richard Ruzicka, Václav Simek	Resistant Gates for Polymorphic Electronics.	EMS	2014	DBLP DOI BibTeX RDF
14	Zhang Zhang, Swamy D. Ponpandi, Akhilesh Tyagi	An Evaluation of User Satisfaction Driven Scheduling in a Polymorphic Embedded System.	IPDPS Workshops	2014	DBLP DOI BibTeX RDF
14	Dan Bogdanov, Peeter Laud, Jaak Randmets	Domain-Polymorphic Programming of Privacy-Preserving Applications.	PLAS@ECOOP	2014	DBLP DOI BibTeX RDF
14	Nihed Bahria El Asghar, Omar Cherkaoui, Mounir Frikha, Sami Tabbane	ICPN: An Inter-Cloud Polymorphic Network Proposal.	WWIC	2014	DBLP DOI BibTeX RDF
14	Paul Hudak, David Janin	Tiled polymorphic temporal media.	FARM@ICFP	2014	DBLP DOI BibTeX RDF
14	Daniel Wand	Polymorphic+Typeclass Superposition.	PAAR@IJCAR	2014	DBLP DOI BibTeX RDF
14	Axel Simon	Optimal inference of fields in row-polymorphic records.	PLDI	2014	DBLP DOI BibTeX RDF
14	Gábor Kövesdán, Márk Asztalos, László Lengyel	Polymorphic Templates: A design pattern for implementing agile model-to-text transformations.	XM@MoDELS	2014	DBLP BibTeX RDF
14	Andriy Gorobets, Frederico Pratas, Nuno Roma, Pedro Tomás	Stream Oriented Modular Architecture with Polymorphic Processing Engines.	SBAC-PAD (Workshops)	2014	DBLP DOI BibTeX RDF
14	Miroslav N. Velev, Ping Gao 0002	Formal verification of safety of polymorphic heterogeneous multi-core architectures.	ISQED	2014	DBLP DOI BibTeX RDF
14	Takayuki Muranushi, Richard A. Eisenberg	Experience report: type-checking polymorphic units for astrophysics research in Haskell.	Haskell	2014	DBLP DOI BibTeX RDF
14	Kai Pan, Hui Li 0022, Weiyang Liu, Zhipu Zhu, Fuxing Chen, Bing Zhu 0003	Prologue: Unified Polymorphic Routing Towards Flexible Architecture of Reconfigurable Infrastructure.	TRIDENTCOM	2014	DBLP DOI BibTeX RDF
14	Hiroyo Ishikawa, Hideo Saito, Yamato Miyashita, Kunitake Kaneko	Polymorphic cataloguing and viewing system for using digital archives: MoSaIC-II.	VSMM	2014	DBLP DOI BibTeX RDF
14	Ka I Pun, Martin Steffen, Volker Stolz	Effect-Polymorphic Behaviour Inference for Deadlock Checking.	SEFM	2014	DBLP DOI BibTeX RDF
14	Michael Löwe, Harald König, Christoph Schulz 0002	Polymorphic Single-Pushout Graph Transformation.	FASE	2014	DBLP DOI BibTeX RDF
14	Sergiu Ivanov 0001	Polymorphic P Systems with Non-cooperative Rules and No Ingredients.	Int. Conf. on Membrane Computing	2014	DBLP DOI BibTeX RDF
14	Liang Xu, Xiaojuan Wang, Shengsheng Shan, Xicheng Wang	Characterization of the polymorphic states of copper(II)-bound Aβ(1-16) peptides by computational simulations.	J. Comput. Chem.	2013	DBLP DOI BibTeX RDF
14	Haeng-Gon Lee, Jungsuk Song 0001, Sang-Soo Choi, Gi-Hwan Cho	An Advanced Incident Response Methodology Based on Correlation Analysis of Polymorphic Security Events.	IEICE Trans. Commun.	2013	DBLP DOI BibTeX RDF
14	Keiichirou Kusakari	Static Dependency Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types.	IEICE Trans. Inf. Syst.	2013	DBLP DOI BibTeX RDF
14	Edwin van Dellen, Arjan Hillebrand, Linda Douw, Jan J. Heimans, Jaap C. Reijneveld, Cornelis J. Stam	Local polymorphic delta activity in cortical lesions causes global decreases in functional connectivity.	NeuroImage	2013	DBLP DOI BibTeX RDF
14	Adel Ben Mnaouer, Chuan Heng Foh, Lei Chen 0015	A Generic Polymorphic Unicast Routing Protocol for vehicular ad hoc networks.	Wirel. Commun. Mob. Comput.	2013	DBLP DOI BibTeX RDF
14	Silvio Cesare, Yang Xiang 0001, Wanlei Zhou 0001	Malwise - An Effective and Efficient Classification System for Packed and Polymorphic Malware.	IEEE Trans. Computers	2013	DBLP DOI BibTeX RDF
14	Sepehr Amir-Mohammadian, Mehran S. Fallah	Noninterference in a predicative polymorphic calculus for access control.	Comput. Lang. Syst. Struct.	2013	DBLP DOI BibTeX RDF
14	James Laird	Game semantics for a polymorphic programming language.	J. ACM	2013	DBLP DOI BibTeX RDF
14	Fritz J. Sedlazeck, Philipp Rescheneder, Arndt von Haeseler	NextGenMap: fast and accurate read mapping in highly polymorphic genomes.	Bioinform.	2013	DBLP DOI BibTeX RDF
14	Dan Bogdanov, Peeter Laud, Jaak Randmets	Domain-Polymorphic Programming of Privacy-Preserving Applications.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
14	Lukás Sekanina, Richard Ruzicka, Zdenek Vasícek, Václav Simek, Petr Hanácek	Implementing A Unique Chip Id On A Reconfigurable Polymorphic Circuit.	Inf. Technol. Control.	2013	DBLP DOI BibTeX RDF
14	Wouter Swierstra, Thomas van Noort	A library for polymorphic dynamic typing.	J. Funct. Program.	2013	DBLP DOI BibTeX RDF
14	Catalin Bogdan Ciobanu, Georgi Gaydadjiev, Christian Pilato, Donatella Sciuto	Dataflow computing with Polymorphic Registers.	ICSAMOS	2013	DBLP DOI BibTeX RDF
14	Dan Bogdanov, Peeter Laud, Jaak Randmets	Domain-polymorphic language for privacy-preserving applications.	PETShop@CCS	2013	DBLP DOI BibTeX RDF
14	Jeroen Weijers, Jurriaan Hage, Stefan Holdermans	Security type error diagnosis for higher-order, polymorphic languages.	PEPM	2013	DBLP DOI BibTeX RDF
14	Marcel Weiher, Robert Hirschfeld	Polymorphic identifiers: uniform resource access in objective-smalltalk.	DLS	2013	DBLP DOI BibTeX RDF
14	Alberto Casagrande, Joanna Jarmolowska, Marcello Turconi, Francesco Fabris, Piero Paolo Battaglini	PolyMorph: A P300 Polymorphic Speller.	Brain and Health Informatics	2013	DBLP DOI BibTeX RDF
14	Swamy D. Ponpandi, Zhang Zhang, Akhilesh Tyagi	PolyNOC - A polymorphic thread simulator for NoC communication based embedded systems.	ReConFig	2013	DBLP DOI BibTeX RDF
14	Xin Zhang, Wenjian Luo	Evolutionary design of polymorphic circuits with the improved evolutionary repair.	IEEE Congress on Evolutionary Computation	2013	DBLP DOI BibTeX RDF
14	Marcelo P. Fiore, Makoto Hamana	Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic.	LICS	2013	DBLP DOI BibTeX RDF
14	Catalin Bogdan Ciobanu, Georgi Nedeltchev Gaydadjiev	Separable 2D Convolution with Polymorphic Register Files.	ARCS	2013	DBLP DOI BibTeX RDF
14	Philipp Winter, Tobias Pulls, Jürgen Fuß	ScrambleSuit: a polymorphic network protocol to circumvent censorship.	WPES	2013	DBLP DOI BibTeX RDF
14	Ching-Seh Wu, Chi-Hsin Huang, Yen-Ting Lee	The Test Path Generation from State-Based Polymorphic Interaction Graph for Object-Oriented Software.	ITNG	2013	DBLP DOI BibTeX RDF
14	Minghua Wang, Purui Su, Qi Li 0002, Lingyun Ying, Yi Yang 0040, Dengguo Feng	Automatic Polymorphic Exploit Generation for Software Vulnerabilities.	SecureComm	2013	DBLP DOI BibTeX RDF
14	Ana L. Milanova, Wei Huang 0001	Composing polymorphic information flow systems with reference immutability.	FTfJP@ECOOP	2013	DBLP DOI BibTeX RDF
14	Thomas Given-Wilson, Freeman Huang, Barry Jay	Multi-polymorphic programming in bondi.	WGP@ICFP	2013	DBLP DOI BibTeX RDF
14	Anthony Karageorgos, Nikolay Mehandjiev, Elli Rapti	A Model for Intelligent Adaptation and Evolution of Polymorphic Services.	SOCA	2013	DBLP DOI BibTeX RDF
14	Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet	Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists.	FOPARA	2013	DBLP DOI BibTeX RDF
14	Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu 0001, Nicholas Smallbone	Encoding Monomorphic and Polymorphic Types.	TACAS	2013	DBLP DOI BibTeX RDF
14	Christian Hochberger	Polymorphic Computers - Virtualization of Instruction Set and Microarchitecture.	GI-Jahrestagung	2013	DBLP BibTeX RDF
14	Viviana Bono, Luca Padovani, Andrea Tosatto	Polymorphic Types for Leak Detection in a Session-Oriented Functional Language.	FMOODS/FORTE	2013	DBLP DOI BibTeX RDF