Search results for "Modularity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	A. Abbinante, Pietro Camarda	GSN: A New Multihop Architecture for Optical Networks.	LCN	1996	DBLP DOI BibTeX RDF	optical fibre communication, multihop architecture, Generalized ShuffleNet, table free routing, distributed hardware based decisions, modularity, optical networks, high performance, computer program, necessary conditions, rearrangeability, virtual topology, sufficiency
20	K. H. (Kane) Kim, Luiz F. Bacellar, Yuseok Kim, Chittur Subbaraman, Hankil Yoon, Jung-Guk Kim, Kee-Wook Rim	A timeliness-guaranteed kernel model-DREAM kernel-and implementation techniques.	RTCSA	1995	DBLP DOI BibTeX RDF	timeliness-guaranteed kernel model, DREAM kernel, timeliness-guaranteed operating system, new-style real-time objects, hardware utilization, v.D2, real-time systems, modularity, digital simulation, real-time simulator, operating system kernels, operating system kernel, expandability, real-time processes, prototype implementation, real-time computer systems, implementation techniques, application environment
20	B. M. Subraya, Anshul Kumar, Shashi Kumar	An HOL based framework for design of correct high level synthesizers.	VLSI Design	1995	DBLP DOI BibTeX RDF	HOL based framework, high level synthesizer design, design correctness guarantee, verifiable templates, synthesis module correctness, formal verification, high level synthesis, modularity, formal logic, higher order logic, verification process, formal framework
20	Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini	Modular Logic Programming.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	metalogic, logic programs, program transformation, modularity, declarative semantics, composition operations
20	Reino Kurki-Suonio	Stepwise Design of Real-Time Systems.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	stepwise design method, closed-system modularity, scheduling, real-time systems, real-time systems, formal specification, temporal logic, temporal logic, reactive systems, formal reasoning, real-time properties
20	Albert C. Chen, Chuan-lin Wu	A Parallel Execution Model of Logic Programs.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	parallel execution model, nondeterministic logic program, frame inheritance, dynamic construction, computational complexity, computational complexity, logic programs, logic programming, modularity, communication channels, OR parallelism, AND parallelism, data-dependency graphs
20	K. T. Narayana, Sanjeev Dharap	Formal Specification of a Look Manager.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	look manager, graphical interface software, user interfaces, formal specification, formal specification, computer graphics, modularity, interactive systems, formal model, Z notation, texturing model, dialog system
20	Wade H. Shaw Jr., James W. Howatt, Robert S. Maness, Dennis M. Miller	A Software Science Model of Compile Time.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	software science model, Halstead theory of software science, compilation process, compiler performance index, Ada compilers, fundamental relation, program modularity, counting strategy, significant relationships, program characteristics, predictive power, compiler performance, discrimination rate, performance index, performance evaluation, program compilers, data collection, complexity measures, nonlinear model, compile time
20	Son T. Vuong, Allen C. Lau, R. Isaac Chan	Semiautomatic Implementation of Protocols Using an Estelle-C Compiler.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Estelle-C compiler, class-2 transparent protocol, protocols, protocols, specification, modularity, program compilers, ISO
20	Marie-Claude Gaudel, Th. Moineau	A Theory of Software Reusability.	ESOP	1988	DBLP DOI BibTeX RDF	Key-words reuse, PLUSS, formal specifications, modularity, abstract data types
20	Arnaud Blouin, Olivier Beaudoux	Improving modularity and usability of interactive systems with Malai.	EICS	2010	DBLP DOI BibTeX RDF	user interface, interaction, mde, interactive system, instrument, action
20	Dell Zhang, Robert Mao	Classifying networked entities with modularity kernels.	CIKM	2008	DBLP DOI BibTeX RDF	hypertext classification, semi-supervised learning, kernel methods, graph mining, community discovery
20	Yasunori Takemura, Yu Ogawa, Amir Ali Forough Nassiraei, Atsushi Sanada 0002, Yuichi Kitazumi, Ivan Godler, Kazuo Ishii, Hiroyuki Miyamoto, Ahmad Ghaderi	Concept of mechatronics safety and modularity design for an autonomous mobile soccer robot.	IROS	2008	DBLP DOI BibTeX RDF
20	Sérgio Bryton, Fernando Brito e Abreu	Modularity-Oriented Refactoring.	CSMR	2008	DBLP DOI BibTeX RDF
20	Vincent van Oostrom	Modularity of Confluence.	IJCAR	2008	DBLP DOI BibTeX RDF
20	Evan Barba	Getting mod: a look at modularity in mobile systems.	HotMobile	2008	DBLP DOI BibTeX RDF	design psychology, personalization, user-centered design, modular design
20	Richard Mark Downing	Evolvability Via Modularity-Induced Mutational Focussing.	EuroGP	2008	DBLP DOI BibTeX RDF
20	Christian Sauer 0001, Matthias Gries, Sebastian Dirk	Interactive presentation: Hard- and software modularity of the NOVA MPSoC platform.	DATE	2007	DBLP DOI BibTeX RDF
20	Shu-Heng Chen, Bin-Tzong Chie	Modularity, Product Innovation, and Consumer Satisfaction: An Agent-Based Approach.	IDEAL	2007	DBLP DOI BibTeX RDF
20	Vítor Nogueira, Salvador Abreu	Modularity and Temporal Reasoning: A Logic Programming Approach.	TIME	2007	DBLP DOI BibTeX RDF
20	Simona Doboli, Ali A. Minai, Vincent R. Brown	Adaptive Dynamic Modularity in a Connectionist Model of Context-Dependent Idea Generation.	IJCNN	2007	DBLP DOI BibTeX RDF
20	Duygu Ucar, Sitaram Asur, Ümit V. Çatalyürek, Srinivasan Parthasarathy 0001	Improving Functional Modularity in Protein-Protein Interactions Graphs Using Hub-Induced Subgraphs.	PKDD	2006	DBLP DOI BibTeX RDF
20	Yuanfang Cai, Kevin J. Sullivan	Modularity Analysis of Logical Design Models.	ASE	2006	DBLP DOI BibTeX RDF
20	Joost Vennekens, Marc Denecker	An Algebraic Account of Modularity in ID-Logic.	LPNMR	2005	DBLP DOI BibTeX RDF
20	Klaus Ostermann, Mira Mezini, Christoph Bockisch	Expressive Pointcuts for Increased Modularity.	ECOOP	2005	DBLP DOI BibTeX RDF
20	Julia L. Lawall, Hervé Duchesne, Gilles Muller, Anne-Françoise Le Meur	Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language.	GPCE	2005	DBLP DOI BibTeX RDF
20	M. Ihsan Ecemis, Eric Bonabeau, Trent Ashburn	Interactive estimation of agent-based financial markets models: modularity and learning.	GECCO	2005	DBLP DOI BibTeX RDF	agent-based modeling, interactive evolution
20	Cees Pierik, Frank S. de Boer	Modularity and the Rule of Adaptation.	AMAST	2004	DBLP DOI BibTeX RDF
20	Jakob Grue Simonsen	On the Modularity of Confluence in Infinitary Term Rewriting.	RTA	2004	DBLP DOI BibTeX RDF
20	Marijn Janssen, René W. Wagenaar	From Legacy to Modularity: A Roadmap Towards Modular Architectures Using Web Services Technology.	EGOV	2003	DBLP DOI BibTeX RDF
20	Benjamin Vitteau, Marc-Philippe Huget	Modularity in Interaction Protocols.	Workshop on Agent Communication Languages	2003	DBLP DOI BibTeX RDF
20	Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno	Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus.	RTA	2002	DBLP DOI BibTeX RDF
20	Christoph Lüth, Neil Ghani	Monads and Modularity.	FroCoS	2002	DBLP DOI BibTeX RDF
20	Florin Lohan, Irek Defée	Modularity in Open Media Terminal System Architecture.	ICME	2001	DBLP DOI BibTeX RDF
20	Alexander Moshe Rabinovich	Modularity and Expressibility for Nets of Relations.	Acta Informatica	1998	DBLP DOI BibTeX RDF
20	M. R. K. Krishna Rao	Modularity of Termination in Term Graph Rewriting.	RTA	1996	DBLP DOI BibTeX RDF
20	Fernando Vélez	Modularity and Tuning Mechanisms in the O2 System.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF
20	Gilad Bracha, Gary Lindstrom	Modularity meets inheritance.	ICCL	1992	DBLP DOI BibTeX RDF
20	Ivan B. Liss, Thomas C. McMillan	An example illustrating modularity, abstraction & information hiding using.	SIGCSE	1989	DBLP DOI BibTeX RDF	Pascal
14	Fernanda M. R. Alencar, Jaelson Castro, Márcia Lucena, Emanuel Santos, Carla T. L. L. Silva, João Araújo 0001, Ana Moreira 0001	Towards modular i* models.	SAC	2010	DBLP DOI BibTeX RDF	aspectorientation, requirements engineering, metamodeling, organizational modelling
14	Rodolfo Toledo, Paul Leger, Éric Tanter	AspectScript: expressive aspects for the web.	AOSD	2010	DBLP DOI BibTeX RDF	AspectScript, quantified events, scoping strategies, aspect-oriented programming, web applications, JavaScript, higher-order programming
14	Adriano Mancini, Andrea Cesetti, A. Iualè, Emanuele Frontoni, Primo Zingaretti, Sauro Longhi	A Framework for Simulation and Testing of UAVs in Cooperative Scenarios.	J. Intell. Robotic Syst.	2009	DBLP DOI BibTeX RDF	Cooperative scenarios, Simulation, UAVs
14	Jong-Hwan Kim 0001, In-Bae Jeong, In-Won Park, Kang-Hee Lee	Multi-Layer Architecture of Ubiquitous Robot System for Integrated Services.	Int. J. Soc. Robotics	2009	DBLP DOI BibTeX RDF	Ubiquitous robot (Ubibot), Software robot (Sobot), Embedded robot (Embot), Mobile robot (Mobot), Multi-layer architecture of ubiquitous robot, Middleware
14	Heiner Stuckenschmidt, Christine Parent, Stefano Spaccapietra	Introduction to Part I.	Modular Ontologies	2009	DBLP DOI BibTeX RDF
14	James Cheng, Yiping Ke, Wilfred Ng, Jeffrey Xu Yu	Context-Aware Object Connection Discovery in Large Graphs.	ICDE	2009	DBLP DOI BibTeX RDF
14	Kenta Suzuki, Ken Wakita	Extracting Multi-facet Community Structure from Bipartite Networks.	CSE (4)	2009	DBLP DOI BibTeX RDF
14	Nan Niu, Steve M. Easterbrook	Concept analysis for product line requirements.	AOSD	2009	DBLP DOI BibTeX RDF	functional requirements profiles, quality attribute scenarios, formal concept analysis, product line engineering
14	Hari Krishna Yalamanchili, Nita Parekh	Graph Spectral Approach for Identifying Protein Domains.	BICoB	2009	DBLP DOI BibTeX RDF	Domain prediction, Protein contact networks, Graph spectral analysis
14	Michael K. Reiter	Keynote: Trustworthy Services and the Biological Analogy.	SSS	2008	DBLP DOI BibTeX RDF
14	Cidiane Lobato, Alessandro Garcia 0001, Uirá Kulesza, Arndt von Staa, Carlos José Pereira de Lucena	Evolving and Composing Frameworks with Aspects: The MobiGrid Case.	ICCBSS	2008	DBLP DOI BibTeX RDF
14	David A. Bader, Kamesh Madduri	SNAP, Small-world Network Analysis and Partitioning: An open-source parallel graph framework for the exploration of large-scale networks.	IPDPS	2008	DBLP DOI BibTeX RDF
14	Jianhua Ruan, Weixiong Zhang	An Efficient Spectral Algorithm for Network Community Discovery and Its Applications to Biological and Social Networks.	ICDM	2007	DBLP DOI BibTeX RDF
14	Isolde Dressler, Mathias Haage, Klas Nilsson, Rolf Johansson 0001, Anders Robertsson, Torgny Brogardh	Configuration Support and Kinematics for a Reconfigurable Gantry-Tau Manipulator.	ICRA	2007	DBLP DOI BibTeX RDF
14	Yunkyu Sohn, Jaeseung Jeong	Inferring Behavioral-level Circuits of Caenorhabditis elegans from the Topology of its Wiring Diagram.	BIBE	2007	DBLP DOI BibTeX RDF
14	Shuly Wintner	Finite-State Technology as a Programming Environment.	CICLing	2007	DBLP DOI BibTeX RDF
14	Vítor Nogueira, Salvador Abreu	Integrating Temporal Annotations in a Modular Logic Language.	INAP/WLP	2007	DBLP DOI BibTeX RDF
14	Phil Greenwood, Thiago T. Bartolomei, Eduardo Figueiredo 0001, Marcos Dósea, Alessandro F. Garcia 0001, Nélio Cacho, Cláudio Sant'Anna, Sérgio Soares, Paulo Borba, Uirá Kulesza, Awais Rashid	On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study.	ECOOP	2007	DBLP DOI BibTeX RDF
14	Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani	Oz/K: a kernel language for component-based open programming.	GPCE	2007	DBLP DOI BibTeX RDF	open programming, locality, components
14	Rob Mills, Richard A. Watson	Variable discrimination of crossover versus mutation using parameterized modular structure.	GECCO	2007	DBLP DOI BibTeX RDF	building block hypothesis, nearly decomposable systems, mutation, crossover
14	Avinoam Kolodny	Networks on chips: keeping up with Rent's rule and Moore's law.	SLIP	2007	DBLP DOI BibTeX RDF	routing, timing, interconnect, power, on-chip network, wires
14	Peter Novák 0001, Jürgen Dix	Adding Structure to Agent Programming Languages.	PROMAS	2007	DBLP DOI BibTeX RDF
14	Werner Hein, Jens Berkmann, Manfred Zimmermann, Mario Huemer	Object Oriented Signal Data Structures in VLSI Implementations of Wireless Modems.	EUROCAST	2007	DBLP DOI BibTeX RDF
14	Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld	Security of Multithreaded Programs by Compilation.	ESORICS	2007	DBLP DOI BibTeX RDF
14	Michael K. Reiter	Trustworthy Services and the Biological Analogy.	ESORICS	2007	DBLP DOI BibTeX RDF
14	Andrew A. Chien	Pervasive parallel computing: an historic opportunity for innovation in programming and architecture.	PPoPP	2007	DBLP DOI BibTeX RDF
14	William G. Griswold, Kevin J. Sullivan, Yuanyuan Song, Macneil Shonle, Nishit Tewari, Yuanfang Cai, Hridesh Rajan	Modular Software Design with Crosscutting Interfaces.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	preconditions, aspect-oriented, postconditions
14	Gail C. Murphy, Christa Schwanninger	Guest Editors' Introduction: Aspect-Oriented Programming.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	Static and dynamic weaving, Modularization, Aspect-oriented software development, Crosscutting concerns
14	Karim M. El Defrawy, Magda El Zarki, Mohamed M. Khairy	Proposal for a cross-layer coordination framework for next generation wireless systems.	IWCMC	2006	DBLP DOI BibTeX RDF	signaling framework, video over wireless, cross-layer design, cross-layer adaptation
14	Hristo N. Djidjev	A Scalable Multilevel Algorithm for Graph Clustering and Community Structure Detection.	WAW	2006	DBLP DOI BibTeX RDF
14	Therapon Skotiniotis, Jeffrey Palm, Karl J. Lieberherr	Demeter Interfaces: Adaptive Programming Without Surprises.	ECOOP	2006	DBLP DOI BibTeX RDF
14	Risto Suoranta	Modular service-oriented platform architecture - a key enabler to SoC design quality.	ISQED	2006	DBLP DOI BibTeX RDF
14	Maylis Delest, Jean-Marc Fedou, Guy Melançon	A Quality Measure for Multi-Level Community Structure.	SYNASC	2006	DBLP DOI BibTeX RDF
14	Beatriz Prieto, Javier de Lope Asiaín, Darío Maravall	Reconfigurable Hardware Implementation of Neural Networks for Humanoid Locomotion.	IWINAC (2)	2005	DBLP DOI BibTeX RDF
14	Jonathan Aldrich	Open Modules: Modular Reasoning About Advice.	ECOOP	2005	DBLP DOI BibTeX RDF
14	Jürg Gutknecht, Arthur Clay, Thomas M. Frey	GoingPublik: suggesting creativity inside the ivory tower.	Creativity & Cognition	2005	DBLP DOI BibTeX RDF	digital score, sound art, system research, HCIs, mobile multimedia, wearable devices
14	Mario Luca Bernardi, Giuseppe A. Di Lucca	Improving Design Pattern Quality Using Aspect Orientation.	STEP	2005	DBLP DOI BibTeX RDF
14	Steven Carroll, Constantine D. Polychronopoulos	A Framework for Incremental Extensible Compiler Construction.	Int. J. Parallel Program.	2004	DBLP DOI BibTeX RDF	Compiler construction, incremental compilation
14	Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn.	ICTAC	2004	DBLP DOI BibTeX RDF
14	Takashi Yamamiya	Skeleton - Easy Simulation System.	C5	2004	DBLP DOI BibTeX RDF
14	José Meseguer 0001, Christiano Braga	Modular Rewriting Semantics of Programming Languages.	AMAST	2004	DBLP DOI BibTeX RDF
14	Susan Lincke-Salecker	The Benefits of Load Sharing when Dimensioning Networks.	Annual Simulation Symposium	2004	DBLP DOI BibTeX RDF
14	Cristina Cerschi Seceleanu, Tiberiu Seceleanu	Modular Design of Reactive Systems.	COMPSAC	2004	DBLP DOI BibTeX RDF	Concurrency, Reactive systems, Modular design, Action systems
14	Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann	Modular Proof Systems for Partial Functions with Weak Equality.	IJCAR	2004	DBLP DOI BibTeX RDF
14	De-Jiu Chen, Martin Törngren	A Systematic Approach for Identifying Operational Relationships in Embedded Computer Control Systems.	EUROMICRO	2004	DBLP DOI BibTeX RDF
14	Joshua S. Auerbach, Madan Gopal, Marc A. Kaplan, Shay Kutten	Multicast group membership management.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	protocols, multicast, distributed algorithms, broadcast, group communication, distributed control, broadband
14	Charles Zhang, Hans-Arno Jacobsen	Refactoring Middleware with Aspects.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	aspect analysis, middleware, Aspect-oriented programming, refactoring, aspects
14	Martin Lippert	An AspectJ-enabled eclipse core runtime platform.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	cross-plugin pointcuts, plugin runtime infrastructure, aspect-oriented programming, modularization, eclipse, AspectJ
14	Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman	Lazy modular upgrades in persistent object stores.	OOPSLA	2003	DBLP DOI BibTeX RDF	presistent objects, ownership types, software upgrades
14	Steven Carroll, Constantine D. Polychronopoulos	A framework for incremental extensible compiler construction.	ICS	2003	DBLP DOI BibTeX RDF	compilers, extensibility, incremental analysis
14	Heiko Hahn, Klaus Turowski	Drivers and inhibitors to the development of a software component industry.	EUROMICRO	2003	DBLP DOI BibTeX RDF
14	Andrew Mason, Navid Yazdi, J. Zhang, Z. Sainudeen	A modular sensor microsystem utilizing a universal interface circuit.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
14	Jan Hannemann, Gregor Kiczales	Design pattern implementation in Java and aspectJ.	OOPSLA	2002	DBLP DOI BibTeX RDF	design patterns, aspect-oriented programming
14	Judicaël Courant	Explicit Universes for the Calculus of Constructions.	TPHOLs	2002	DBLP DOI BibTeX RDF
14	Elisa Bertino, Trent Jaeger, Jonathan D. Moffett, Sylvia L. Osborn, Ravi S. Sandhu	Making access control more usable.	SACMAT	2002	DBLP DOI BibTeX RDF
14	Markus Montigel	Portability and Reuse of Components for Spreadsheet Languages.	HCC	2002	DBLP DOI BibTeX RDF
14	Patrice Gerin, Sungjoo Yoo, Gabriela Nicolescu, Ahmed Amine Jerraya	Scalable and flexible cosimulation of SoC designs with heterogeneous multi-processor target architectures.	ASP-DAC	2001	DBLP DOI BibTeX RDF
14	Gordon J. Brebner, Oliver Diessel	Chip-Based Reconfigurable Task Management.	FPL	2001	DBLP DOI BibTeX RDF
14	Teresa Alsinet, Lluís Godo	A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants.	ECSQARU	2001	DBLP DOI BibTeX RDF
14	Adelino R. Ferreira da Silva	A Pursuit Architecture for Signal Analysis.	EvoWorkshops	2001	DBLP DOI BibTeX RDF
14	J. G. (Iain) Wallace, Kevin Bluff	Neuro-Architecture-Motivated ANNs and Cortical Parcellation.	IJCNN (5)	2000	DBLP DOI BibTeX RDF