Search results for "polymorphic"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Yuito Murase, Yuichi Nishiwaki	Polymorphic Context for Contextual Modality.	CoRR	2018	DBLP BibTeX RDF
14	Taro Sekiyama, Atsushi Igarashi	Reasoning about Polymorphic Manifest Contracts.	CoRR	2018	DBLP BibTeX RDF
14	Chide Groenouwe, Jesse Nortier, John-Jules Ch. Meyer	Truly Visual Polymorphic Algebraic Data Structures through Maramafication.	CoRR	2018	DBLP BibTeX RDF
14	Naveen Kumar Macha, Sandeep Geedipally, Bhavana Tejaswini Repalle, Md Arif Iqbal, Wafi Danesh, Mostafizur Rahman	Crosstalk based Fine-Grained Reconfiguration Techniques for Polymorphic Circuits.	CoRR	2018	DBLP BibTeX RDF
14	Michel A. Kinsy, Mihailo Isakov, Alan Ehret, Donato Kava	SAPA: Self-Aware Polymorphic Architecture.	CoRR	2018	DBLP BibTeX RDF
14	Satwik Patnaik, Nikhil Rangarajan, Johann Knechtel, Ozgur Sinanoglu, Shaloo Rakheja	Advancing Hardware Security Using Polymorphic and Stochastic Spin-Hall Effect Devices.	CoRR	2018	DBLP BibTeX RDF
14	Taro Sekiyama, Atsushi Igarashi	Handling polymorphic algebraic effects.	CoRR	2018	DBLP BibTeX RDF
14	Zhuqing Jiao, Kai Ma, Yiling Rong, Peng Wang, Hongkai Zhang, Shuihua Wang	A path planning method using adaptive polymorphic ant colony algorithm for smart wheelchairs.	J. Comput. Sci.	2018	DBLP DOI BibTeX RDF
14	Jhony-Heriberto Giraldo-Zuluaga, Augusto Salazar, German Díez, Alexander Gómez 0001, Tatiana Martinez, Jesús Francisco Vargas-Bonilla, Mariana Peñuela Vasquez	Automatic identification of Scenedesmus polymorphic microalgae from microscopic images.	Pattern Anal. Appl.	2018	DBLP DOI BibTeX RDF
14	Yehonatan Cohen, Danny Hendler	Scalable Detection of Server-Side Polymorphic Malware.	Knowl. Based Syst.	2018	DBLP DOI BibTeX RDF
14	Linda Dib, Nicolas Salamin, David Gfeller	Polymorphic sites preferentially avoid co-evolving residues in MHC class I proteins.	PLoS Comput. Biol.	2018	DBLP DOI BibTeX RDF
14	Joost Hoozemans, Jeroen van Straten, Stephan Wong	Increasing resource utilization in mixed-criticality systems using a polymorphic VLIW processor.	J. Syst. Archit.	2018	DBLP DOI BibTeX RDF
14	Dhiviya Dhanasekar, Fabio Di Troia, Katerina Potika, Mark Stamp 0001	Detecting Encrypted and Polymorphic Malware Using Hidden Markov Models.	Guide to Vulnerability Analysis for Computer Networks and Systems	2018	DBLP DOI BibTeX RDF
14	Zhilong Wang, Xuhua Ding, Chengbin Pang, Jian Guo, Jun Zhu, Bing Mao	To Detect Stack Buffer Overflow with Polymorphic Canaries.	DSN	2018	DBLP DOI BibTeX RDF
14	Omar Khattab, Mohammad Hammoud, Omar Shekfeh	PolyHJ: A Polymorphic Main-Memory Hash Join Paradigm for Multi-Core Machines.	CIKM	2018	DBLP DOI BibTeX RDF
14	Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García	Polymorphic success types for Erlang.	LPAR	2018	DBLP DOI BibTeX RDF
14	Zhiquan Feng, Tao Xu, Xiaohui Yang, Jinglan Tian, Jiangyan Yi, Ke Zhao	Research on Dynamic and Static Fusion Polymorphic Gesture Recognition Algorithm for Interactive Teaching Interface.	ICCSIP (2)	2018	DBLP DOI BibTeX RDF
14	Luca Stornaiuolo, Marco Rabozzi, Marco D. Santambrogio, Donatella Sciuto, Catalin Bogdan Ciobanu, Giulio Stramondo, Ana Lucia Varbanescu	Building High-Performance, Easy-to-Use Polymorphic Parallel Memories with HLS.	VLSI-SoC (Selected Papers)	2018	DBLP DOI BibTeX RDF
14	Luca Stornaiuolo, Marco Rabozzi, Donatella Sciuto, Marco D. Santambrogio, Giulio Stramondo, Catalin Bogdan Ciobanu, Ana Lucia Varbanescu	HLS Support for Polymorphic Parallel Memories.	VLSI-SoC	2018	DBLP DOI BibTeX RDF
14	Satwik Patnaik, Nikhil Rangarajan, Johann Knechtel, Ozgur Sinanoglu, Shaloo Rakheja	Advancing hardware security using polymorphic and stochastic spin-hall effect devices.	DATE	2018	DBLP DOI BibTeX RDF
14	Omid Akbari, Mehdi Kamal, Ali Afzali-Kusha, Massoud Pedram, Muhammad Shafique 0001	PX-CGRA: Polymorphic approximate coarse-grained reconfigurable architecture.	DATE	2018	DBLP DOI BibTeX RDF
14	Mei Luo, Linlin Li, Baocheng Wang, Kailong Zhang	Design of Polymorphic Real-Time Computational Model for UAV Application.	ICIS	2018	DBLP DOI BibTeX RDF
14	Jan Nevoral, Richard Ruzicka, Václav Simek	From Ambipolarity to Multifunctionality: Novel Library of Polymorphic Gates Using Double-Gate FETs.	DSD	2018	DBLP DOI BibTeX RDF
14	Tian Wang, Xiaoxin Cui, Dunshan Yu, Omid Aramoon, Timothy Dunlap, Gang Qu 0001, Xiaole Cui	Polymorphic gate based IC watermarking techniques.	ASP-DAC	2018	DBLP DOI BibTeX RDF
14	Urara Yamada, Kenichi Asai	Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS.	APLAS	2018	DBLP DOI BibTeX RDF
14	Bernardo Toninho, Nobuko Yoshida	On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings.	ESOP	2018	DBLP DOI BibTeX RDF
14	Daniel Ziegler 0001, Matthias Peissner, Doris Janssen	Model-with-Example: Model-Based Development of Polymorphic User Interfaces.	MuC	2018	DBLP DOI BibTeX RDF
14	Mohammad Rostami, Jeremy Gummeson, Ali Kiaghadi, Deepak Ganesan	Polymorphic radios: a new design paradigm for ultra-low power communication.	SIGCOMM	2018	DBLP DOI BibTeX RDF
14	Catalin Bogdan Ciobanu, Giulio Stramondo, Cees de Laat, Ana Lucia Varbanescu	MAX-PolyMem: High-Bandwidth Polymorphic Parallel Memories for DFEs.	IPDPS Workshops	2018	DBLP DOI BibTeX RDF
14	Daan Leijen	First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlers.	TyDe@ICFP	2018	DBLP DOI BibTeX RDF
14	Naveen Kumar Macha, Sandeep Geedipally, Bhavana Tejaswini Repalle, Md Arif Iqbal, Wafi Danesh, Mostafizur Rahman	Crosstalk based Fine-Grained Reconfiguration Techniques for Polymorphic Circuits.	NANOARCH	2018	DBLP DOI BibTeX RDF
14	Makoto Hamana	Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation.	FLOPS	2018	DBLP DOI BibTeX RDF
14	Anderson Luiz Sartor, Arthur Francisco Lorenzon, Sandip Kundu, Israel Koren, Antonio C. S. Beck	Adaptive and polymorphic VLIW processor to optimize fault tolerance, energy consumption, and performance.	CF	2018	DBLP DOI BibTeX RDF
14	Dan Chen, Renbiao Xie, Xianying Wang, Qiwei Shu, Shibao Shan	An efficient hybrid evolutionary algorithm to polymorphic TSP.	CCIS	2018	DBLP DOI BibTeX RDF
14	Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers	Formalization of a Polymorphic Subtyping Algorithm.	ITP	2018	DBLP DOI BibTeX RDF
14	Tian Wang, Xiaoxin Cui, Dunshan Yu, Omid Aramoon, Timothy Dunlap, Gang Qu 0001, Xiaole Cui	A Novel Polymorphic Gate Based Circuit Fingerprinting Technique.	ACM Great Lakes Symposium on VLSI	2018	DBLP DOI BibTeX RDF
14	Paul Muntean, Sebastian Wuerl, Jens Grossklags, Claudia Eckert 0001	CastSan: Efficient Detection of Polymorphic C++ Object Type Confusions with LLVM.	ESORICS (1)	2018	DBLP DOI BibTeX RDF
14	Damien Couroussé, Thierno Barry, Bruno Robisson, Nicolas Belleville, Philippe Jaillon, Olivier Potin, Hélène Le Bouder, Jean-Louis Lanet, Karine Heydemann	All paths lead to Rome: Polymorphic Runtime Code Generation for Embedded Systems.	CS2@HiPEAC	2018	DBLP DOI BibTeX RDF
14	Adam Crha, Václav Simek, Richard Ruzicka	Towards novel format for representation of polymorphic circuits.	DTIS	2018	DBLP DOI BibTeX RDF
14	Petr Fiser, Václav Simek	Optimum polymorphic circuits synthesis method.	DTIS	2018	DBLP DOI BibTeX RDF
14	Ksawery Krenc	Polymorphic Information Exchange Model for the purpose of Multi-level Fusion of Hard and Soft Information.	FUSION	2018	DBLP DOI BibTeX RDF
14	Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi	On polymorphic gradual typing.	Proc. ACM Program. Lang.	2017	DBLP DOI BibTeX RDF
14	You-Yu Lin, Chia-Hung Hsieh, Jiun-Hong Chen, Xuemei Lu, Jia-Horng Kao, Pei-Jer Chen, Ding-Shinn Chen, Hurng-Yi Wang	De novo assembly of highly polymorphic metagenomic data using in situ generated reference sequences and a novel BLAST-based assembly pipeline.	BMC Bioinform.	2017	DBLP DOI BibTeX RDF
14	Lavanya Rishishwar, Leonardo Mariño-Ramírez, I King Jordan	Benchmarking computational tools for polymorphic transposable element detection.	Briefings Bioinform.	2017	DBLP DOI BibTeX RDF
14	Jake Drew, Michael Hahsler, Tyler Moore 0001	Polymorphic malware detection using sequence classification methods and ensembles.	EURASIP J. Inf. Secur.	2017	DBLP DOI BibTeX RDF
14	Zhifang Li, Wenjian Luo, Lihua Yue, Xufa Wang	A Straightforward Method to Judge the Completeness of a Polymorphic Gate Set.	CoRR	2017	DBLP BibTeX RDF
14	Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack	Linear Haskell: practical linearity in a higher-order polymorphic language.	CoRR	2017	DBLP BibTeX RDF
14	Colin S. Gordon	A Generic Approach to Flow-Sensitive Polymorphic Effects (Extended Version).	CoRR	2017	DBLP BibTeX RDF
14	Bernardo Toninho, Nobuko Yoshida	On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings.	CoRR	2017	DBLP BibTeX RDF
14	Zhifang Li, Wenjian Luo, Lihua Yue, Xufa Wang	Design Methods for Polymorphic Combinational Logic Circuits based on the Bi_Decomposition Approach.	CoRR	2017	DBLP BibTeX RDF
14	Wenjian Luo, Zhifang Li	A Simplification Method of Polymorphic Boolean Functions.	CoRR	2017	DBLP BibTeX RDF
14	Jianxin Jia, Guangzhong Liu, Dezhi Han	DANCER: The routing algorithm in delay tolerant networks based on dynamic and polymorphic combination of dimensions and energy consideration.	Int. J. Distributed Sens. Networks	2017	DBLP DOI BibTeX RDF
14	Taro Sekiyama, Atsushi Igarashi, Michael Greenberg 0002	Polymorphic Manifest Contracts, Revised and Resolved.	ACM Trans. Program. Lang. Syst.	2017	DBLP DOI BibTeX RDF
14	Alexander Steen, Max Wisniewski, Christoph Benzmüller	Going Polymorphic - TH1 Reasoning for Leo-III.	IWIL@LPAR	2017	DBLP DOI BibTeX RDF
14	Raheem Lawhorn, Steve Susanibar, Lu Lu 0003, Cong Wang 0015	Polymorphic robot learning for dynamic and contact-rich handling of soft-rigid objects.	AIM	2017	DBLP DOI BibTeX RDF
14	Farhana Parveen, Zhezhi He, Shaahin Angizi, Deliang Fan	Hybrid Polymorphic Logic Gate with 5-Terminal Magnetic Domain Wall Motion Device.	ISVLSI	2017	DBLP DOI BibTeX RDF
14	Anthony Brandon, Joost Hoozemans, Jeroen van Straten, Stephan Wong	Exploring ILP and TLP on a Polymorphic VLIW Processor.	ARCS	2017	DBLP DOI BibTeX RDF
14	Scott Britell, Lois M. L. Delcambre, Paolo Atzeni	Web System Development Using Polymorphic Widgets and Generic Schemas.	Conceptual Modeling Perspectives	2017	DBLP DOI BibTeX RDF
14	Hongyuan Ding, Miaoqing Huang	PolyPC: Polymorphic parallel computing framework on embedded reconfigurable system.	FPL	2017	DBLP DOI BibTeX RDF
14	Cin-Han Yang, Tun-Wen Pai, Ron-Shan Chen, Hsin-Yiu Chou	Data Based Feature Identification of Polymorphic Functional Marker from Transcriptome Comparison.	SoMeT	2017	DBLP DOI BibTeX RDF
14	Colin S. Gordon	A Generic Approach to Flow-Sensitive Polymorphic Effects.	ECOOP	2017	DBLP DOI BibTeX RDF
14	Anthony Vance, C. Brock Kirwan, Daniel Bjorn, Jeffrey L. Jenkins, Bonnie Brinton Anderson	What Do We Really Know about How Habituation to Warnings Occurs Over Time?: A Longitudinal fMRI Study of Habituation and Polymorphic Warnings.	CHI	2017	DBLP DOI BibTeX RDF
14	Joost Hoozemans, Jeroen van Straten, Stephan Wong	Using a polymorphic VLIW processor to improve schedulability and performance for mixed-criticality systems.	RTCSA	2017	DBLP DOI BibTeX RDF
14	Shaloo Rakheja, N. Kani	Polymorphic spintronic logic gates for hardware security primitives - Device design and performance benchmarking.	NANOARCH	2017	DBLP DOI BibTeX RDF
14	Jing Ye 0001, Yue Gong, Yu Hu 0001, Xiaowei Li 0001	Polymorphic PUF: Exploiting reconfigurability of CPU+FPGA SoC to resist modeling attack.	AsianHOST	2017	DBLP DOI BibTeX RDF
14	Hiroyo Ishikawa, Kunitake Kaneko	Polymorphic Cataloguing and Interactive 3D Visualization for Multiple Context of Digital Content: MoSaIC.	ACE	2017	DBLP DOI BibTeX RDF
14	Farhana Parveen, Shaahin Angizi, Zhezhi He, Deliang Fan	Hybrid polymorphic logic gate using 6 terminal magnetic domain wall motion device.	ISCAS	2017	DBLP DOI BibTeX RDF
14	Jing Ye 0001, Yue Gong, Yu Hu 0001, Xiaowei Li 0001	Polymorphic PUF: Exploiting reconfigurability of CPU+FPGA SoC to resist modeling attack.	IOLTS	2017	DBLP DOI BibTeX RDF
14	Emmanuel Masabo, Kyanda Swaib Kaawaase, Julianne Sansa-Otim, Damien Hanyurwimfura	Structural Feature Engineering Approach for Detecting Polymorphic Malware.	DASC/PiCom/DataCom/CyberSciTech	2017	DBLP DOI BibTeX RDF
14	Jan Nevoral, Václav Simek, Richard Ruzicka	Compact library of efficient polymorphic gates based on ambipolar transistors.	DTIS	2017	DBLP DOI BibTeX RDF
14	Adam Crha, Richard Ruzicka, Václav Simek	Synthesis tool for design of complex polymorphic circuits.	DTIS	2017	DBLP DOI BibTeX RDF
14	James B. Fraley	Improved Detection for Advanced Polymorphic Malware.		2017	RDF
14	Ka I Pun, Martin Steffen, Volker Stolz	Effect-polymorphic behaviour inference for deadlock checking.	J. Log. Algebraic Methods Program.	2016	DBLP DOI BibTeX RDF
14	Jeffrey H. Kingston	Repairing high school timetables with polymorphic ejection chains.	Ann. Oper. Res.	2016	DBLP DOI BibTeX RDF
14	Syed Mohammad Asad Hassan Jafri, Muhammad Adeel Tajammul, Ahmed Hemani, Kolin Paul, Juha Plosila, Peeter Ellervee, Hannu Tenhunen	Polymorphic Configuration Architecture for CGRAs.	IEEE Trans. Very Large Scale Integr. Syst.	2016	DBLP DOI BibTeX RDF
14	Malak Abdullah I. Almarshad, Mohssen M. Z. E. Mohammed, Al-Sakib Khan Pathan	Detecting Zero-day Polymorphic Worms with Jaccard Similarity Algorithm.	Int. J. Commun. Networks Inf. Secur.	2016	DBLP BibTeX RDF
14	Jarrod Chapman, Isaac Y. Ho, Eugene Goltsman, Daniel S. Rokhsar	Meraculous2: fast accurate short-read assembly of large polymorphic genomes.	CoRR	2016	DBLP BibTeX RDF
14	Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu 0001, Nicholas Smallbone	Encoding Monomorphic and Polymorphic Types.	Log. Methods Comput. Sci.	2016	DBLP DOI BibTeX RDF
14	S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra	A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts.	CoRR	2016	DBLP BibTeX RDF
14	Matthew Noonan, Alexey Loginov, David R. Cok	Polymorphic Type Inference for Machine Code.	CoRR	2016	DBLP BibTeX RDF
14	Jhony-Heriberto Giraldo-Zuluaga, German Díez, Alexander Gómez 0001, Tatiana Martinez, Mariana Peñuela Vasquez, Jesús Francisco Vargas-Bonilla, Augusto Salazar	Automatic Identification of Scenedesmus Polymorphic Microalgae from Microscopic Images.	CoRR	2016	DBLP BibTeX RDF
14	Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen 0001	Set-Theoretic Types for Polymorphic Variants.	CoRR	2016	DBLP BibTeX RDF
14	Guilhem Jaber, Nikos Tzevelekos	Trace semantics for polymorphic references.	CoRR	2016	DBLP BibTeX RDF
14	Shadi A. Aljawarneh, Raja A. Moftah, Abdelsalam M. Maatuk	Investigations of automatic methods for detecting the polymorphic worms signatures.	Future Gener. Comput. Syst.	2016	DBLP DOI BibTeX RDF
14	Eric R. Verheul, Bart Jacobs 0001, Carlo Meijer, Mireille Hildebrandt, Joeri de Ruiter	Polymorphic Encryption and Pseudonymisation for Personalised Healthcare.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
14	Walter Binder, Philippe Moret, Éric Tanter, Danilo Ansaloni	Polymorphic bytecode instrumentation.	Softw. Pract. Exp.	2016	DBLP DOI BibTeX RDF
14	Lee Naish, Peter Schachte, Aleck M. MacNally	Adtpp: lightweight efficient safe polymorphic algebraic data types for C.	Softw. Pract. Exp.	2016	DBLP DOI BibTeX RDF
14	S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra	A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts.	IFL	2016	DBLP DOI BibTeX RDF
14	Xin Tang, Robert M. Wehrmeister, James Shau, Abhirup Chakraborty, Daley Alex, Awny Al Omari, Feven Atnafu, Jeff Davis, Litao Deng, Deepak Jaiswal, Chittaranjan Keswani, Yafeng Lu, Chao Ren, Tom Reyes, Kashif Siddiqui, David E. Simmen, Devendra Vidhani, Ling Wang, Shuai Yang, Daniel Yu	SQL-SA for big data discovery polymorphic and parallelizable SQL user-defined scalar and aggregate infrastructure in Teradata Aster 6.20.	ICDE	2016	DBLP DOI BibTeX RDF
14	Michel Héon, Roger Nkambou, Christian Langheit	Toward G-OWL: A Graphical, Polymorphic And Typed Syntax For Building Formal OWL2 Ontologies.	WWW (Companion Volume)	2016	DBLP DOI BibTeX RDF
14	Vijay Naidu, Ajit Narayanan	Using different substitution matrices in a string-matching technique for identifying viral polymorphic malware variants.	CEC	2016	DBLP DOI BibTeX RDF
14	Guilhem Jaber, Nikos Tzevelekos	Trace semantics for polymorphic references.	LICS	2016	DBLP DOI BibTeX RDF
14	Armando Cabrera, Ricardo A. Calix	On the Anatomy of the Dynamic Behavior of Polymorphic Viruses.	CTS	2016	DBLP DOI BibTeX RDF
14	Nur Syuhada Selamat, Fakariah Hani Mohd Ali, Noor Ashitah Abu Othman	Polymorphic Malware Detection.	ICITCS	2016	DBLP DOI BibTeX RDF
14	Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen 0001	Set-theoretic types for polymorphic variants.	ICFP	2016	DBLP DOI BibTeX RDF
14	Simon Archipoff, David Janin	Structured reactive programming with polymorphic temporal tiles.	FARM@ICFP	2016	DBLP DOI BibTeX RDF
14	Matthew Noonan, Alexey Loginov, David R. Cok	Polymorphic type inference for machine code.	PLDI	2016	DBLP DOI BibTeX RDF
14	Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama	Program synthesis from polymorphic refinement types.	PLDI	2016	DBLP DOI BibTeX RDF
14	Ki Yung Ahn, Andrea Vezzosi	Executable Relational Specifications of Polymorphic Type Systems Using Prolog.	FLOPS	2016	DBLP DOI BibTeX RDF
14	Francisco Javier López-Fraguas, Manuel Montenegro, Juan Rodríguez-Hortalá	Polymorphic Types in Erlang Function Specifications.	FLOPS	2016	DBLP DOI BibTeX RDF