Search results for "modules"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Gregor von Bochmann	Delay-Independent Design for Distributed Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	interconnected modules, module interfaces, distributed systems, protocols, protocols, synchronization, delays, distributed processing, regularity, communication delays
17	Grazyna Mirkowska, Andrzej Salwicki	On Applications of Algorithmic Logic.	CAAP	1986	DBLP DOI BibTeX RDF	algorithmic logic, LOGLAN, verification, specification, program, implementation, computation, completeness, extension, modules, expressivity, inference rules, axioms, semantical properties
15	Florian Mangold, Moritz Hammer, Harald Rölle	Automatable & scalable late cycle performance analysis.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	latent component performance interdependencies, performance analysis, profiling, software performance engineering
15	Yongzheng Wu, Roland H. C. Yap, Rajiv Ramnath	Comprehending module dependencies and sharing.	ICSE (2)	2010	DBLP DOI BibTeX RDF	visualization, dependency graph, shared library
15	Christine Parent, Stefano Spaccapietra, Esteban Zimányi	Modularity in Databases.	Modular Ontologies	2009	DBLP DOI BibTeX RDF
15	Chiara Toglia, Daniel T. Kettler, Fred Kennedy, Steven Dubowsky	A study of cooperative control of self-assembling robots in space with experimental validation.	ICRA	2009	DBLP DOI BibTeX RDF
15	Erik Solum, Carl Hauser, Rasika Chakravarthy, David E. Bakken	Modular over-the-wire configurable security for long-lived critical infrastructure monitoring systems.	DEBS	2009	DBLP DOI BibTeX RDF
15	Yulin Qin	Some Web Intelligence Oriented Brain Informatics Studies.	Brain Informatics	2009	DBLP DOI BibTeX RDF
15	Marcin Gorawski, Szymon Panfil	A System of Privacy Preserving Distributed Spatial Data Warehouse Using Relation Decomposition.	ARES	2009	DBLP DOI BibTeX RDF
15	Michael A. Bender, Sándor P. Fekete, Tom Kamphans, Nils Schweer	Maintaining Arrays of Contiguous Objects.	FCT	2009	DBLP DOI BibTeX RDF
15	Daniel Xiaodan Zhou, Paul Resnick	Assessment of conversation co-mentions as a resource for software module recommendation.	RecSys	2009	DBLP DOI BibTeX RDF	conversation double pivot, item-item recommender, evaluation, Drupal
15	Paul Doran, Valentina A. M. Tamma, Terry R. Payne, Ignazio Palmisano	An entropy inspired measure for evaluating ontology modularization.	K-CAP	2009	DBLP DOI BibTeX RDF	ontology modularization, ontology evaluation
15	Akif Günes Koru, Khaled El Emam, Dongsong Zhang, Hongfang Liu, Divya Mathew	Theory of relative defect proneness.	Empir. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Size-defect relationship, Planning for software quality assurance, Software testing, Software metrics, Open-source software, Software inspections, Software reviews, Software science
15	Thomas Martin Deserno, Mark Oliver Güld, Bartosz Plodowski, Klaus Spitzer 0001, Berthold B. Wein, Henning Schubert, Hermann Ney, Thomas Seidl 0001	Extended Query Refinement for Medical Image Retrieval.	J. Digit. Imaging	2008	DBLP DOI BibTeX RDF	usability, Graphical user interface (GUI), relevance feedback, query refinement, web-based interface
15	Toshihiko Yanase, Hitoshi Iba	Evolutionary Multi-Objective Optimization for Biped Walking.	SEAL	2008	DBLP DOI BibTeX RDF
15	Lukasz Masko, Marek Tudruj	Task Scheduling for SoC-Based Dynamic SMP Clusters with Communication on the Fly.	ISPDC	2008	DBLP DOI BibTeX RDF
15	Shuhei Miyashita, Flurin Casanova, Max Lungarella, Rolf Pfeifer	Peltier-based freeze-thaw connector for waterborne self-assembly systems.	IROS	2008	DBLP DOI BibTeX RDF
15	Se-gon Roh, Do Wan Kim, Jung-Sub Lee, Hyungpil Moon, Hyouk Ryeol Choi	Modularized in-pipe robot capable of selective navigation Inside of pipelines.	IROS	2008	DBLP DOI BibTeX RDF
15	Sören Sonntag, Helmut Reinig	An Efficient Weighted-Round-Robin Algorithm for Multiprocessor Architectures.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	SystemQ, Algorithm, Multiprocessor, System on Chip, Arbitration, Weighted Round Robin
15	Dirk Koch, Christian Beckhoff, Jürgen Teich	ReCoBus-Builder - A novel tool and technique to build statically and dynamically reconfigurable systems for FPGAS.	FPL	2008	DBLP DOI BibTeX RDF
15	Faezeh Ensan, Weichang Du	Aspects of Inconsistency Resolution in Modular Ontologies.	Canadian AI	2008	DBLP DOI BibTeX RDF
15	Francisco José Romero-Campero, Hongqing Cao, Miguel Cámara, Natalio Krasnogor	Structure and parameter estimation for cell systems biology models.	GECCO	2008	DBLP DOI BibTeX RDF	modular biology, genetic algorithms, memetic algorithm, systems biology, p systems, synthetic biology
15	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
15	Pramod Kumar Meher, Jagdish Chandra Patra	Fully-pipelined efficient architectures for FPGA realization of discrete Hadamard transform.	ASAP	2008	DBLP DOI BibTeX RDF
15	Yoonjae Huh, Yoon-Hwa Choi	Module Grouping for Defect Tolerance in Nanoscale Memory.	DFT	2008	DBLP DOI BibTeX RDF
15	Shahin Farshchi, Alex Pesterev, Paul Nuyujukian, István Módy, Jack W. Judy	Bi-Fi: An Embedded Sensor/System Architecture for Remote Biological Monitoring.	IEEE Trans. Inf. Technol. Biomed.	2007	DBLP DOI BibTeX RDF
15	Davide Balzarotti, Marco Cova, Viktoria Felmetsger, Giovanni Vigna	Multi-module vulnerability analysis of web-based applications.	CCS	2007	DBLP DOI BibTeX RDF	multi-step attacks, static analysis, web applications, dynamic analysis, vulnerability analysis
15	Zakarya A. Alzamil	Redundant Coupling Detection Using Dynamic Dependence Analysis.	ICSEA	2007	DBLP DOI BibTeX RDF
15	Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh	Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Software Safety Analysis, Software FTA, Software HAZOP, Function Block Diagram, Nuclear Reactor Protection System
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Module Operations.	All About Maude	2007	DBLP DOI BibTeX RDF
15	Stefan Raaijmakers, Stephan Wong	Run-time Partial Reconfiguration for Removal, Placement and Routing on the Virtex-II-Pro.	FPL	2007	DBLP DOI BibTeX RDF
15	Hirosato Seki, Hiroaki Ishii, Masaharu Mizumoto	On the monotonicity of SIRMs connected type fuzzy reasoning method and SIC reasoning method.	SMC	2007	DBLP DOI BibTeX RDF
15	Yunjae Lim, Young Jin Nam, Geel-Sang Yoo, Dae-Wha Seo	Automatic Partitioning Technique for Flash Memory on Linux-Based Embedded Systems.	UIC	2007	DBLP DOI BibTeX RDF
15	Rene Beckert, Thomas Fuchs 0003, Steffen Rülke, Wolfram Hardt	A Tailored Design Partitioning Method for Hardware Emulation.	IEEE International Workshop on Rapid System Prototyping	2007	DBLP DOI BibTeX RDF
15	Manabu Gouko, Koji Ito	An Action Generation Model Using Time Series Prediction.	IJCNN	2007	DBLP DOI BibTeX RDF
15	Alexandre M. Amory, Frederico Ferlini, Marcelo Lubaszewski, Fernando Moraes 0001	DfT for the Reuse of Networks-on-Chip as Test Access Mechanism.	VTS	2007	DBLP DOI BibTeX RDF
15	Arindam Mallik, Yu Zhang, Gokhan Memik	Automated task distribution in multicore network processors using statistical analysis.	ANCS	2007	DBLP DOI BibTeX RDF
15	Ulrik Pagh Schultz	Distributed control diffusion: towards a flexible programming paradigm for modular robots.	ROBOCOMM	2007	DBLP DOI BibTeX RDF
15	Viktor Kuncak, Patrick Lam 0001, Karen Zee, Martin C. Rinard	Modular Pluggable Analyses for Data Structure Consistency.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	formal methods, data structure, program analysis, program verification, invariant, shape analysis, Typestate, programming language design
15	Minghui Wang, Shugen Ma, Bin Li 0001, Yuechao Wang	Configuration Analysis for Reconfigurable Modular Planetary Robots Based on MSV and CSM.	IROS	2006	DBLP DOI BibTeX RDF
15	Preethi Srinivas Bhat, James Kuffner, Seth Copen Goldstein, Siddhartha S. Srinivasa	Hierarchical Motion Planning for Self-reconfigurable Modular Robots.	IROS	2006	DBLP DOI BibTeX RDF
15	Emilio Sanchis, David Griol, Lluís F. Hurtado, Encarna Segarra	A Platform for the Development of Spoken Dialog Systems.	ICSEA	2006	DBLP DOI BibTeX RDF
15	Armando Sánchez-Peña, Pedro P. Carballo, Luz García 0001, Antonio Núñez	VIPACES, Verification Interface Primitives for the Development of AXI Compliant Elements and Systems.	DSD	2006	DBLP DOI BibTeX RDF	AMBA 3 AXI, VIPACES, Virtual Components, Verification, Test, System-on-Chip (SoC), IP, DCT, Emulation, SystemC, Environment, TLM, IDCT, VIP
15	K. Vinay Kumar Reddy, D. Janakiram	Cohesion Analysis in Linux Kernel.	APSEC	2006	DBLP DOI BibTeX RDF
15	Chitta Baral, Juraj Dzifcak, Hiro Takahashi	Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming.	ICLP	2006	DBLP DOI BibTeX RDF
15	Yulin Qin, Daniel Bothell, John R. Anderson	ACT-R Meets fMRI.	WImBI	2006	DBLP DOI BibTeX RDF
15	Ehud Schlessinger, Peter J. Bentley, R. Beau Lotto	Modular thinking: evolving modular neural networks for visual guidance of agents.	GECCO	2006	DBLP DOI BibTeX RDF	mosaic world, multi-agent systems, modular neural networks
15	Thinh M. Le, Xiaohua Tian, B. L. Ho, J. Nankoo, Yong Lian 0001	System-on-Chip Design Methodology for a Statistical Coder.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF	statistical coder, SoC, design methodology, CABAC
15	Hyun-Suk Hwang, Kyoo-Seok Park, Chang Soo Kim	Ontology-Based Information Search in the Real World Using Web Services.	ICCSA (3)	2006	DBLP DOI BibTeX RDF
15	Joy Mukherjee, Srinidhi Varadarajan	Weaves: A Framework for Reconfigurable Programming.	Int. J. Parallel Program.	2005	DBLP DOI BibTeX RDF	intra process, adaptive, compositional, Reconfigurable, dynamic binding
15	Akif Günes Koru, Hongfang Liu	An investigation of the effect of module size on defect prediction using static measures.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	static measures, software metrics, prediction models, defect prediction, software quality management
15	Akif Günes Koru, Hongfang Liu	Building Effective Defect-Prediction Models in Practice.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	software quality, software metrics
15	Eric M. Dashofy, André van der Hoek, Richard N. Taylor	A comprehensive approach for the development of modular software architecture description languages.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	ArchStudio 3, xADL 2.0, XML, Architecture description languages
15	Naeem Seliya, Taghi M. Khoshgoftaar, Shi Zhong	Analyzing Software Quality with Limited Fault-Proneness Defect Data.	HASE	2005	DBLP DOI BibTeX RDF	software quality, k-means, software measurements, software faults, semi-supervised clustering
15	Brian Schott, Michael Bajura, Joseph Czarnaski, Jaroslav Flidr, Tam Tho, Li Wang	A modular power-aware microsensor with >1000X dynamic power range.	IPSN	2005	DBLP DOI BibTeX RDF
15	Vineet R. Khare, Xin Yao 0001, Bernhard Sendhoff, Yaochu Jin, Heiko Wersing	Co-evolutionary modular neural networks for automatic problem decomposition.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
15	Florian Dittmann 0001, Markus Heberling	Placement of intermodule connections on partially reconfigurable devices.	SBCCI	2005	DBLP DOI BibTeX RDF	intermodule communication, reconfigurable computing, run-time reconfiguration
15	Michail Flouris, Angelos Bilas	Violin: A Framework for Extensible Block-Level Storage.	MSST	2005	DBLP DOI BibTeX RDF
15	Kaliappa Nadar Ravindran, Ali Sabbir, Kevin A. Kwiat	Timed Publish-Subscribe Coomunication for Distributed Embedded Systems.	DS-RT	2005	DBLP DOI BibTeX RDF
15	Subhasis Bhattacharjee, Dhiraj K. Pradhan	LPRAM: a novel low-power high-performance RAM design with testability and scalability.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
15	Shi Zhong, Taghi M. Khoshgoftaar, Naeem Seliya	Analyzing Software Measurement Data with Clustering Techniques.	IEEE Intell. Syst.	2004	DBLP DOI BibTeX RDF	software quality estimation, clustering, exploratory data analysis, noise detection
15	Taghi M. Khoshgoftaar, Yi Liu 0023, Naeem Seliya	Module-Order Modeling using an Evolutionary Multi-Objective Optimization Approach.	IEEE METRICS	2004	DBLP DOI BibTeX RDF
15	Goo Bong Chung, Byung-Ju Yi, Dong Jin Lim, Whee Kuk Kim	An Efficient Dynamic Modeling Methodology for General Type of Hybrid Robotic Systems.	ICRA	2004	DBLP DOI BibTeX RDF
15	Michael Rubenstein, Kenneth Payne, Peter M. Will, Wei-Min Shen	Docking Among Independent and Autonomous CONRO Self-reconfigurable Robots.	ICRA	2004	DBLP DOI BibTeX RDF
15	Albert Ko, T. L. Lau, Henry Y. K. Lau	Topological Representation and Analysis Method for Multi-port and Multi-orientation Docking Modular Robots.	ICRA	2004	DBLP DOI BibTeX RDF
15	Peifeng Xiang, Yuanchun Shi, Weijun Qin, Xin Xiang	CUBES: Providing Flexible Learning Environment for Virtual Universities.	ICWL	2004	DBLP DOI BibTeX RDF
15	Sajal K. Das 0001, Irene Finocchi, Rossella Petreschi	Star-Coloring of Graphs for Conflict-Free Access to Parallel Memory Systems.	IPDPS	2004	DBLP DOI BibTeX RDF
15	Heather D. Pfeiffer	An Exportable CGIF Module from the CP Environment: A Pragmatic Approach.	ICCS	2004	DBLP DOI BibTeX RDF
15	Jörg Schneider, Vincent Kotzsch, Steffen Rülke	Demonstrator: Reuse Automation for Reconfigurable System-on-Chip Design within a DVB Environment.	PARELEC	2004	DBLP DOI BibTeX RDF
15	Kohei Taki, Reiji Teramoto, Yoichi Takenaka, Hideo Matsuda	Inference of Gene Regulatory Network Based on Module Network Model with Gene Functional Classifications.	CSB	2004	DBLP DOI BibTeX RDF
15	Ambrus Wagner	Mobile agent: based module distribution in heterogeneous networks.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	mobile agents, distributed processing
15	Christian Erfurth, Arndt Döhler, Wilhelm R. Rossak	A First Look at the Performance of Autonomous Mobile Agents in Dynamic Networks.	HICSS	2004	DBLP DOI BibTeX RDF
15	Kaliappa Nadar Ravindran, Ali Sabbir, Kevin A. Kwiat	Incorporating Timeliness in Atomic Write of Shared Data for Distributed Embedded Systems.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
15	Ronald van der Lingen, André van der Hoek	An Experimental, Pluggable Infrastructure for Modular Configuration Management Policy Composition.	ICSE	2004	DBLP DOI BibTeX RDF
15	David C. Keezer, Dany Minier, F. Binette	Modular Extension of ATE to 5 Gbps.	ITC	2004	DBLP DOI BibTeX RDF
15	Piet van Remortel, Bernard Manderick, Tom Lenaerts	Gene Interaction and Modularisation in a Model for Gene-Regulated Development.	Evolvable Hardware	2004	DBLP DOI BibTeX RDF
15	Ed Crowley	Experiential learning and security lab design.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	lab design, network security, TCP/IP, internet security
15	Baruch Awerbuch, Christian Scheideler	Consistent and compact data management in distributed storage systems.	SPAA	2004	DBLP DOI BibTeX RDF	load balancing, peer-to-peer systems, range queries, distributed data management
15	Nobuyuki Ohba, Kohji Takano	An SoC design methodology using FPGAs and embedded microprocessors.	DAC	2004	DBLP DOI BibTeX RDF	mixed-level verification, SoC, ASIC, FPGA prototyping
15	Ryan W. S. Yu, Gary K. W. Hau, Anthony S. Fong	Test bench for software development of object-oriented processor.	SIGARCH Comput. Archit. News	2003	DBLP DOI BibTeX RDF
15	Wing Seung Yuen, Evangeline F. Y. Young	Slicing floorplan with clustering constraint.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
15	Yasushi Shinjo, Yoshinori Nakata, Kozo Itano	Securing RPC with a Reference Monitor for System Calls.	ISSS	2003	DBLP DOI BibTeX RDF
15	Jurjen Westra, Dirk-Jan Jongeneel, Ralph H. J. M. Otten, Chandu Visweswariah	Time Budgeting in a Wireplanning Context.	DATE	2003	DBLP DOI BibTeX RDF
15	Ryan W. S. Yu, Gary K. W. Hau, Anthony S. Fong	Test bench for software development of object-oriented processor.	ISICT	2003	DBLP BibTeX RDF
15	Markus Clermont	Analyzing Large Spreadsheet Programs.	WCRE	2003	DBLP DOI BibTeX RDF
15	Ronald van der Lingen, André van der Hoek	Dissecting Configuration Management Policies.	SCM	2003	DBLP DOI BibTeX RDF
15	Takumi Ichimura, Shinichi Oeda, Machi Suka, Katsumi Yoshida	A Classification Capability of Reflective Neural Networks in Medical Databases.	KES	2003	DBLP DOI BibTeX RDF
15	Stavros Tripakis	Automated Module Composition.	TACAS	2003	DBLP DOI BibTeX RDF
15	Yung-Yuan Chen, Shi-Jinn Horng, Hung-Chuan Lai	An Integrated Fault-Tolerant Design Framework for VLIW Processors.	DFT	2003	DBLP DOI BibTeX RDF
15	Luca Vollero, Giulio Iannello, Francesco Delfino	An Open Software Architecture for Structured Data Elaboration and Transcoding.	ITCC	2003	DBLP DOI BibTeX RDF	code reusability, Transcoding, real-time processing, software modularity
15	Jai-Ming Lin, Hsin-Lung Chen, Yao-Wen Chang	Arbitrarily shaped rectilinear module placement using the transitive closure graph representation.	IEEE Trans. Very Large Scale Integr. Syst.	2002	DBLP DOI BibTeX RDF
15	Jai-Ming Lin, Hsin-Lung Chen, Yao-Wen Chang	Arbitrary Convex and Concave Rectilinear Module Packing Using TCG.	DATE	2002	DBLP DOI BibTeX RDF
15	Aiko Pras, Szabolcs Boros, Bert Helthuis	Remote MIB-item look-up service.	NOMS	2002	DBLP DOI BibTeX RDF
15	Arnold H. Buss, Paul J. Sanchez	Modeling very large scale systems: building complex models with LEGOs (Listener Event Graph Objects).	WSC	2002	DBLP DOI BibTeX RDF
15	Alessio Bechini, Pierfrancesco Foglia, Cosimo Antonio Prete	Use of a CORBA/RMI gateway: characterization of communication overhead.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	middleware gateways, CORBA, performance measurement, RMI, distributed object technologies
15	Michael Harville	A Framework for High-Level Feedback to Adaptive, Per-Pixel, Mixture-of-Gaussian Background Models.	ECCV (3)	2002	DBLP DOI BibTeX RDF
15	Abhishek Ranjan, Kia Bazargan, Seda Ogrenci, Majid Sarrafzadeh	Fast floorplanning for effective prediction and construction.	IEEE Trans. Very Large Scale Integr. Syst.	2001	DBLP DOI BibTeX RDF
15	Farzan Fallah, Srinivas Devadas, Kurt Keutzer	Functional vector generation for HDL models using linearprogramming and Boolean satisfiability.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
15	Gregory Doumenis, George E. Konstantoulakis, G. Korinthios, George Lykakis, Dionisios I. Reisis, G. Synnefakis	A Parallel VLSI Video/Communication Controller.	J. VLSI Signal Process.	2001	DBLP DOI BibTeX RDF	interconnection networks, parallel architectures, shared memory, video communication, traffic shaping, packet networks
15	John W. Lockwood, Naji Naufel, Jonathan S. Turner, David E. Taylor	Reprogrammable network packet processing on the field programmable port extender (FPX).	FPGA	2001	DBLP DOI BibTeX RDF	Internet, FPGA, routing, network, ATM, modularity, reconfiguration, processing, IP, hardware, packet