|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 811 occurrences of 481 keywords
|
|
|
Results
Found 1588 publication records. Showing 1588 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
93 | Koji Kagawa |
Polymorphic variants in Haskell. |
Haskell |
2006 |
DBLP DOI BibTeX RDF |
polymorphic variants, Haskell, extensibility, type classes |
93 | Atsushi Ohori |
A Compilation Method for ML-Style Polymorphic Record Calculi. |
POPL |
1992 |
DBLP DOI BibTeX RDF |
|
85 | Jean-Pierre Jouannaud, Albert Rubio |
Polymorphic higher-order recursive path orderings. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
Automated termination prover tool, Gödel's polymorphic recursor, higher-order rewriting, termination orderings, typed lambda calculus |
78 | Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida |
Genericity and the pi-calculus. |
Acta Informatica |
2005 |
DBLP DOI BibTeX RDF |
|
76 | Houjun Liang, Wenjian Luo, Xufa Wang |
Designing Polymorphic Circuits with Evolutionary Algorithm Based on Weighted Sum Method. |
ICES |
2007 |
DBLP DOI BibTeX RDF |
Polymorphic Circuit, Weighted Sum, Evolutionary Algorithm |
75 | Martin Elsman |
Polymorphic Equality - No Tags Required. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
67 | Lanjia Wang, Hai-Xin Duan, Xing Li 0001 |
Dynamic emulation based modeling and detection of polymorphic shellcode at the network level. |
Sci. China Ser. F Inf. Sci. |
2008 |
DBLP DOI BibTeX RDF |
polymorphic shellcode, CPU emulation, intrusion detection |
67 | Lorenzo Cavallaro, Andrea Lanzi, Luca Mayer, Mattia Monga |
LISABETH: automated content-based signature generator for zero-day polymorphic worms. |
SESS |
2008 |
DBLP DOI BibTeX RDF |
automatic content-based signature generation, intrusion detection, network security, polymorphic worms |
67 | Michal Bidlo, Lukás Sekanina |
Providing information from the environment for growing electronic circuits through polymorphic gates. |
GECCO Workshops |
2005 |
DBLP DOI BibTeX RDF |
polymorphic circuit, genetic algorithm, development, digital circuits design |
66 | Siros Supavita, Taratip Suwannasart |
Testing Polymorphic Interactions in UML Sequence Diagrams. |
ITCC (2) |
2005 |
DBLP DOI BibTeX RDF |
UML, Software Testing, Object-Oriented, Polymorphism, Sequence Diagram |
66 | James Newsome, Brad Karp, Dawn Xiaodong Song |
Polygraph: Automatically Generating Signatures for Polymorphic Worms. |
S&P |
2005 |
DBLP DOI BibTeX RDF |
|
59 | Yong Tang 0004, Shigang Chen |
An Automated Signature-Based Approach against Polymorphic Internet Worms. |
IEEE Trans. Parallel Distributed Syst. |
2007 |
DBLP DOI BibTeX RDF |
Internet security, worm detection, polymorphic worms |
59 | José Carlos Brustoloni, Ricardo Villamarín-Salomón |
Improving security decisions with polymorphic and audited dialogs. |
SOUPS |
2007 |
DBLP DOI BibTeX RDF |
audited dialogs, context-sensitive guidance, e-mail client, polymorphic dialogs, virus propagation, attachment |
59 | Hsiang-Lun Huang, Tzong-Jye Liu, Kuong-Ho Chen, Chyi-Ren Dow, Lih-Chyau Wuu |
A polymorphic shellcode detection mechanism in the network. |
Infoscale |
2007 |
DBLP DOI BibTeX RDF |
polymorphic shellcode, intrusion detection system, buffer overflow |
59 | Songqing Chen, Xinyuan Wang 0005, Lei Liu 0021, Xinwen Zhang |
WormTerminator: an effective containment of unknown and polymorphic fast spreading worms. |
ANCS |
2006 |
DBLP DOI BibTeX RDF |
wormterminator, zero-day worms, virtual machine, worm containment, polymorphic worms |
58 | Michalis Polychronakis, Kostas G. Anagnostakis, Evangelos P. Markatos |
Network-level polymorphic shellcode detection using emulation. |
J. Comput. Virol. |
2007 |
DBLP DOI BibTeX RDF |
|
58 | Yingbo Song, Michael E. Locasto, Angelos Stavrou, Angelos D. Keromytis, Salvatore J. Stolfo |
On the infeasibility of modeling polymorphic shellcode. |
CCS |
2007 |
DBLP DOI BibTeX RDF |
shellcode, polymorphism, statistical models, signature generation |
58 | Yong Tang, Xicheng Lu, Bin Xiao 0001 |
Generating Simplified Regular Expression Signatures for Polymorphic Worms. |
ATC |
2007 |
DBLP DOI BibTeX RDF |
|
58 | Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich |
PolyAML: a polymorphic aspect-oriented functional programming language. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
aspects-oriented programming, functional programming, type systems, type inference, ad-hoc polymorphism |
58 | Jakob Rehof, Manuel Fähndrich |
Type-base flow analysis: from polymorphic subtyping to CFL-reachability. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
58 | Daniel Leivant |
Structural Semantics for Polymorphic Data Types. |
POPL |
1983 |
DBLP DOI BibTeX RDF |
|
51 | A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn |
Type Reconstruction in the Presence of Polymorphic Recursion. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
fixpoint operator, polymorphic abstraction, polymorphic recursion, semiunification |
50 | Leonardo de Mello Honório, Michael Vidigal, Luiz E. Souza |
Dynamic Polymorphic Agents Scheduling and Execution Using Artificial Immune Systems. |
ICARIS |
2008 |
DBLP DOI BibTeX RDF |
Polymorphic Agent, IA Planning, multi-agent systems, Aspect-Oriented Program (AOP), Artificial Immune Systems (AIS) |
50 | Adel Ben Mnaouer, Lei Chen 0015, Chuan Heng Foh, Juki Wirawan Tantra |
OPHMR: An Optimized Polymorphic Hybrid Multicast Routing Protocol for MANET. |
IEEE Trans. Mob. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Polymorphic protocols, hybrid behavior, MANET, adaptive routing, multicast routing |
50 | Tom Schrijvers, Maurice Bruynooghe |
Polymorphic algebraic data type reconstruction. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
polymorphic recursion, type definition, type reconstruction, parametric polymorphism, algebraic data type |
50 | Jill L. Drury, Holly A. Yanco, Whitney Howell, Brian W. Minten, Jennifer Casper |
Changing shape: improving situation awareness for a polymorphic robot. |
HRI |
2006 |
DBLP DOI BibTeX RDF |
polymorphic robots, shape-shifting robots, evaluation, interaction design, human-robot interaction, situation awareness |
50 | Udo Payer, Stefan Kraxberger |
Polymorphic Code Detection with GA Optimized Markov Models. |
Communications and Multimedia Security |
2005 |
DBLP DOI BibTeX RDF |
polymorphic shellcode detection, genetic algorithms, optimization, intrusion detection, markov models |
50 | Udo Payer, Peter Teufl, Mario Lamberger |
Hybrid Engine for Polymorphic Shellcode Detection. |
DIMVA |
2005 |
DBLP DOI BibTeX RDF |
polymorphic shellcode detection, neural networks, Intrusion Detection |
50 | Samson Abramsky, Marina Lenisa |
A Fully Complete PER Model for ML Polymorphic Types. |
CSL |
2000 |
DBLP DOI BibTeX RDF |
ML-polymorphic types, PER models, full completeness, linear logic, Geometry of Interaction |
50 | Massimo Maresca |
Polymorphic Processor Arrays. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
polymorphic processor arrays, mesh-connected arrays, PPA, low complexity algorithms, PPA programming model, computational complexity, parallel processing, parallel computers, parallel architectures, multiprocessor interconnection networks |
50 | Hungwen Li, Massimo Maresca |
Polymorphic-Torus Architecture for Computer Vision. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1989 |
DBLP DOI BibTeX RDF |
dynamically reconfigurable network, polymorphic-torus network, VLSI efficiency, computer vision, computer vision, parallel algorithms, VLSI, parallel architectures, parallel architectures, hypercube, tree, mesh, SIMD, machine vision, circuit switching, pyramid |
49 | Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich |
AspectML: A polymorphic aspect-oriented functional programming language. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
parametric and ad-hoc polymorphism, Aspect-oriented programming, type systems, type inference, functional languages |
49 | Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca |
Polymorphic bytecode: compositional compilation for Java-like languages. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
type systems, compositional analysis |
49 | Atsushi Ohori, Keishi Tajima |
A Polymorphic Calculus for Views and Object Sharing. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
49 | Atsushi Ohori, Kazuhiko Kato |
Semantics for Communication Primitives in an Polymorphic Language. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
ML |
49 | Paris C. Kanellakis, John C. Mitchell |
Polymorphic Unification and ML Typing. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
ML |
49 | Daniel Leivant |
Polymorphic Type Inference. |
POPL |
1983 |
DBLP DOI BibTeX RDF |
|
44 | Qinghua Zhang, Douglas S. Reeves, Peng Ning, S. Purushothaman Iyer |
Analyzing network traffic to detect self-decrypting exploit code. |
AsiaCCS |
2007 |
DBLP DOI BibTeX RDF |
exploit code, static analysis, emulation, detection, polymorphic, decryption |
44 | Zhichun Li, Manan Sanghi, Yan Chen 0004, Ming-Yang Kao, Brian Chavez |
Hamsa: Fast Signature Generation for Zero-day PolymorphicWorms with Provable Attack Resilience. |
S&P |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Jean-Pierre Jouannaud, Albert Rubio |
The Higher-Order Recursive Path Ordering. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Val Tannen, Thierry Coquand |
Extensional Models for Polymorphism. |
TAPSOFT, Vol.2 |
1987 |
DBLP DOI BibTeX RDF |
|
41 | Jia Xu, Qingsheng Luo, Ningjun Fan, Jiwei Yang |
Optimizing Mechanism for a Polymorphic Tracked Robot. |
ICIRA (2) |
2008 |
DBLP DOI BibTeX RDF |
polymorphic tracked robot, shape-shifting mechanism, design variable, changing rate of the track perimeter |
41 | François Pottier, Nadji Gauthier |
Polymorphic typed defunctionalization and concretization. |
High. Order Symb. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Type-preserving compilation, Polymorphic records, Dictionary records, Polymorphism, Type classes, Defunctionalization, Closure conversion, Concretization |
41 | Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno |
A polymorphic modal type system for lisp-like multi-staged languages. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
let-polymorphism, modal types, multi-staged languages, polymorphic types, quasi-quotation, record type, type systems, lisp, ML, scheme, type inference |
41 | Stamatis Vassiliadis, Stephan Wong, Georgi Gaydadjiev, Koen Bertels, Georgi Kuzmanov, Elena Moscu Panainte |
The MOLEN Polymorphic Processor. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
Custom computing machines, reconfigurable microcode, polymorphic processors, FPGA, reconfigurable processors, firmware |
41 | Dieter Nazareth |
The Semantic Treatment of Polymorphic Specification Languages. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
polymorphic type system, algebraic semantics, axiomatic specification |
41 | Claudia Fuchs, Wolfgang Förstner |
Polymorphic Grouping for Image Segmentation. |
ICCV |
1995 |
DBLP DOI BibTeX RDF |
polymorphic grouping, inherent deficiencies, low-level feature extraction, real scene complexity, stereo recognition, point extraction, segment extraction, feature adjacency graph, grouping steps, specific domain knowledge, optimal image description, geometric hypotheses validation, ideal image model, computer vision, image segmentation, image segmentation, feature extraction, object recognition, object recognition, stereo image processing, inconsistencies, robust estimation, estimation theory, cell-complex, line extraction, symbolic description, outdoor scenes, exoskeleton |
40 | Jie Wang 0067, Jianxin Wang 0001, Yu Sheng, Jianer Chen |
Polymorphic Worm Detection Using Signatures Based on Neighborhood Relation. |
HPCC |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Shahar Maoz |
Polymorphic Scenario-Based Specification Models: Semantics and Applications. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Christian Hofer, Klaus Ostermann, Tillmann Rendel, Adriaan Moors |
Polymorphic embedding of dsls. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
pure embedding, domain-specific languages, extensibility, compositionality, algebraic semantics, scala |
40 | Ricardo Chaves, Blagomir Donchev, Georgi Kuzmanov, Leonel Sousa, Stamatis Vassiliadis |
BRAM-LUT Tradeoff on a Polymorphic DES Design. |
HiPEAC |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Kenichi Asai, Yukiyoshi Kameyama |
Polymorphic Delimited Continuations. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
Predicative/Impredicative Polymorphism, Type System, Delimited Continuation, CPS Translation, Control Operator |
40 | Michalis Polychronakis, Kostas G. Anagnostakis, Evangelos P. Markatos |
Emulation-Based Detection of Non-self-contained Polymorphic Shellcode. |
RAID |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Christy Dena |
Capturing polymorphic creations: towards ontological heterogeneity and transmodiology. |
IE |
2007 |
DBLP BibTeX RDF |
hypercomplexity, transdisciplinarity, ontology, integration, convergence, schema, narratology, cross-media, transmedia, ludology, alternate reality games |
40 | Lajos Nagy, Ryan Stansifer |
Polymorphic type inference for the relational algebra in the functional database programming language neon. |
ACM Southeast Regional Conference |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Michalis Polychronakis, Kostas G. Anagnostakis, Evangelos P. Markatos |
Network-Level Polymorphic Shellcode Detection Using Emulation. |
DIMVA |
2006 |
DBLP DOI BibTeX RDF |
|
40 | William L. Harrison |
A Simple Semantics for Polymorphic Recursion. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Anthony Savidis |
Dynamic Imperative Languages for Runtime Extensible Semantics and Polymorphic Meta-Programming. |
RISE |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Lukás Sekanina |
Evolutionary Design of Gate-Level Polymorphic Digital Circuits. |
EvoWorkshops |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Paul Hudak |
An Algebraic Theory of Polymorphic Temporal Media. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Anand Ranganathan, Shiva Chetan, Roy H. Campbell |
Mobile Polymorphic Applications in Ubiquitous Computing Environments. |
MobiQuitous |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Kohei Honda 0001, Nobuko Yoshida |
A compositional logic for polymorphic higher-order functions. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
compositional logics, polymorphim, types, higher-order functions |
40 | Cholmin Kim, Soung-uck Lee, Manpyo Hong |
Macroscopic Treatment to Polymorphic E-mail Based Viruses. |
ICCSA (3) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Jan-Georg Smaus |
The Head Condition and Polymorphic Recursion. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Benjamin C. Pierce, Davide Sangiorgi |
Behavioral equivalence in the polymorphic pi-calculus. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
abstract data types, pi-calculus |
40 | Dominic Duggan |
Dynamic Typing for Distributed Programming in Polymorphic Languages. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
parametric polmorphism, dynamic typing, static typing, marshalling |
40 | Geoffrey Smith 0001, Dennis M. Volpano |
Polymorphic typing of Variables and References. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
variables, assignment, references |
40 | Geoffrey Smith 0001, Dennis M. Volpano |
Towards an ML-Style Polymorphic Type System for C. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
40 | Xavier Leroy |
Efficient Data Representation in Polymorphic Languages. |
PLILP |
1990 |
DBLP DOI BibTeX RDF |
|
40 | Michael Hanus |
Horn Clause Programs with Polymorphic Types: Semantics and Resolution. |
TAPSOFT, Vol.2 |
1989 |
DBLP DOI BibTeX RDF |
|
40 | Val Tannen, Jean H. Gallier |
Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence. |
ICALP |
1989 |
DBLP DOI BibTeX RDF |
|
40 | James W. O'Toole Jr., David K. Gifford |
Type Reconstruction with First-Class Polymorphic Values. |
PLDI |
1989 |
DBLP DOI BibTeX RDF |
|
40 | Frank Pfenning |
Partial Polymorphic Type Inference and Higher-Order Unification. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
40 | Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman |
Empty Types in Polymorphic Lambda Calculus. |
POPL |
1987 |
DBLP DOI BibTeX RDF |
|
36 | Prahlad Fogla, Wenke Lee |
Evading network anomaly detection systems: formal reasoning and practical techniques. |
CCS |
2006 |
DBLP DOI BibTeX RDF |
polymorphic blending attack, anomaly detection, mimicry attack |
36 | Anthony Savidis |
More dynamic imperative languages. |
ACM SIGPLAN Notices |
2005 |
DBLP DOI BibTeX RDF |
dynamically extensible semantics, polymorphic pattern programming, runtime inheritance, dynamic languages |
36 | Neelam Soundarajan, Stephen Fridella |
Incremental Reasoning for Object Oriented Systems. |
Essays in Memory of Ole-Johan Dahl |
2004 |
DBLP DOI BibTeX RDF |
Incremental reasoning, Behavior of polymorphic methods, Incremental design |
36 | Rick van Rein |
Specifying Processes with Dynamic Life Cycles. |
CAiSE |
2000 |
DBLP DOI BibTeX RDF |
polymorphic creation and deletion, communication, object orientation, conceptual modelling, process algebra, life cycles, component composition, state diagrams |
35 | Herman Geuvers |
(In)consistency of Extensions of Higher Order Logic and Type Theory. |
TYPES |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Lukás Sekanina, Lukás Starecek, Zbysek Gajda, Zdenek Kotásek |
Evolution of Multifunctional Combinational Modules Controlled by the Power Supply Voltage. |
AHS |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Sevan G. Ficici, Ofer Melnik, Jordan B. Pollack |
A game-theoretic and dynamical-systems analysis of selection methods in coevolution. |
IEEE Trans. Evol. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich |
An open and shut typecase. |
TLDI |
2005 |
DBLP DOI BibTeX RDF |
intensional type analysis, generativity, reflexivity, ad-hoc polymorphism |
35 | Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida |
Genericity and the pi-Calculus. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Patrick Lincoln, John C. Mitchell |
Algorithmic Aspects of Type Inference with Subtypes. |
POPL |
1992 |
DBLP DOI BibTeX RDF |
|
32 | Luis Campo-Giralte, Ricardo Jiménez-Peris, Marta Patiño-Martínez |
PolyVaccine: Protecting Web Servers against Zero-Day, Polymorphic and Metamorphic Exploits. |
SRDS |
2009 |
DBLP DOI BibTeX RDF |
polymorphic malware, metamorphic malware, zero-day malware, web server, vulnerability, exploit |
32 | Kohei Tatara, Yoshiaki Hori, Kouichi Sakurai |
Analyzing Maximum Length of Instruction Sequence in Network Packets for Polymorphic Worm Detection. |
MUE |
2008 |
DBLP DOI BibTeX RDF |
Polymorphic Worm Detection, Abstract Payload Execution |
32 | Jedidiah R. Crandall, Zhendong Su 0001, Shyhtsun Felix Wu, Frederic T. Chong |
On deriving unknown vulnerabilities from zero-day polymorphic and metamorphic worm exploits. |
CCS |
2005 |
DBLP DOI BibTeX RDF |
metamorphism, polymorphism, symbolic execution, worms, honeypots, polymorphic worms |
32 | Hungwen Li, Massimo Maresca |
Polymorphic-Torus Network. |
IEEE Trans. Computers |
1989 |
DBLP DOI BibTeX RDF |
polymorphic-torus network, parallel fine-grained, circuit-switching capability, wiring complexity, interpackage wiring, max/min, sum operations, interconnection network, multiprocessor interconnection networks, SIMD, communication bandwidth, Boolean |
32 | Mehdi Talbi, Mohamed Mejri, Adel Bouhoula |
Specification and evaluation of polymorphic shellcode properties using a new temporal logic. |
J. Comput. Virol. |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Bai Zhongying, Qin Jiancheng |
Webpage Encryption Based on Polymorphic Javascript Algorithm. |
IAS |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Jeffery E. Bryson |
Polymorphic system architecture summary. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
architecture, abstraction, systems architecture, polymorphism |
32 | Michal Bidlo, Zdenek Vasícek |
Cellular Automata-Based Development of Combinational and Polymorphic Circuits: A Comparative Study. |
ICES |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Marco Comini, Ferruccio Damiani, Samuel Vrech |
On Polymorphic Recursion, Type Systems, and Abstract Interpretation. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
Type Inference Algorithm, Principal Typing |
32 | Adarsha Rao, Mythri Alle, S. K. Nandy 0001, Ranjani Narayan |
Architecture of a polymorphic ASIC for interoperability across multi-mode H.264 decoders. |
ASAP |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher |
From Monomorphic to Polymorphic Well-Typings and Beyond. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Lukás Sekanina |
Evolution of Polymorphic Self-checking Circuits. |
ICES |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Matthew Van Gundy, Hao Chen 0003, Zhendong Su 0001, Giovanni Vigna |
Feature Omission Vulnerabilities: Thwarting Signature Generation for Polymorphic Worms. |
ACSAC |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Nadya Kuzmina, Ruben Gamboa |
Dynamic constraint detection for polymorphic behavior. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
automatic specification recovery, class invariants, object constraints, dynamic invariant detection |
32 | Ki Hun Lee, Yuna Kim, Sung Je Hong, Jong Kim 0001 |
PolyI-D: Polymorphic Worm Detection Based on Instruction Distribution. |
WISA |
2006 |
DBLP DOI BibTeX RDF |
|
32 | David L. Heine, Monica S. Lam |
Static detection of leaks in polymorphic containers. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
program analysis, type systems, memory management, error detection, memory leaks |
Displaying result #1 - #100 of 1588 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|