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