Search results for "polymorphic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Matthew Sladescu, Alan D. Fekete, Kevin Lee, Anna Liu	A Polymorphic Model for Event Associated Workload Bursts.	ICDCS Workshops	2013	DBLP DOI BibTeX RDF
14	Ciprian-Petrisor Pungila, Viorel Negru	Real-Time Polymorphic Aho-Corasick Automata for Heterogeneous Malicious Code Detection.	SOCO-CISIS-ICEUTE	2013	DBLP DOI BibTeX RDF
14	Fawaz AL-Hazemi	A Polymorphic Green Service Approach for Data Center Energy Consumption Management.	GreenCom/iThings/CPScom	2013	DBLP DOI BibTeX RDF
14	Jean-Philippe Bernardy, Nicolas Pouillard	Names for free: polymorphic views of names and binders.	Haskell	2013	DBLP DOI BibTeX RDF
14	Tiantian Song, Farong Zhong	A Bounded Polymorphic Session Type System with Delegation.	DASC	2013	DBLP DOI BibTeX RDF
14	Yu-Lun Lu, Chien-Ming Chen, Tun-Wen Pai, Hao-Teng Chang	Mining Polymorphic SSRs from Individual Genome Sequences.	CISIS	2013	DBLP DOI BibTeX RDF
14	Shahar Maoz	Polymorphic scenario-based specification models: semantics and applications.	Softw. Syst. Model.	2012	DBLP DOI BibTeX RDF
14	Burak Bayoglu, Ibrahim Sogukpinar	Graph based signature classes for detecting polymorphic worms via content analysis.	Comput. Networks	2012	DBLP DOI BibTeX RDF
14	Alejandro Cáceres, Suzanne S. Sindi, Benjamin J. Raphael, Mario Cáceres, Juan R. González	Identification of polymorphic inversions from genotypes.	BMC Bioinform.	2012	DBLP DOI BibTeX RDF
14	Jón Sveinbjörnsson, Bjarni V. Halldórsson	PAIR: polymorphic Alu insertion recognition.	BMC Bioinform.	2012	DBLP DOI BibTeX RDF
14	Mihai Pricopi, Tulika Mitra	Bahurupi: A polymorphic heterogeneous multi-core architecture.	ACM Trans. Archit. Code Optim.	2012	DBLP DOI BibTeX RDF
14	Min Xiang, Ling Luo, Changjiang Jiang, Zhiyong Luo	A Novel Polymorphic Ant Colony -Based Clustering Mechanism for Wireless Sensor Networks.	J. Networks	2012	DBLP DOI BibTeX RDF
14	Amit Pande, Joseph Zambreno	Poly-DWT: Polymorphic wavelet hardware support for dynamic image compression.	ACM Trans. Embed. Comput. Syst.	2012	DBLP DOI BibTeX RDF
14	William R. Stirton	How to assign ordinal numbers to combinatory terms with polymorphic types.	Arch. Math. Log.	2012	DBLP DOI BibTeX RDF
14	Ken-etsu Fujita, Aleksy Schubert	The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types.	Inf. Comput.	2012	DBLP DOI BibTeX RDF
14	Zhenguo Yang, Farong Zhong, Jinfang Zhang	A Polymorphic Type System with Progress for Binary Sessions.	WISM	2012	DBLP DOI BibTeX RDF
14	Ksenia Tsyganok, Evgeny Tumoyan, Ludmila K. Babenko, Maxim Anikeev	Classification of polymorphic and metamorphic malware samples based on their behavior.	SIN	2012	DBLP DOI BibTeX RDF
14	Lukás Sekanina, Zdenek Vasícek	A SAT-based fitness function for evolutionary optimization of polymorphic circuits.	DATE	2012	DBLP DOI BibTeX RDF
14	Catalin Bogdan Ciobanu, Georgi Kuzmanov, Georgi Gaydadjiev	Scalability Study of Polymorphic Register Files.	DSD	2012	DBLP DOI BibTeX RDF
14	Lukás Sekanina, Vojtech Salajka, Zdenek Vasícek	Two-step evolution of polymorphic circuits for image multi-filtering.	IEEE Congress on Evolutionary Computation	2012	DBLP DOI BibTeX RDF
14	Binh T. T. Nguyen, Binh T. Ngo, Tho T. Quan	A Memory-Based Abstraction Approach to Handle Obfuscation in Polymorphic Virus.	APSEC Workshops	2012	DBLP DOI BibTeX RDF
14	Catalin Bogdan Ciobanu, Georgi Kuzmanov, Georgi Gaydadjiev	On implementability of Polymorphic Register Files.	ReCoSoC	2012	DBLP DOI BibTeX RDF
14	Fawaz AL-Hazemi	Green polymorphic approach for service quality.	SoftCOM	2012	DBLP BibTeX RDF
14	Spyros Hadjichristodoulou	A Gradual Polymorphic Type System with Subtyping for Prolog.	ICLP (Technical Communications)	2012	DBLP DOI BibTeX RDF
14	Lukas Rytz, Martin Odersky, Philipp Haller	Lightweight Polymorphic Effects.	ECOOP	2012	DBLP DOI BibTeX RDF
14	David Johan Christensen, Jørgen Christian Larsen, Kasper Støy	Adaptive strategy for online gait learning evaluated on the polymorphic robotic LocoKit.	EAIS	2012	DBLP DOI BibTeX RDF
14	A. Uzma Jabrooth, B. Parvathavarthini	Polymorphic worms detection using Extended PolyTree.	CCSEIT	2012	DBLP DOI BibTeX RDF
14	James A. Crowder	Cognitive System Management: The Polymorphic, Evolutionary, Neural Learning and Processing Environment (PENLPE).	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
14	Christian Sattler, Florent Balestrieri	Turing-Completeness of Polymorphic Stream Equation Systems.	RTA	2012	DBLP DOI BibTeX RDF
14	George Vellis, Dimitrios Kotsalis, Demosthenes Akoumianakis, Jean Vanderdonckt	Model-Based Engineering of Multi-platform, Synchronous and Collaborative UIs - Extending UsiXML for Polymorphic User Interface Specification.	Panhellenic Conference on Informatics	2012	DBLP DOI BibTeX RDF
14	Tao Li, Lingzhi Xiao, Hucai Huang, Jungang Han	PAAG: A Polymorphic Array Architecture for Graphics and Image Processing.	PAAP	2012	DBLP DOI BibTeX RDF
14	Ghodrat Moghadampour	Polymorphic Random Building Block Operator for Genetic Algorithms.	ICEIS (1)	2012	DBLP BibTeX RDF
14	Deguang Kong, Yoon-chan Jhi, Tao Gong, Sencun Zhu, Peng Liu 0005, Hongsheng Xi	SAS: semantics aware signature generation for polymorphic worm detection.	Int. J. Inf. Sec.	2011	DBLP DOI BibTeX RDF
14	Danijel Radosevic, Ivan Magdalenic	Introducing Polymorphic Features into a Scripting Model of Generator.	J. Comput. Inf. Technol.	2011	DBLP DOI BibTeX RDF
14	Zbysek Gajda, Lukás Sekanina	On Evolutionary Synthesis of Compact Polymorphic Combinational Circuits.	J. Multiple Valued Log. Soft Comput.	2011	DBLP BibTeX RDF
14	Kavé Salamatian	Toward a polymorphic future internet: a networking science approach.	IEEE Commun. Mag.	2011	DBLP DOI BibTeX RDF
14	Lunjin Lu	A Polymorphic Type Dependency Analysis for Logic Programs.	New Gener. Comput.	2011	DBLP DOI BibTeX RDF
14	Andrew Adamatzky, Ben de Lacy Costello, Larry Bull	On Polymorphic Logical Gates in Subexcitable Chemical Medium.	Int. J. Bifurc. Chaos	2011	DBLP DOI BibTeX RDF
14	Stanislaw Cebrat, Dietrich Stauffer, Jorge S. Sá Martins, Suzana Moss de Oliveira, Paulo Murilo C. de Oliveira	Modelling survival and allele complementation in the evolution of genomes with polymorphic loci.	Theory Biosci.	2011	DBLP DOI BibTeX RDF
14	Yong Tang, Bin Xiao 0001, Xicheng Lu	Signature Tree Generation for Polymorphic Worms.	IEEE Trans. Computers	2011	DBLP DOI BibTeX RDF
14	Lukás Sekanina, Tomas Komenda	Global Control in Polymorphic Cellular Automata.	J. Cell. Autom.	2011	DBLP BibTeX RDF
14	Pankaj Kumar, Pasumarthy S. Chaitanya, Hampapathalu A. Nagarajaram	PSSRdb: a relational database of polymorphic simple sequence repeats extracted from prokaryotic genomes.	Nucleic Acids Res.	2011	DBLP DOI BibTeX RDF
14	Christina M. Bergey	AluHunter: a database of potentially polymorphic Alu insertions for use in primate phylogeny and population genetics.	Bioinform.	2011	DBLP DOI BibTeX RDF
14	Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron	Subject reduction in a Curry-style polymorphic type system with a vectorial structure	DCM	2011	DBLP DOI BibTeX RDF
14	Viviana Bono, Luca Padovani	Polymorphic Endpoint Types for Copyless Message Passing	ICE	2011	DBLP DOI BibTeX RDF
14	Jie Liu, Wenfei Fan	Polymorphic queries for P2P systems.	Inf. Syst.	2011	DBLP DOI BibTeX RDF
14	Alexander J. Summers	Soundness and principal contexts for a shallow polymorphic type system based on classical logic.	Log. J. IGPL	2011	DBLP DOI BibTeX RDF
14	David Hentrich, Erdal Oruklu, Jafar Saniie	Polymorphic Computing: Definition, Trends, and a New Agent-Based Architecture.	Circuits Syst.	2011	DBLP DOI BibTeX RDF
14	Richard Ruzicka, Václav Simek, Lukás Sekanina	Behavior of CMOS polymorphic circuits in high temperature environment.	DDECS	2011	DBLP DOI BibTeX RDF
14	Rick Statman	On Polymorphic Types of Untyped Terms.	WoLLIC	2011	DBLP DOI BibTeX RDF
14	Nilgun Donmez, Michael Brudno	Hapsembler: An Assembler for Highly Polymorphic Genomes.	RECOMB	2011	DBLP DOI BibTeX RDF
14	Tangwen Yin, Shan Fu	Polymorphic Cumulative Learning in Integrated Cognitive Architectures for Analysis of Pilot-Aircraft Dynamic Environment.	HCI (17)	2011	DBLP DOI BibTeX RDF
14	Tian Zhao 0002	Polymorphic type inference for scripting languages with object extensions.	DLS	2011	DBLP DOI BibTeX RDF
14	Xufang Li, Peter K. K. Loh, Freddy Tan	Mechanisms of Polymorphic and Metamorphic Viruses.	EISIC	2011	DBLP DOI BibTeX RDF
14	Richard Ruzicka, Václav Simek	Chip Temperature Selfregulation for Digital Circuits Using Polymorphic Electronics Principles.	DSD	2011	DBLP DOI BibTeX RDF
14	Amin Ansari, Shuguang Feng, Shantanu Gupta, Scott A. Mahlke	Archipelago: A polymorphic cache design for enabling robust near-threshold operation.	HPCA	2011	DBLP DOI BibTeX RDF
14	Catalin Bogdan Ciobanu, Xavier Martorell, Georgi Kuzmanov, Alex Ramírez, Georgi Gaydadjiev	Scalability Evaluation of a Polymorphic Register File: A CG Case Study.	ARCS	2011	DBLP DOI BibTeX RDF
14	Makoto Hamana	Polymorphic Abstract Syntax via Grothendieck Construction.	FoSSaCS	2011	DBLP DOI BibTeX RDF
14	Yuichiro Kokaji, Yukiyoshi Kameyama	Polymorphic Multi-stage Language with Control Effects.	APLAS	2011	DBLP DOI BibTeX RDF
14	João Filipe Belo, Michael Greenberg 0002, Atsushi Igarashi, Benjamin C. Pierce	Polymorphic Contracts.	ESOP	2011	DBLP DOI BibTeX RDF
14	Thomas van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer	Embedding polymorphic dynamic typing.	WGP@ICFP	2011	DBLP DOI BibTeX RDF
14	Serge Chaumette, Olivier Ly, Renaud Tabary	Automated extraction of polymorphic virus signatures using abstract interpretation.	NSS	2011	DBLP DOI BibTeX RDF
14	Kangjie Lu, Dabi Zou, Weiping Wen, Debin Gao	Packed, Printable, and Polymorphic Return-Oriented Programming.	RAID	2011	DBLP DOI BibTeX RDF
14	Viswanath Krishnamurthy, Swamy D. Ponpandi, Akhilesh Tyagi	A novel thread scheduler design for polymorphic embedded systems.	CASES	2011	DBLP DOI BibTeX RDF
14	Jan Christiansen, Daniel Seidel	Minimally strict polymorphic functions.	PPDP	2011	DBLP DOI BibTeX RDF
14	Abdul Rehman, Gul Muhammad Khan	Polymorphic Circuit Design for Speedy Handwritten Character Recognition Using Cartesian Genetic Programming.	FIT	2011	DBLP DOI BibTeX RDF
14	Philippe Moret, Walter Binder, Éric Tanter	Polymorphic bytecode instrumentation.	AOSD	2011	DBLP DOI BibTeX RDF
14	Jan Bækgaard Pedersen, Matthew Sowders	Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces.	CPA	2011	DBLP DOI BibTeX RDF
14	Fahad Bin Muhaya, Muhammad Khurram Khan, Yang Xiang 0001	Polymorphic Malware Detection Using Hierarchical Hidden Markov Model.	DASC	2011	DBLP DOI BibTeX RDF
14	François Bobot, Andrey Paskevich	Expressing Polymorphic Types in a Many-Sorted Language.	FroCoS	2011	DBLP DOI BibTeX RDF
14	Maria Couceiro, Paolo Romano 0002, Luís E. T. Rodrigues	PolyCert: Polymorphic Self-optimizing Replication for In-Memory Transactional Grids.	Middleware	2011	DBLP DOI BibTeX RDF
14	Zbysek Gajda	Evoluční přístup k syntéze a optimalizaci běžných a polymorfních obvodů ; Evolutionary Approach to Synthesis and Optimization of Ordinary and Polymorphic Circuits.		2011	RDF
14	Mojtaba Sabeghi, Hamid Mushtaq, Koen Bertels	Runtime multitasking support on polymorphic platforms.	SIGARCH Comput. Archit. News	2010	DBLP DOI BibTeX RDF
14	Koji Nakazawa, Makoto Tatsuta	Type Checking and Inference for Polymorphic and Existential Types in Multiple-Quantifier and Type-Free Systems.	Chic. J. Theor. Comput. Sci.	2010	DBLP BibTeX RDF
14	Eri Sano, Weihua Li, Hitomi Yuki, Xinli Liu, Tomomi Furihata, Kaoru Kobayashi, Kan Chiba, Saburo Neya, Tyuji Hoshino	Mechanism of the decrease in catalytic activity of human cytochrome P450 2C9 polymorphic variants investigated by computational analysis.	J. Comput. Chem.	2010	DBLP DOI BibTeX RDF
14	Ming-Hour Yang	Polymorphic Penetration Testcode Carrier.	J. Digit. Content Technol. its Appl.	2010	DBLP BibTeX RDF
14	Lanjia Wang, Zhichun Li, Yan Chen 0004, Zhi Fu, Xing Li	Thwarting zero-day polymorphic worms with network-level length-based signature generation.	IEEE/ACM Trans. Netw.	2010	DBLP DOI BibTeX RDF
14	Yingbo Song, Michael E. Locasto, Angelos Stavrou, Angelos D. Keromytis, Salvatore J. Stolfo	On the infeasibility of modeling polymorphic shellcode - Re-thinking the role of learning in intrusion detection systems.	Mach. Learn.	2010	DBLP DOI BibTeX RDF
14	Samuel Hiard, Carole Charlier, Wouter Coppieters, Michel Georges, Denis Baurain	Patrocles: a database of polymorphic miRNA-mediated gene regulation in vertebrates.	Nucleic Acids Res.	2010	DBLP DOI BibTeX RDF
14	Andrew D. Johnson	An extended IUPAC nomenclature code for polymorphic nucleic acids.	Bioinform.	2010	DBLP DOI BibTeX RDF
14	Vasa Curcin, Moustafa Ghanem, Yike Guo	Polymorphic type framework for scientific workflows with relational data model.	Int. J. Bus. Process. Integr. Manag.	2010	DBLP DOI BibTeX RDF
14	Zhifang Li, Wenjian Luo, Lihua Yue, Xufa Wang	On the completeness of the polymorphic gate set.	ACM Trans. Design Autom. Electr. Syst.	2010	DBLP DOI BibTeX RDF
14	Andrew Adamatzky, Ben de Lacy Costello, Larry Bull	On polymorphic logical gates in sub-excitable chemical medium	CoRR	2010	DBLP BibTeX RDF
14	Christian Veenhuis	Polymorphic Particle Swarm Optimization.	Trans. Comput. Sci.	2010	DBLP DOI BibTeX RDF
14	Makoto Tatsuta, Ken-etsu Fujita, Ryu Hasegawa, Hiroshi Nakano	Inhabitation of polymorphic and existential types.	Ann. Pure Appl. Log.	2010	DBLP DOI BibTeX RDF
14	Chun Wu, Michael T. Bowers, Joan-Emma Shea	Molecular Structures of Quiescently Grown and Brain-Derived Polymorphic Fibrils of the Alzheimer Amyloid Aβ9-40 Peptide: A Comparison to Agitated Fibrils.	PLoS Comput. Biol.	2010	DBLP DOI BibTeX RDF
14	Mohssen M. Z. E. Mohammed, H. Anthony Chan, Neco Ventura, Mohsin Hashim, Izzeldin Amin	Zero-day Polymorphic Worms Detection Using A modified Boyer-Moore Algorithm.	Security and Management	2010	DBLP BibTeX RDF
14	Václav Simek, Richard Ruzicka, Lukás Sekanina	On analysis of fabricated polymorphic circuits.	DDECS	2010	DBLP DOI BibTeX RDF
14	Catalin Bogdan Ciobanu, Georgi Kuzmanov, Georgi Gaydadjiev, Alex Ramírez	A Polymorphic Register File for matrix operations.	ICSAMOS	2010	DBLP DOI BibTeX RDF
14	Curtis E. Dyreson, Sourav S. Bhowmick, Aswani Rao Jannu, Kirankanth Mallampalli, Shuohao Zhang	XMorph: A shape-polymorphic, domain-specific XML data transformation language.	ICDE	2010	DBLP DOI BibTeX RDF
14	Lukas Rytz, Martin Odersky	Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language.	SAC	2010	DBLP DOI BibTeX RDF	default arguments, named arguments, scala
14	B. Sumudu U. Mendis, Tamás D. Gedeon	Polymorphic fuzzy signatures.	FUZZ-IEEE	2010	DBLP DOI BibTeX RDF
14	Hamid Mushtaq, Mojtaba Sabeghi, Koen Bertels	A Runtime Profiler: Toward Virtualization of Polymorphic Computing Platforms.	ReConFig	2010	DBLP DOI BibTeX RDF
14	James Laird	Game Semantics for a Polymorphic Programming Language.	LICS	2010	DBLP DOI BibTeX RDF	general references, genericity, polymorphism, game semantics
14	Jorge Loureiro, Orlando Belo	The M-OLAP Cube Selection Problem: A Hyper-polymorphic Algorithm Approach.	IDEAL	2010	DBLP DOI BibTeX RDF
14	Petru Florin Mihancea	Patrools: Visualizing the Polymorphic Usage of Class Hierarchies.	ICPC	2010	DBLP DOI BibTeX RDF
14	Jianzhou Zhao, Qi Zhang, Steve Zdancewic	Relational Parametricity for a Polymorphic Linear Lambda Calculus.	APLAS	2010	DBLP DOI BibTeX RDF
14	Jan Hoffmann 0002, Martin Hofmann 0001	Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics.	APLAS	2010	DBLP DOI BibTeX RDF
14	Mohssen M. Z. E. Mohammed, H. Anthony Chan, Neco Ventura, Mohsin Hashim, Eihab Bashier	Fast and accurate detection for polymorphic worms.	ICITST	2010	DBLP BibTeX RDF
14	Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen	Testing Polymorphic Properties.	ESOP	2010	DBLP DOI BibTeX RDF