|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1365 occurrences of 650 keywords
|
|
|
Results
Found 1361 publication records. Showing 1361 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
9 | Patrick Baillot, Kazushige Terui |
A Feasible Algorithm for Typing in Elementary Affine Logic. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Jaiprakash T. Lallchandani, Rajib Mall |
Computation of Dynamic Slices for Object-Oriented Concurrent Programs. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Geoffrey Washburn, Stephanie Weirich |
Generalizing Parametricity Using Information-flow. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Haruo Hosoya |
Type Systems for XML. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Henning Makholm, J. B. Wells |
Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
9 | François Pottier |
From ML type inference to stratified type inference. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Guoren Wang, Mengchi Liu |
Extending XML with Nonmonotonic Multiple Inheritance. |
DASFAA |
2005 |
DBLP DOI BibTeX RDF |
XML schema languages, nonmonotonic inheritance, element hierarchy, XML |
9 | Donnie Qi, Judith A. Blake, James A. Kadin, Joel E. Richardson, Martin Ringwald, Janan T. Eppig, Carol J. Bult |
Data Integration in the Mouse Genome Informatics (MGI) Database. |
CSB Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Jedidiah R. Crandall, Shyhtsun Felix Wu, Frederic T. Chong |
Experiences Using Minos as a Tool for Capturing and Analyzing Novel Worms for Unknown Vulnerabilities. |
DIMVA |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Andrea Lani, Tiago Quintino, Dries Kimpe, Herman Deconinck, Stefan Vandewalle, Stefaan Poedts |
The COOLFluiD Framework: Design Solutions for High Performance Object Oriented Scientific Computing Software. |
International Conference on Computational Science (1) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Christian Skalka |
Trace effects and object orientation. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
temporal program logic, type and effect, type constraints |
9 | David Crowther, Djuradj Babich, Peter J. Clarke |
A Class Abstraction Technique to Support the Analysis of Java Programs During Testing. |
SERA |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Antonio J. Fernández 0001, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez |
Programming with TOY(FD). |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Arthur M. Farley |
Population Structure and Artificial Evolution. |
Artificial Evolution |
2005 |
DBLP DOI BibTeX RDF |
population structure, genetic algorithm, graphs, population dynamics |
9 | Andreas Abel 0001, Marcin Benke, Ana Bove, John Hughes 0001, Ulf Norell |
Verifying haskell programs using constructive type theory. |
Haskell |
2005 |
DBLP DOI BibTeX RDF |
GHC core, monadic translation, verification, haskell, type theory, partiality |
9 | Ugo Dal Lago, Martin Hofmann 0001 |
Quantitative Models and Implicit Complexity. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
9 | 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 |
|
9 | Meena Jha, Piyush Maheshwari |
Reusing Code for Modernization of Legacy Systems. |
STEP |
2005 |
DBLP DOI BibTeX RDF |
|
9 | John K. Reid |
An overview of Fortran 2003. |
ACM SIGPLAN Notices |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Tim Sheard |
Languages of the future. |
ACM SIGPLAN Notices |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Karthikeyan Sankaralingam, Ramadass Nagarajan, Haiming Liu 0001, Changkyu Kim, Jaehyuk Huh 0001, Nitya Ranganathan, Doug Burger, Stephen W. Keckler, Robert G. McDonald, Charles R. Moore |
TRIPS: A polymorphous architecture for exploiting ILP, TLP, and DLP. |
ACM Trans. Archit. Code Optim. |
2004 |
DBLP DOI BibTeX RDF |
scalable and high-performance computing, Computer architecture, configurable computing |
9 | A. M. Gorelik |
Object-Oriented Programming in Modern Fortran. |
Program. Comput. Softw. |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Erik Arisholm, Lionel C. Briand, Audun Føyen |
Dynamic Coupling Measurement for Object-Oriented Software. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
9 | C. Barry Jay |
The pattern calculus. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
Constructor calculus, pattern calculus, functional programming, pattern-matching, generic programming |
9 | Edward A. Lee, Stephen Neuendorffer |
Classes and subclasses in actor-oriented design. |
MEMOCODE |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Pedro A. Reche, Ellis L. Reinherz |
Definition of MHC Supertypes Through Clustering of MHC Peptide Binding Repertoires. |
ICARIS |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Tim Sheard |
Languages of the future. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
equality constrained types, formal reasoning systems, staged languages, static constraint management, formal methods |
9 | Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride |
Constructing Polymorphic Programs with Quotient Types. |
MPC |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Mads Torgersen, Christian Plesner Hansen, Erik Ernst, Peter von der Ahé, Gilad Bracha, Neal M. Gafter |
Adding wildcards to the Java programming language. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
genericity, wildcards, parameterized types |
9 | Francesco Bruschi, Massimo Bombana |
A Design Methodology for the Exploitation of High Level Communication Synthesis. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Nico Bannow, Karsten Haug |
Evaluation of an Object-Oriented Hardware Design Methodology for Automotive Applications. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Archana Pasupulati, Jason Coit, Karl N. Levitt, Shyhtsun Felix Wu, S. H. Li, J. C. Kuo, K. P. Fan |
Buttercup: on network-based detection of polymorphic buffer overflow vulnerabilities. |
NOMS (1) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Andrei A. Bulatov |
A Graph of a Relational Structure and Constraint Satisfaction Problems. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Patricia Johann, Janis Voigtländer |
Free theorems in the presence of seq. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
controlling strict evaluation, short cut fusion, theorems for free, program transformations, Haskell, denotational semantics, parametricity, correctness proofs, logical relations |
9 | Stéphane Ducasse, Michele Lanza, Roland Bertuli |
High-Level Polymetric Views of Condensed Run-time Information. |
CSMR |
2004 |
DBLP DOI BibTeX RDF |
run-time information, reverse engineering, object-oriented programming, program understanding, software visualization |
9 | Iulian Ober, Susanne Graf, Ileana Ober |
Validation of UML Models via a Mapping to Communicating Extended Timed Automata. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
9 | 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 |
9 | Jifeng He 0001, Zhiming Liu 0001, Xiaoshan Li, Shengchao Qin |
A Relational Model for Object-Oriented Designs. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
UTP, Semantics, Object Orientation, Refinement |
9 | Marc Conrad, Tim French 0001 |
Using the synergies between the object-oriented paradigm and mathematics in joint mathematics/computer science programs. |
ITiCSE |
2004 |
DBLP DOI BibTeX RDF |
education, object oriented programming, computer algebra, mathematics |
9 | Jaakko Järvi, Andrew Lumsdaine, Douglas P. Gregor, Mayuresh Kulkarni, David R. Musser, Sibylle Schupp |
Generic Programming and High-Performance Libraries. |
IPDPS Next Generation Software Program - NSFNGS - PI Workshop |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli |
A Generative Approach to the Implementation of Language Bindings for the Document Object Model. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Awais Rashid, Nicholas A. Leidenfrost |
Supporting Flexible Object Database Evolution with Aspects. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Phil Ventura, Bina Ramamurthy |
Wanted: CS1 students. no experience required. |
SIGCSE |
2004 |
DBLP DOI BibTeX RDF |
predictors of success, prior programming experience, object-oriented programming, CS1, curriculum, object oriented-design, objects-first |
9 | Peishun Liu, Jianbo Wang, Dake He |
Worm detection using CPN. |
SMC (5) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Bhushan Bauskar, Boleslaw Mikolajczak |
Modeling inheritance anomaly in concurrent systems using colored Petri nets. |
SMC (5) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Russell Schwartz |
Algorithms for Association Study Design Using a Generalized Model of Haplotype Conservation. |
CSB |
2004 |
DBLP DOI BibTeX RDF |
|
9 | John G. Michopoulos, Panagiota E. Tsompanopoulou, Elias N. Houstis, Anupam Joshi |
Agent-Based Simulation of Data-Driven Fire Propagation Dynamics. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Faye F. Liu, Jidong Wang, Tharam S. Dillon |
An Object-Oriented Approach on Web Information Representation and Derivation. |
EEE |
2004 |
DBLP DOI BibTeX RDF |
|
9 | 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 |
9 | Robert Steele, Yuri Ventsov, Sri Madhisetty, Laurie Benkovich |
A Two-tier Architecture for Automated Mobile Applications. |
ITCC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Saurabh Sinha, Alessandro Orso, Mary Jean Harrold |
Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Holger Schwender |
Modifying Microarray Analysis Methods for Categorical Data - SAM and PAM for SNPs. |
GfKl |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Abdelwahab Hamou-Lhadj, Timothy C. Lethbridge |
A survey of trace exploration tools and techniques. |
CASCON |
2004 |
DBLP BibTeX RDF |
|
9 | Mok Pak Lun, Anthony S. Fong, Gary K. W. Hau |
Object-oriented processor requirements with instruction analysis of Java programs. |
SIGARCH Comput. Archit. News |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Karthikeyan Sankaralingam, Ramadass Nagarajan, Haiming Liu 0001, Changkyu Kim, Jaehyuk Huh 0001, Doug Burger, Stephen W. Keckler, Charles R. Moore |
Exploiting ILP, TLP, and DLP with the Polymorphous TRIPS Architecture. |
IEEE Micro |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Kim B. Bruce, Angela Schuett, Robert van Gent, Adrian Fiech |
PolyTOIL: A type-safe polymorphic object-oriented language. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
hash type, Matching |
9 | Raimund Dachselt, Enrico Rukzio |
Behavior3D: an XML-based framework for 3D graphics behavior. |
Web3D |
2003 |
DBLP DOI BibTeX RDF |
Contigra, behavior language, dynamic grammar, animation, XML-Schema, Extensible 3D (X3D), SMIL, object behaviors |
9 | Kim B. Bruce |
Bending without Breaking: Making Software More Flexible: Extended Abstract. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
9 | W. Eric Wong, J. Jenny Li |
Redesigning Legacy Systems into the Object-Oriented Paradigm. |
ISORC |
2003 |
DBLP DOI BibTeX RDF |
OO redesign, procedure/variable call graph, structure distance, code partition, feature visualization, execution slice, structural pattern |
9 | Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario |
Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. |
ECRTS |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Kui Zhang, Fengzhu Sun, Michael S. Waterman, Ting Chen 0006 |
Dynamic programming algorithms for haplotype block partitioning: applications to human chromosome 21 haplotype data. |
RECOMB |
2003 |
DBLP DOI BibTeX RDF |
local maximal haplotypes, tag SNPs, clustering, dynamic programming, haplotype block |
9 | Andrew G. Clark |
Haplotype phase inference. |
RECOMB |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Jorn Bettin, Jeff Hoare |
Time Conscious Objects. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
domain-driven development, model driven architecture (MDA), time, domain-specific languages, auditability, versioning, logging, temporal, undo, redo |
9 | Bruno Dufour, Karel Driesen, Laurie J. Hendren, Clark Verbrugge |
Dynamic metrics for java. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
Java, optimization, software metrics, program analysis, profiling, execution traces, dynamic metrics |
9 | Carl Alphonce, Phil Ventura |
Using graphics to support the teaching of fundamental object-oriented principles in CS1. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
NGP, Java, object-orientation, CS1, graphics |
9 | Siew Teck Kiong, Wang Yin Chai |
An Object-Oriented Approach for Transformation of Spatial Data from Relational Database to Object-Oriented Database. |
ICADL |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Mok Pak Lun, Anthony S. Fong, Gary K. W. Hau |
Object-oriented processor requirements with instruction analysis of Java programs. |
ISICT |
2003 |
DBLP BibTeX RDF |
|
9 | Kaiman Lo, Pak Lun Mok, Wing Shing Yu, Anthony S. Fong |
Hardware support for user-access control on an object-oriented processor. |
ISICT |
2003 |
DBLP BibTeX RDF |
|
9 | Andrei A. Bulatov, Víctor Dalmau |
Towards a Dichotomy Theorem for the Counting Constraint Satisfaction Problem. |
FOCS |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Andreas Abel 0001, Ralph Matthes, Tarmo Uustalu |
Generalized Iteration and Coiteration for Higher-Order Nested Datatypes. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Simon L. Peyton Jones, Ralf Lämmel |
Scrap Your Boilerplate. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Tae-Dong Lee, Bom-Jae Jeon, Chang-Sung Jeong, Sang-Yong Choi |
RISA: Object-Oriented Modeling and Simulation of Real-Time Distributed System for Air Defense. |
OOIS |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Guoren Wang, Mengchi Liu |
Extending XML Schema with Nonmonotonic Inheritance. |
ER (Workshops) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Patrick Lam 0001, Martin C. Rinard |
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. |
ECOOP |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger |
A Nominal Theory of Objects with Dependent Types. |
ECOOP |
2003 |
DBLP DOI BibTeX RDF |
|
9 | István Zólyomi, Zoltán Porkoláb, Tamás Kozsik |
An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming. |
GPCE |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Hong Zhu 0002, David E. Lightfoot |
Caste: A Step beyond Object Orientation. |
JMLC |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer |
CCured in the real world. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
compatibility with library code, run-time type information, C, type safety, memory safety |
9 | Mark Utting, Shaochun Wang |
Object Orientation without Extending Z. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Yusuke Sakabe, Masakazu Soshi, Atsuko Miyaji |
Java Obfuscation with a Theoretical Basis for Building Secure Mobile Agents. |
Communications and Multimedia Security |
2003 |
DBLP DOI BibTeX RDF |
security, computational complexity, mobile agents, static analysis, obfuscation |
9 | Andrew B. Kahng, Ion I. Mandoiu, Sherief Reda, Xu Xu 0001, Alexander Zelikovsky |
Evaluation of Placement Techniques for DNA Probe Array Layout. |
ICCAD |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Fang-Rong Hsu, J. F. Chen |
Aligning ESTs to Genome Using Multi-Layer Unique Makers. |
CSB |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Ralf Lämmel, Simon L. Peyton Jones |
Scrap your boilerplate: a practical design pattern for generic programming. |
TLDI |
2003 |
DBLP DOI BibTeX RDF |
rank-2 types, type cast, generic programming, traversal |
9 | Dan Grossman |
Type-safe multithreading in cyclone. |
TLDI |
2003 |
DBLP DOI BibTeX RDF |
types, data races, cyclone |
9 | David A. Cohen, Martin C. Cooper, Peter Jeavons 0001, Andrei A. Krokhin |
Soft Constraints: Complexity and Multimorphisms. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Richard Souvenir, Jeremy Buhler, Gary D. Stormo, Weixiong Zhang |
Selecting Degenerate Multiplex PCR Primers. |
WABI |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Yonatan Aumann, Efrat Manisterski, Zohar Yakhini |
Designing Optimally Multiplexed SNP Genotyping Assays. |
WABI |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Karthikeyan Sankaralingam, Ramadass Nagarajan, Haiming Liu 0001, Changkyu Kim, Jaehyuk Huh 0001, Doug Burger, Stephen W. Keckler, Charles R. Moore |
Exploiting ILP, TLP and DLP with the Polymorphous TRIPS Architecture. |
ISCA |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Frank Feiks, David Hemer |
Specification Matching of Object-Oriented Components. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
OO components, retrieval, specification matching |
9 | Dominic Duggan |
Object type constructors. |
Acta Informatica |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Kathleen Fisher, Benjamin C. Pierce |
Guest editorial. |
ACM Trans. Program. Lang. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Erik Arisholm |
Dynamic Coupling Measures for Object-Oriented Software. |
IEEE METRICS |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Paolo Manghi, Fabio Simeoni, David Lievens, Richard Connor 0001 |
Hybrid applications over XML: integrating the procedural and declarative approaches. |
WIDM |
2002 |
DBLP DOI BibTeX RDF |
XML high-level bindings, XML programming, advanced web applications, XML querying, web data integration |
9 | Pablo E. Martínez López, John Hughes |
Principal type specialisation. |
ASIA-PEPM |
2002 |
DBLP DOI BibTeX RDF |
program specialisation, type based transformation, type specialisation, qualified types |
9 | Anupriya Ankolekar, Frank Huch, Katia P. Sycara |
Concurrent Execution Semantics of DAML-S with Subtypes. |
ISWC |
2002 |
DBLP DOI BibTeX RDF |
Languages and Infrastructure, Ontologies, Agents, Services |
9 | Andrew G. Clark, Emmanouil T. Dermitzakis, Stylianos E. Antonarakis |
Trisomic Phase Inference. |
Computational Methods for SNPs and Haplotype Inference |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Tianhua Niu, Xin Lu, Hosung Kang, Zhaohui S. Qin, Jun S. Liu |
Haplotype Inference and Its Application in Linkage Disequilibrium Mapping. |
Computational Methods for SNPs and Haplotype Inference |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Herbert Kuchen, Jörg Striegnitz |
Higher-order functions and partial applications for a C++ skeleton library. |
Java Grande |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Lutz Schröder, Till Mossakowski |
HASCASL: Towards Integrated Specification and Development of Functional Programs. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Gagan Agrawal, Jinqian Li, Qi Su |
Evaluating a Demand Driven Technique for Call Graph Construction. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1101 - #1200 of 1361 (100 per page; Change: ) Pages: [ <<][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|