|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECPAR ![In: Vector and Parallel Processing - VECPAR 2000, 4th International Conference, Porto, Portugal, June 21-23, 2000, Selected Papers and Invited Talks, pp. 221-229, 2000, Springer, 3-540-41999-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Ralph Frisbie, Richard Hendrickson, Michael Metcalf |
The F Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 32(6), pp. 69-74, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
FCL |
14 | Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti |
A Comparison of Modular Verification Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings, pp. 550-564, 1997, Springer, 3-540-62781-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Anindya Banerjee 0001 |
A Modular, Polyvariant, and Type-Based Closure Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997., pp. 1-10, 1997, ACM, 0-89791-918-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Shing-Chi Cheung, Jeff Kramer |
Context Constraints for Compositional Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 5(4), pp. 334-377, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea, pp. 56-61, 1996, IEEE Computer Society, 0-8186-7579-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Albert Rubio |
Extension Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 22nd International Colloquium, ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings, pp. 511-522, 1995, Springer, 3-540-60084-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Ben C. Moszkowski |
Compositional reasoning about projected and infinite time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 238-245, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(10), pp. 1235-1240, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 6(3), pp. 259-269, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Michel Bidoit, Rolf Hennicker |
A General Framework for Modular Implementations of Modular System Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings, pp. 199-214, 1993, Springer, 3-540-56610-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 11th Symposium on Computer Arithmetic, 29 June - 2 July 1993, Windsor, Canada, Proceedings., pp. 28-35, 1993, IEEE Computer Society/, 0-8186-3862-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Shing-Chi Cheung, Jeff Kramer |
Enhancing Compositional Reachability Analysis with Context Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1993, Los Angeles, California, USA, December 7-10, 1993, pp. 115-125, 1993, ACM, 978-0-89791-625-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | M. R. K. Krishna Rao |
Completeness of Hierarchical Combinations of term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15-17, 1993, Proceedings, pp. 125-138, 1993, Springer, 3-540-57529-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Pierre Isabelle |
Current research in Machine Translation: A reply to Somers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 7(4), pp. 265-272, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Val Tannen, Ramesh Subrahmanyam |
On Extending Computational Adequacy by Data Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the Conference on Lisp and Functional Programming, LFP 1992, San Francisco, California, USA, 22-24 June 1992., pp. 161-169, 1992, ACM, 0-89791-481-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
14 | H.-M. Järvinen, Reino Kurki-Suonio |
DisCo specification language: marriage of actions and objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 10th International Conference on Distributed Computing Systems (ICDCS 1991), May 20-24, 1991, Arlington, Texas, USA, pp. 142-151, 1991, IEEE Computer Society, 0-8186-2144-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Ronald T. House |
Thoughts on "Extended Pascal - Illustrative Examples". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 22(8), pp. 33-38, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Pascal |
14 | G. David, I. Losonczi, S. D. Papp |
Language support for designing multilevel computer systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, Germany, June 10-12, 1981, Proceedings, pp. 85-100, 1981, Springer, 3-540-10827-0. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
14 | Russell R. Atkinson, Carl Hewitt |
Parallelism and Synchronization in Actor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977, pp. 267-280, 1977, ACM. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
13 | Diomidis Spinellis, Henry Spencer |
Lessons from Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 28(6), pp. 26-28, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 14(6), pp. 72-75, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, LCTES 2010, Stockholm, Sweden, April 13-15, 2010, pp. 57-66, 2010, ACM, 978-1-60558-953-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the 9th International Conference on Information Processing in Sensor Networks, IPSN 2010, April 12-16, 2010, Stockholm, Sweden, pp. 24-34, 2010, ACM, 978-1-60558-988-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
context-free programming, modularity, time slicing |
13 | Thomas Pawlitzki, Friedrich Steimann |
Implicit invocation of traits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2085-2089, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Third International Conference on Knowledge Discovery and Data Mining, WKDD 2010, Phuket, Thailand, 9-10 January 2010, pp. 536-539, 2010, IEEE Computer Society, 978-0-7695-3923-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Proceedings of the Eighth ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2010, Montreal, Canada, May 24-26, 2010, pp. 149-157, 2010, IEEE Computer Society, 978-0-7695-4075-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: European Conference on Computer Systems, Proceedings of the 5th European conference on Computer systems, EuroSys 2010, Paris, France, April 13-16, 2010, pp. 363-376, 2010, ACM, 978-1-60558-577-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(2), pp. 221-234, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 42(2-4), pp. 301-347, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 31(3), pp. 11:1-11:50, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 709-710, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 881-888, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
integration, reuse, modularity, flexibility, coupling |
13 | Renato Cherini, Javier O. Blanco |
Local reasoning for abstraction and sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 552-557, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 354-365, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, June 28 - July 1, 2009, pp. 319-328, 2009, ACM, 978-1-60558-495-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, June 28 - July 1, 2009, pp. 817-826, 2009, ACM, 978-1-60558-495-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
modularity, social media, relational learning, social dimensions, behavior prediction |
13 | Heiko Paulheim |
Ontology-based modularization of user interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , EICS 2009, Pittsburgh, PA, USA, July 15-17, 2009, pp. 23-28, 2009, ACM, 978-1-60558-600-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ontologies, user interfaces, modularity |
13 | Daniel Wasserrab, Denis Lohner, Gregor Snelting |
On PDG-based noninterference and its modular proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009, pp. 31-44, 2009, ACM, 978-1-60558-645-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
modularity, program slicing, noninterference, correctness proof, program dependence graph |
13 | Susan Khor |
Effect of degree distribution on evolutionary search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 1857-1858, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2009, Charlottesville, Virginia, USA, March 2, 2009, pp. 7-12, 2009, ACM, 978-1-60558-452-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (47) ![In: Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings, pp. 136-156, 2009, Springer, 978-3-642-02570-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 3rd International Conference on Tangible and Embedded Interaction 2009, Cambridge, UK, February 16-18, 2009, pp. 331-337, 2009, ACM, 978-1-60558-493-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Genet. Program. Evolvable Mach. ![In: Genet. Program. Evolvable Mach. 9(3), pp. 203-228, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 19th Australian Software Engineering Conference (ASWEC 2008), March 25-28, 2008, Perth, Australia, pp. 300-309, 2008, IEEE Computer Society, 978-0-7695-3100-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
user interfaces, constraints, modularity, layout |
13 | Aixiang Cui, Duanbing Chen, Yan Fu |
Community Detection Based on Weighted Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NPC Workshops ![In: IFIP International Conference on Network and Parallel Computing, NPC 2008, Shanghai, China, October 18-21, 2008, Workshop Proceedings, pp. 273-280, 2008, IEEE Computer Society, 978-0-7695-3354-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAL ![In: Simulated Evolution and Learning, 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings, pp. 575-584, 2008, Springer, 978-3-540-89693-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 12th European Conference, ECDL 2008, Aarhus, Denmark, September 14-19, 2008. Proceedings, pp. 406-409, 2008, Springer, 978-3-540-87598-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN X, 10th International Conference Dortmund, Germany, September 13-17, 2008, Proceedings, pp. 358-367, 2008, Springer, 978-3-540-87699-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ANN, modularity, Evolution, regularity, NEAT, HyperNEAT |
13 | Martin Lippert |
Aspect weaving for OSGi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 717-718, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 276-277, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
software metrics, modularity, software product lines |
13 | Matthew J. Parkinson, Gavin M. Bierman |
Separation logic, abstraction and inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 75-86, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
modularity, classes, separation logic |
13 | Tal Mizrahi, Yoram Moses |
Continuous Consensus with Failures and Recoveries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings, pp. 408-422, 2008, Springer, 978-3-540-87778-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Exception Handling ![In: Proceedings of the 4th International Workshop on Exception Handling, WEH 2008, Atlanta, Georgia, USA, November 14, 2008, pp. 39-46, 2008, ACM, 978-1-60558-229-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 867-868, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ANN, modularity, evolution, regularity, NEAT, HyperNEAT |
13 | William Harrison |
De-constructing and re-constructing aspect-orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2008, Brussels, Belgium, April 1, 2008, pp. 43-50, 2008, ACM, 978-1-60558-110-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (1) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part I, pp. 1227-1237, 2008, Springer, 978-3-540-88512-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
mobility, modularity, docking, Self-reconfigurable robot |
13 | Dan A. Simovici |
Betweenness, Metrics and Entropies in Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 22-23 May 2008, Dallas, Texas, USA, pp. 26-31, 2008, IEEE Computer Society, 978-0-7695-3155-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSC ![In: Proceedings of the 2th IEEE International Conference on Semantic Computing (ICSC 2008), August 4-7, 2008, Santa Clara, California, USA, pp. 460-467, 2008, IEEE Computer Society, 978-0-7695-3279-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 7th International Conference on Aspect-Oriented Software Development, AOSD 2008, Brussels, Belgium, March 31 - April 4, 2008, pp. 72-83, 2008, ACM, 978-1-60558-044-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROS ![In: Second European Robotics Symposium 2008, EUROS 2008, Prague, Czech Republic, pp. 123-131, 2008, Springer, 978-3-540-78315-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 35(2), pp. 153-179, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAL ![In: Advances in Artificial Life, 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007, Proceedings, pp. 915-924, 2007, Springer, 978-3-540-74912-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings, pp. 708-717, 2007, IEEE Computer Society, 0-7695-2855-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'07, San Diego, California, USA, June 13-14, 2007, pp. 83-84, 2007, ACM, 978-1-59593-595-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 1-18, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 773-774, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 884-885, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1117-1121, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1020-1024, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 352-362, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 1045-1052, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 1880-1887, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 1452-1459, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II, pp. 657-664, 2007, Springer, 978-3-540-72585-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Nice, France, January 16, 2007, pp. 67-78, 2007, ACM, 1-59593-393-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, pp. 107-120, 2007, ACM, 1-59593-615-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 16(1), pp. 9-37, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 28(3), pp. 517-575, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 730-731, 2006, ACM, 1-59593-491-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 691-696, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1202-1209, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006, pp. 871-878, 2006, IEEE, 0-7803-9451-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 44st Annual Southeast Regional Conference, 2006, Melbourne, Florida, USA, March 10-12, 2006, pp. 192-197, 2006, ACM, 1-59593-315-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
modularity, maintenance, common coupling |
13 | Michael Carl Tschantz, Shriram Krishnamurthi |
Towards reasonability properties for access-control policy languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 11th ACM Symposium on Access Control Models and Technologies, SACMAT 2006, Lake Tahoe, California, USA, June 7-9, 2006, Proceedings, pp. 160-169, 2006, ACM, 1-59593-353-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
access control, modularity, policy |
13 | Yi Wang, Jennifer Rexford |
A modular RCP for flexible interdomain route control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoNEXT ![In: Proceedings of the 2006 ACM Conference on Emerging Network Experiment and Technology, CoNEXT 2006, Lisboa, Portugal, December 4-7, 2006, pp. 56, 2006, ACM, 1-59593-456-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 401-414, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006, pp. 1297-1304, 2006, ACM, 1-59593-186-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 5th International Conference on Aspect-Oriented Software Development, AOSD 2006, Bonn, Germany, March 20-24, 2006, pp. 39-50, 2006, ACM, 1-59593-300-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, modularity, encapsulation |
13 | Matthew Stone |
Disjunction and modular goal-directed proof search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(3), pp. 539-577, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference (2) ![In: Proceedings of the 43nd Annual Southeast Regional Conference, 2005, Kennesaw, Georgia, Alabama, USA, March 18-20, 2005, Volume 2, pp. 207-210, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005, pp. 96-106, 2005, ACM, 1-59593-056-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 1201-1208, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 1649-1656, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO Workshops ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Workshop Proceedings, Washington DC, USA, June 25-26, 2005, pp. 321-326, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 43, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 49-58, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, modularity, modular reasoning |
13 | Horst F. Wedde, Mario Lischka |
Modular authorization and administration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 7(3), pp. 363-391, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Petri-Nets, Modularity, composability, work-flow |
13 | Rachid Guerraoui, Michel Raynal |
The Information Structure of Indulgent Consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(4), pp. 453-466, 2004. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|