The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for modularity with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1971-1978 (17) 1979-1984 (20) 1985-1987 (29) 1988 (22) 1989 (19) 1990 (20) 1991 (27) 1992 (32) 1993 (29) 1994 (40) 1995 (24) 1996 (39) 1997 (45) 1998 (45) 1999 (43) 2000 (57) 2001 (66) 2002 (71) 2003 (106) 2004 (131) 2005 (135) 2006 (173) 2007 (198) 2008 (196) 2009 (151) 2010 (110) 2011 (93) 2012 (88) 2013 (98) 2014 (114) 2015 (117) 2016 (150) 2017 (98) 2018 (108) 2019 (82) 2020 (93) 2021 (83) 2022 (81) 2023 (89) 2024 (11)
Publication types (Num. hits)
article(966) book(3) incollection(29) inproceedings(2083) phdthesis(50) proceedings(19)
Venues (Conferences, Journals, ...)
CoRR(221) MODULARITY (Companion)(78) MODULARITY(49) AOSD(29) GECCO(27) COP@ECOOP(26) SAC(24) ICSE(21) OOPSLA Companion(20) MISS@AOSD(19) HICSS(16) IEEE Trans. Software Eng.(16) POPL(16) RTA(15) IROS(14) WoMO(14) More (+10 of total 1306)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2499 occurrences of 1359 keywords

Results
Found 3150 publication records. Showing 3150 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
14Sourav Kundu Optimization with Parallel Computing. Search on Bibsonomy VECPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
14Ralph Frisbie, Richard Hendrickson, Michael Metcalf The F Programming Language. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF FCL
14Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti A Comparison of Modular Verification Techniques. Search on Bibsonomy TAPSOFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
14Anindya Banerjee 0001 A Modular, Polyvariant, and Type-Based Closure Analysis. Search on Bibsonomy ICFP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
14Shing-Chi Cheung, Jeff Kramer Context Constraints for Compositional Reachability Analysis. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF compositional techniques, context constraints, distributed systems, concurrency, static analysis, validation, reachability analysis, labeled transition systems, state space reduction
14Yen-Jen Lee, David Hung-Chang Du, Wei-hsiu Ma SESAME: A Scalable and ExtenSible Architecture for Multimedia Entertainment. Search on Bibsonomy COMPSAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
14Albert Rubio Extension Orderings. Search on Bibsonomy ICALP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
14Ben C. Moszkowski Compositional reasoning about projected and infinite time. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multiple time granularities, parallel programming, concurrency, temporal logic, temporal logic, concurrency control, theorem proving, multiprocessing systems, deadlock, commitments, concurrent system, assumptions, Interval Temporal Logic
14Minchang Liang, Mark E. Law An object-oriented approach to device simulation-FLOODS. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
14Jenn-Dong Sun, Hari Krishna, K.-Y. Lin A superfast algorithm for single-error correction in rrns and hardware implementation. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
14Michel Bidoit, Rolf Hennicker A General Framework for Modular Implementations of Modular System Specifications. Search on Bibsonomy TAPSOFT The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
14W. Kenneth Jenkins, Bernard A. Schnaufer, Andrew J. Mansen Combined system-level redundancy and modular arithmetic for fault tolerant digital signal processing. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
14Shing-Chi Cheung, Jeff Kramer Enhancing Compositional Reachability Analysis with Context Constraints. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
14M. R. K. Krishna Rao Completeness of Hierarchical Combinations of term Rewriting Systems. Search on Bibsonomy FSTTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
14Pierre Isabelle Current research in Machine Translation: A reply to Somers. Search on Bibsonomy Mach. Transl. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
14Val Tannen, Ramesh Subrahmanyam On Extending Computational Adequacy by Data Abstraction. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
14H.-M. Järvinen, Reino Kurki-Suonio DisCo specification language: marriage of actions and objects. Search on Bibsonomy ICDCS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
14Ronald T. House Thoughts on "Extended Pascal - Illustrative Examples". Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Pascal
14G. David, I. Losonczi, S. D. Papp Language support for designing multilevel computer systems. Search on Bibsonomy CONPAR The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
14Russell R. Atkinson, Carl Hewitt Parallelism and Synchronization in Actor Systems. Search on Bibsonomy POPL The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
13Diomidis Spinellis, Henry Spencer Lessons from Space. Search on Bibsonomy IEEE Softw. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Soyuz, Space Shuttle, Pareto's law, estimation techniques, safety margins, agradual improvement, modularity, agility
13Yi Wei 0002, M. Brian Blake Service-Oriented Computing and Cloud Computing: Challenges and Opportunities. Search on Bibsonomy IEEE Internet Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF service-oriented architecture, interoperability, cloud computing, modularity, Service-oriented computing
13Gwenaël Delaval, Hervé Marchand, Éric Rutten Contracts for modular discrete controller synthesis. Search on Bibsonomy LCTES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF adaptive and reconfigurable systems, discrete controller synthesis, components, modularity, contracts, reactive systems, synchronous programming
13Roland Flury, Roger Wattenhofer Slotted programming for sensor networks. Search on Bibsonomy IPSN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF context-free programming, modularity, time slicing
13Thomas Pawlitzki, Friedrich Steimann Implicit invocation of traits. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF modularity, traits, implicit invocation
13Bhupesh Gour, T. K. Bandopadhyaya, Ravindra Patel ART and Modular Neural Network Architecture for Multilevel Categorization and Recognition of Fingerprints. Search on Bibsonomy WKDD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Minutiae points, fingerprint clustering, ART1 Clustering, Backpropagation Neural Network (BPN), Monolithic Neural Network, Degree of Modularity, Modular Neural Network
13Zohreh Sharafi, Parisa Mirshams, Abdelwahab Hamou-Lhadj, Constantinos Constantinides Extending the UML Metamodel to Provide Support for Crosscutting Concerns. Search on Bibsonomy SERA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF UML metamodel, software maintenance, modularity, aspect-oriented modeling
13Rachid Guerraoui, Nikola Knezevic, Vivien Quéma, Marko Vukolic The next 700 BFT protocols. Search on Bibsonomy EuroSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF performance, modularity, byzantine failures
13Iris Reinhartz-Berger, Dov Dori, Shmuel Katz Reusing semi-specified behavior models in systems analysis and design. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Aspect-oriented software engineering, Modularity, Software reuse, Aspect-oriented modeling, Object-Process Methodology
13Xinyu Feng 0001, Zhong Shao, Yu Guo, Yuan Dong Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Operating system verification, Hardware interrupts, Preemptive threads, Thread libraries, Modularity, Separation logic, Synchronization primitives
13Peter W. O'Hearn, Hongseok Yang, John C. Reynolds Separation and information hiding. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF resource protection, modularity, Separation logic
13Jorn Bettin, William R. Cook, Tony Clark 0001, Steven Kelly 0001 Knowledge industry survival strategy (KISS): fundamental principles and interoperability requirements for domain specific modeling languages. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model driven software, modeling language design, interoperability, modularity, domain specific language
13Stephen Kell The mythical matched modules: overcoming the tyranny of inflexible software construction. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF integration, reuse, modularity, flexibility, coupling
13Renato Cherini, Javier O. Blanco Local reasoning for abstraction and sharing. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF modularity, resources, separation logic
13Benoît Montagu, Didier Rémy Modeling abstract types in modules with open existential types. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF linear type systems, modularity, generativity, type systems, modules, lambda-calculus, abstract types, existential types
13Dietmar P. F. Möller, Hamid Vakilzadian Simulation in undergraduate education initiative in electrical engineering. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  BibTeX  RDF ABET requirements, computational modeling and simulation, e-learning, modularity, curriculum development, electrical engineering
13Antonino Freno, Edmondo Trentin, Marco Gori Scalable pseudo-likelihood estimation in hybrid random fields. Search on Bibsonomy KDD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF hybrid random fields, scalability, bayesian networks, modularity, markov random fields
13Lei Tang 0001, Huan Liu 0001 Relational learning via latent social dimensions. Search on Bibsonomy KDD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF modularity, social media, relational learning, social dimensions, behavior prediction
13Heiko Paulheim Ontology-based modularization of user interfaces. Search on Bibsonomy EICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ontologies, user interfaces, modularity
13Daniel Wasserrab, Denis Lohner, Gregor Snelting On PDG-based noninterference and its modular proof. Search on Bibsonomy PLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF modularity, program slicing, noninterference, correctness proof, program dependence graph
13Susan Khor Effect of degree distribution on evolutionary search. Search on Bibsonomy GECCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF evolutionary algorithm difficulty, modularity, network topology, hierarchy, mutation, crossover, degree distribution
13Emilia Katz, Shmuel Katz Modular verification of strongly invasive aspects: summary. Search on Bibsonomy FOAL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model-checking, specification, modularity, aspects
13José María Conejero, Eduardo Figueiredo 0001, Alessandro Garcia 0001, Juan Hernández Núñez, Elena Jurado Early Crosscutting Metrics as Predictors of Software Instability. Search on Bibsonomy TOOLS (47) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Concern Metrics, Stability, Requirements Engineering, Modularity
13Rajesh Sankaran, Brygg Ullmer, Jagannathan Ramanujam, Karun Kallakuri, Srikanth Jandhyala, Cornelius Toole, Christopher Laan Decoupling interaction hardware design using libraries of reusable electronics. Search on Bibsonomy TEI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF blades and tiles, decoupling TUI design, hardware toolkit, reusable hardware, modularity
13Martin H. Luerssen, David M. W. Powers Evolving encapsulated programs as shared grammars. Search on Bibsonomy Genet. Program. Evolvable Mach. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Shared grammars, Genetic programming, Modularity, Encapsulation, Memoization, Grammatical evolution, Developmental systems
13Christof Lutteroth, Gerald Weber Modular Specification of GUI Layout Using Constraints. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF user interfaces, constraints, modularity, layout
13Aixiang Cui, Duanbing Chen, Yan Fu Community Detection Based on Weighted Networks. Search on Bibsonomy NPC Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF modularity, complex network, community detection, weighted network
13Greg Paperin, David G. Green, Tania G. Leishman Dual Phase Evolution and Self-organisation in Networks. Search on Bibsonomy SEAL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Dual Phase Evolution, networks, modularity, scale-free networks, phase change
13Gitte Behrens, Mikkel Kamstrup Erlandsen, Toke Eskildsen, Bolette Ammitzbøll Jurik, Dorete Bøving Larsen, Hans Lauridsen, Michael Poltorak Nielsen, Jørn Thøgersen, Mads Villadsen Summa: This Is Not a Demo. Search on Bibsonomy ECDL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF performance, scalability, Search, modularity, open source
13Jeff Clune, Charles Ofria, Robert T. Pennock How a Generative Encoding Fares as Problem-Regularity Decreases. Search on Bibsonomy PPSN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ANN, modularity, Evolution, regularity, NEAT, HyperNEAT
13Martin Lippert Aspect weaving for OSGi. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF equinox, load-time weaving, modularity, aspects, OSGi, dynamic AOP
13Márcio de Medeiros Ribeiro, Pedro Matos Jr., Paulo Borba A decision model for implementing product lines variabilities. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software metrics, modularity, software product lines
13Matthew J. Parkinson, Gavin M. Bierman Separation logic, abstraction and inheritance. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF modularity, classes, separation logic
13Tal Mizrahi, Yoram Moses Continuous Consensus with Failures and Recoveries. Search on Bibsonomy DISC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Continuous Consensus, Early decision, Process recovery, Round-based computation model, Synchronous message-passing system, Distributed algorithm, Lower bound, Modularity, Consensus, Agreement problem, Common Knowledge, Simultaneity, Omission failures, Process crash failure
13Nélio Cacho, Thomas Cottenier, Alessandro Garcia 0001 Improving robustness of evolving exceptional behaviour in executable models. Search on Bibsonomy Workshop on Exception Handling The full citation details ... 2008 DBLP  DOI  BibTeX  RDF exception control flow, aspect-oriented programming, modularity, exception handling, model-driven software development
13Jeff Clune, Charles Ofria, Robert T. Pennock How generative encodings fare on less regular problems. Search on Bibsonomy GECCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ANN, modularity, evolution, regularity, NEAT, HyperNEAT
13William Harrison De-constructing and re-constructing aspect-orientation. Search on Bibsonomy FOAL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF specification, broadcast, modularity, separation-of-concerns, encapsulation, complex-event-processing, aspect-oriented, software-composition, obliviousness, malleability, event-flow
13Ming Zhong, Mantian Li, Li-Ning Sun Tanbot: A Self-reconfigurable Robot Enhanced with Mobility. Search on Bibsonomy ICIRA (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF mobility, modularity, docking, Self-reconfigurable robot
13Dan A. Simovici Betweenness, Metrics and Entropies in Lattices. Search on Bibsonomy ISMVL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compatible metric, sub-modularity, modular lattices
13Jyotishman Pathak, Guoqian Jiang, Sridhar O. Dwarkanath, James D. Buntrock, Christopher G. Chute Adopting Graph Traversal Techniques for Context-Driven Value Sets Extraction from Biomedical Knowledge Sources. Search on Bibsonomy ICSC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Value Sets, Ontologies, Graph Theory, Modularity, Vocabularies
13Nélio Cacho, Fernando Castor Filho, Alessandro Garcia 0001, Eduardo Figueiredo 0001 EJFlow: taming exceptional control flows in aspect-oriented programming. Search on Bibsonomy AOSD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF exception control flow, metrics, aspect-oriented programming, modularity, exception handling
13Robin Jaulmes, Éric Moliné HNG: A Robust Architecture for Mobile Robots Systems. Search on Bibsonomy EUROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF real applications, reliability, robotics, robustness, modularity, multi-agent, control architecture, IPC, contract-net protocol
13Franco Cicirelli, Angelo Furfaro, Libero Nigro Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty. Search on Bibsonomy Real Time Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Temporal uncertainty, Time interval based event delivery, Modelling complex real-time systems, Modularity constructs, Petri Net Markup Language, Distributed simulation, Time Petri nets, Time warp, Temporal analysis, Logical clocks
13Chad W. Seys, Randall D. Beer Genotype Reuse More Important than Genotype Size in Evolvability of Embodied Neural Networks. Search on Bibsonomy ECAL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF adaptation rate, genotype reuse, genotype size, genotype to phenotype mapping, modularity, representation, encoding, evolvability
13Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. Search on Bibsonomy DSN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF compositional aggregation, Markov chain, modularity, Fault tree, Interactive process
13Jeffrey S. Foster, Michael W. Hicks, William W. Pugh Improving software quality with static analysis. Search on Bibsonomy PASTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF FFIs, Java, software quality, C, modularity, network protocols, data races, bugs, bug patterns
13Torbjörn Ekman 0001, Görel Hedin The jastadd extensible java compiler. Search on Bibsonomy OOPSLA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF declarative frameworks, java, compilers, OOP, modularity, extensibility
13Torbjörn Ekman 0001, Görel Hedin The JastAdd extensible Java compiler. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF declarative frameworks, Java, compilers, OOP, modularity, extensibility
13Torbjörn Ekman 0001, Görel Hedin The JastAdd extensible Java compiler. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF declarative frameworks, Java, compilers, OOP, modularity, extensibility
13Eric E. Allen, J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr. Modular multiple dispatch with multiple inheritance. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF modularity, overloading, multiple inheritance, multiple dispatch
13Jesús Sánchez Cuadrado, Jesús García Molina A phasing mechanism for model transformation languages. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF internal transformation composition, phasing mechanism, transformation definition modularity, model transformation, transformation languages
13Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg The ExoVM system for automatic VM and application reduction. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF VM design, VM modularity, pre-initialization, static compilation, embedded systems, static analysis, persistence, feature analysis, dead code elimination
13Joseph Reisinger, Risto Miikkulainen Acquiring evolvability through adaptive representations. Search on Bibsonomy GECCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF genetic algorithms, neural networks, modularity, coevolution, evolvability, indirect encodings, adaptive representations
13Sofiane Achiche, Wei Wang, Zhun Fan, Ali Gürcan Özkil, Torben Sørensen, Jiachuan Wang, Erik D. Goodman Genetically generated double-level fuzzy controller with a fuzzy adjustment strategy. Search on Bibsonomy GECCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF genetic algorithm, modularity, fuzzy logic controller
13Richard A. Watson, Thomas Jansen 0001 A building-block royal road where crossover is provably essential. Search on Bibsonomy GECCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF building block hypothesis, genetic algorithms theory, royal roads, modularity, mutation, crossover
13Xin Liu 0020, Deyi Li, Shuliang Wang, Zhiwei Tao Effective Algorithm for Detecting Community Structure in Complex Networks Based on GA and Clustering. Search on Bibsonomy International Conference on Computational Science (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF clustering, modularity, complex network, community structure
13Xinyu Feng 0001, Zhaozhong Ni, Zhong Shao, Yu Guo An open framework for foundational proof-carrying code. Search on Bibsonomy TLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF foundational proof-carrying code, open framework, interoperability, modularity, program verification
13Radha Jagadeesan, Corin Pitcher, James Riely Open bisimulation for aspects. Search on Bibsonomy AOSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF open bisimulation, aspect-oriented programming, modularity, equational reasoning, modular reasoning, contextual equivalence
13Olivier Contant, Stéphane Lafortune, Demosthenis Teneketzis Diagnosability of Discrete Event Systems with Modular Structure. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Common events, Distributed systems, Modularity, Diagnosability
13Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers MultiJava: Design rationale, compiler implementation, and applications. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF MultiJava language, Open classes, augmenting method problem, binary method problem, extensible classes, extensible external methods, external methods, method families, open objects, single dispatch, static typechecking, modularity, inheritance, subtyping, encapsulation, generic functions, Java language, separate compilation, object-oriented programming languages, multimethods, multiple dispatch, expression problem
13Nieraj Singh, Graeme Johnson, Yvonne Coady CViMe: viewing conditionally compiled C/C++ sources through Java. Search on Bibsonomy OOPSLA Companion The full citation details ... 2006 DBLP  DOI  BibTeX  RDF C preprocessor, Java object modeling, source views, modularity, refactoring, reusability, macros, crosscutting concerns, editors, Eclipse plug-ins, conditional compilation
13Olivier Rütti, Pawel T. Wojciechowski, André Schiper Service interface: a new abstraction for implementing and composing protocols. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF dynamic protocol replacement, protocol frameworks, modularity
13Ivan Kurtev, Klaas van den Berg, Frédéric Jouault Evaluation of rule-based modularization in model transformation languages illustrated with ATL. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF adaptability, modularity, model transformations, reusability, ATL, transformation languages
13Dac C. Pham, Hans-Werner Anderson, Erwin Behnen, Mark Bolliger, Sanjay Gupta, H. Peter Hofstee, Paul E. Harvey, Charles R. Johns, James A. Kahle, Atsushi Kameyama, John M. Keaty, Bob Le, Sang Lee, Tuyen V. Nguyen, John G. Petrovick, Mydung Pham, Juergen Pille, Stephen D. Posluszny, Mack W. Riley, Joseph Verock, James D. Warnock, Steve Weitzel, Dieter F. Wendel Key features of the design methodology enabling a multi-core SoC implementation of a first-generation CELL processor. Search on Bibsonomy ASP-DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF 64-bit Power Architecture, design dependency solution, digital thermal sensor, flexible IO, hardware content protection, high-performance latch, linear sensor, local clock buffer, multi-operating system, synergistic processor, real-time system, modularity, power management, Linux, multi-core, multi-threading, SOC, thermal management, design environment, CELL Processor, clock distribution, virtualization technology, SOI, correct-by-construction, re-use, design hierarchy
13Liguo Yu, Srini Ramaswamy Introduction to extended common coupling with an application study on Linux. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF modularity, maintenance, common coupling
13Michael Carl Tschantz, Shriram Krishnamurthi Towards reasonability properties for access-control policy languages. Search on Bibsonomy SACMAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF access control, modularity, policy
13Yi Wang, Jennifer Rexford A modular RCP for flexible interdomain route control. Search on Bibsonomy CoNEXT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF routing, control, modularity, BGP, flexibility, extensibility
13Xinyu Feng 0001, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni Modular verification of assembly code with stack-based control abstractions. Search on Bibsonomy PLDI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF assembly code verification, control abstractions, stack-based, modularity, proof-carrying code
13Joseph Reisinger, Risto Miikkulainen Selecting for evolvable representations. Search on Bibsonomy GECCO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF genetic algorithms, modularity, representations, development, evolvability, indirect encodings, estimation-of-distribution
13Neil Ongkingco, Pavel Avgustinov, Julian Tibble, Laurie J. Hendren, Oege de Moor, Ganesh Sittampalam Adding open modules to AspectJ. Search on Bibsonomy AOSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF aspect-oriented programming, modularity, encapsulation
13Matthew Stone Disjunction and modular goal-directed proof search. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF goal-directed proof, indefinite information, locality, logic programming, modularity, Modal logic
13Liguo Yu, Srini Ramaswamy Categorization of common coupling in kernel based software. Search on Bibsonomy ACM Southeast Regional Conference (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF definition-use analysis, kernel-based software, dependencies, modularity, common coupling
13Neelakantan R. Krishnaswami, Jonathan Aldrich Permission-based ownership: encapsulating state in higher-order typed languages. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF modularity, lambda calculus, type theory, state, domains, ownership types, permissions, system f
13Edwin D. de Jong, Richard A. Watson, Dirk Thierens On the complexity of hierarchical problem solving. Search on Bibsonomy GECCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF representation development, scalability, modularity, hierarchy
13James Alfred Walker, Julian Francis Miller Investigating the performance of module acquisition in cartesian genetic programming. Search on Bibsonomy GECCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF digital adders, digital comparators, digital multipliers, modularity, cartesian genetic programming, computational effort, module acquisition
13Edwin D. de Jong, Richard A. Watson, Dirk Thierens A generator for hierarchical problems. Search on Bibsonomy GECCO Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF hierarchical problem generator, hierarchical problems, representation development, scalability, modularity, hierarchy
13Roy T. Fielding Software architecture in an open source world. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF collaborative open source development, software architecture, modularity, open source, extensibility, loose coupling
13Gregor Kiczales, Mira Mezini Aspect-oriented programming and modular reasoning. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF aspect-oriented programming, modularity, modular reasoning
13Horst F. Wedde, Mario Lischka Modular authorization and administration. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Petri-Nets, Modularity, composability, work-flow
13Rachid Guerraoui, Michel Raynal The Information Structure of Indulgent Consensus. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF indulgent algorithm, leader oracle, fault tolerance, modularity, consensus, Asynchronous distributed system, random oracle, crash failure, unreliable failure detector, information structure
Displaying result #401 - #500 of 3150 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license