Search results for "modules"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Hugo de Garis	Artificial Brains: An Evolved Neural Net Module Approach.	Computational Intelligence: A Compendium	2008	DBLP DOI BibTeX RDF
19	José Augusto Miranda Nacif, Thiago S. F. Silva, Andréa Iabrudi Tavares, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.	Efficient Allocation of Verification Resources using Revision History Information.	DDECS	2008	DBLP DOI BibTeX RDF
19	Prabal Dutta, Jay Taneja, Jaein Jeong, Xiaofan Jiang 0001, David E. Culler	A building block approach to sensornet systems.	SenSys	2008	DBLP DOI BibTeX RDF	sensor network, architecture, wireless, mote
19	Martin Pinzger 0001, Nachiappan Nagappan, Brendan Murphy	Can developer-module networks predict failures?	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	developer contribution network, network centrality measures, social network analysis, failure prediction
19	Jian-Hong Liu, Jing Chen, Yu-Chang Huang	VIP: A Flexible Virtual Integrated Platform for EVM Emulation.	ICPADS	2008	DBLP DOI BibTeX RDF
19	Kiev Gama, Didier Donsez	Using the service coroner tool for diagnosing stale references in the OSGi platform.	Middleware (Companion)	2008	DBLP DOI BibTeX RDF	stale references, aspect oriented programming, OSGi, services platform
19	Hsun-Cheng Lee, Yao-Wen Chang, Hannah Honghua Yang	MBast-Tree: A Multilevel Floorplanner for Large-Scale Building-Module Design.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
19	Egbert Ammicht, Eric Fosler-Lussier, Alexandros Potamianos	Information Seeking Spoken Dialogue Systems- Part I: Semantics and Pragmatics.	IEEE Trans. Multim.	2007	DBLP DOI BibTeX RDF
19	Naeem Seliya, Taghi M. Khoshgoftaar	Software quality estimation with limited fault data: a semi-supervised learning perspective.	Softw. Qual. J.	2007	DBLP DOI BibTeX RDF	Software quality estimation, Software metrics, Semi-supervised learning, Expectation maximization, Unlabeled data
19	Robert Strandh, John Hamer, Gilbert Baumann	Using Stealth Mixins to Achieve Modularity.	ASWEC	2007	DBLP DOI BibTeX RDF
19	Rene Beckert, Thomas Fuchs 0003, Steffen Rülke, Wolfram Hardt	A Run-Time Scheduling Framework for a Reconfigurable Hardware Emulator.	DSD	2007	DBLP DOI BibTeX RDF
19	Sun Kim, Soo-Jin Kim, Byoung-Tak Zhang	Evolving hypernetwork classifiers for microRNA expression profile analysis.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
19	Thomas M. Galla, Dietmar Schreiner, Wolfgang Forster, Christof Kutschera, Karl M. Göschka, Martin Horauer	Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm.	SIES	2007	DBLP DOI BibTeX RDF
19	Zhiyu Shao, Hanxu Sun, Qingxuan Jia, Ping Ye, Yuesheng Tan	Development of a General 2-DOF Space Module.	IROS	2006	DBLP DOI BibTeX RDF
19	Jongmoo Choi, Seungjae Baek, Sung Y. Shin	Design and implementation of a kernel resource protector for robustness of Linux module programming.	SAC	2006	DBLP DOI BibTeX RDF	loadable module, reclaim, resource protector, slab allocator, fault tolerance, robustness, memory leak, linux kernel
19	Pilok Lim, Taewhan Kim	Thermal-aware high-level synthesis based on network flow method.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	power consumption, temperature, binding
19	Wolfhard Lawrence	Standard Module Conformance Testing.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
19	Kasper Støy	How to Construct Dense Objects with Self-Recondfigurable Robots.	EUROS	2006	DBLP DOI BibTeX RDF
19	Francesco Nori, Ruggero Frezza	A control theory approach to the analysis and synthesis of the experimentally observed motion primitives.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF
19	Biplab Kumer Sarker, Anil Kumar Tripathi, Deo Prakash Vidyarthi, Laurence Tianruo Yang, Kuniaki Uehara	Load Balanced Allocation of Multiple Tasks in a Distributed Computing System.	EUC	2005	DBLP DOI BibTeX RDF
19	Jia Lee, Ferdinand Peper, Susumu Adachi, Kenichi Morita	Universal Delay-Insensitive Circuits with Bidirectional and Buffering Lines.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	bidirectional buffering lines, module, Asynchronous systems, universality, delay-insensitive circuits
19	Lukasz Masko	Program Graph Scheduling for Dynamic SMP Clusters with Communication on the Fly.	ISPDC/HeteroPar	2004	DBLP DOI BibTeX RDF
19	Qi Wang, Bo Yu, Jie Zhu	Extract Rules from Software Quality Prediction Model Based on Neural Network.	ICTAI	2004	DBLP DOI BibTeX RDF
19	Jai-Ming Lin, Yao-Wen Chang, Shih-Ping Lin 0001	Corner sequence - a P-admissible floorplan representation with a worst case linear-time packing scheme.	IEEE Trans. Very Large Scale Integr. Syst.	2003	DBLP DOI BibTeX RDF
19	John W. Lockwood, Christopher E. Neely, Christopher K. Zuver, David Lim	Automated tools to implement and test Internet systems in reconfigurable hardware.	Comput. Commun. Rev.	2003	DBLP DOI BibTeX RDF	network intrusion detection and prevention, Internet, Field Programmable Gate Array (FPGA), networks, tools, firewall, reconfigurable hardware
19	Fredrik Warg, Per Stenström	Improving Speculative Thread-Level Parallelism Through Module Run-Length Prediction.	IPDPS	2003	DBLP DOI BibTeX RDF	module-level parallelism, module run-length prediction, performance evaluation, Multiprocessors, thread-level speculation
19	Chandramouli Gopalakrishnan, Srinivas Katkoori	KnapBind: An Area-Efficient Binding Algorithm for Low-leakage Datapaths.	ICCD	2003	DBLP DOI BibTeX RDF
19	Norihiro Fujii, Shûichi Yukita, Nobuhiko Koike, Tosiyasu L. Kunii	Top-Down eLearning Tools for Hardware Logic Design.	CW	2003	DBLP DOI BibTeX RDF
19	Taghi M. Khoshgoftaar	Improving Usefulness of Software Quality Classification Models Based on Boolean Discriminant Functions.	ISSRE	2002	DBLP DOI BibTeX RDF
19	Kosuke Imamura, Robert B. Heckendorn, Terence Soule, James A. Foster	N-Version Genetic Programming via Fault Masking.	EuroGP	2002	DBLP DOI BibTeX RDF
19	Yasushi Shinjo, Kotaro Eiraku, Atsushi Suzuki, Kozo Itano, Calton Pu	Enhancing Access Control with SysGuard, Reference Monitor Supporting Portable and Composable Kernel Module.	PRDC	2002	DBLP DOI BibTeX RDF
19	Wing Seung Yuen, Fung Yu Young	Slicing floorplan with clustering constraints.	ASP-DAC	2001	DBLP DOI BibTeX RDF
19	Hugo de Garis, Leo de Penning, Andrzej Buller, Derek Decesare	Early Experiments On The Cam-Brain Machine (Cbm).	Evolvable Hardware	2001	DBLP DOI BibTeX RDF
19	Hugo de Garis, Andrzej Buller, Leo de Penning, Tomasz Chodakowski, Derek Decesare	Initial Evolution Results on CAM-Brain Machines (CBMs).	ICANN	2001	DBLP DOI BibTeX RDF
19	Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca	Generation of Execution Sequences for Modular Time Critical Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	time critical systems, modular notations, formal specifications, Functional testing, structural testing, specification testing
19	Frank M. G. Dorenberg, Huesung Kim, Arun K. Somani	The Effect of Interconnect Schemes on the Dependability of a Modular Multi-Processor System with Shared Resources.	PRDC	1999	DBLP DOI BibTeX RDF
19	Zhong Shao	Typed Cross-Module Compilation.	ICFP	1998	DBLP DOI BibTeX RDF
19	Harald C. Gall, Karin Hajek, Mehdi Jazayeri	Detection of Logical Coupling Based on Product Release History.	ICSM	1998	DBLP DOI BibTeX RDF
19	Dirk Dussart, Rogardt Heldal, John Hughes 0001	Module-Sensitive Program Specialisation.	PLDI	1997	DBLP DOI BibTeX RDF
19	Chua Hong Chuck, Chin Teck Chai, Tan Gim Chua	A structured approach for routing of MCMs.	KES (1)	1997	DBLP DOI BibTeX RDF
19	Michael VanHilst, David Notkin	Decoupling Change from Design.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF
19	Mauro Gaspari, Enrico Motta, Arthur Stutt	An Open Framework for Cooperative Problem Solving.	IEEE Expert	1995	DBLP DOI BibTeX RDF
19	Didier Bert, Catherine Oriat	A Model Inference System for Generic Specification with Application to Code Sharing.	TAPSOFT	1995	DBLP DOI BibTeX RDF
19	Sandip K. Biswas	Higher-Order Functors with Transparent Signatures.	POPL	1995	DBLP DOI BibTeX RDF	Standard ML
19	Lorrie A. Tomek, Jogesh K. Muppala, Kishor S. Trivedi	Modeling Correlation in Software Recovery Blocks.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software recovery blocks, software fault-tolerance technique, successive acceptance tests, correct module outputs, pairwise correlation, beta-binomial density, Stochastic Reward Network, Stochastic Petri Net Package, SPNP, Petri nets, fault tolerant computing, software reliability, software reliability, statistical analysis, correlation, Markov models, stochastic modeling, system recovery, stochastic Petri nets, recovery blocks, functional specification
19	Laura Kelmar, Ron Lumia	Sensory interactive robot trajectory control using a real-time world model.	J. Intell. Robotic Syst.	1992	DBLP DOI BibTeX RDF	image processing, Robotics, control systems, real-time control, telerobotics, hierarchical control, space applications
19	Josef Pieprzyk, Xian-Mo Zhang	Permutation Generators of Alternating Groups.	AUSCRYPT	1990	DBLP DOI BibTeX RDF
19	Domenick J. Pinto, Sandra K. Honda	A comparison of the effects of structured vs. non-structured and modularized vs. non-modularized programs on run time (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
19	Don S. Batory, Michael V. Mannino	Panel on Extensible Database Systems.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF
19	Wayne H. Wolf	An object-oriented, procedural database for VLSI chip planning.	DAC	1986	DBLP DOI BibTeX RDF
19	Stephen Y. H. Su	IDAS: an integrated design automation system.	AFIPS National Computer Conference	1984	DBLP DOI BibTeX RDF
19	Brent Hailpern, Susan S. Owicki	Modular Verification of Concurrent Programs.	POPL	1982	DBLP DOI BibTeX RDF
17	Hans Heymans, Isar Stubbe	Modules on Involutive Quantales: Canonical Hilbert Structure, Applications to Sheaf Theory.	Order	2009	DBLP DOI BibTeX RDF	Principal element, Principal symmetry, Sheaf, Module, Inner product, Quantale
17	Werner M. Seiler	A combinatorial approach to involution and delta-regularity II: structure analysis of polynomial modules with pommaret bases.	Appl. Algebra Eng. Commun. Comput.	2009	DBLP DOI BibTeX RDF
17	Akif Günes Koru, Dongsong Zhang, Khaled El Emam, Hongfang Liu	An Investigation into the Functional Form of the Size-Defect Relationship for Software Modules.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
17	Kanako Harada, Ekawahyu Susilo, Arianna Menciassi, Paolo Dario	Wireless reconfigurable modules for robotic endoluminal surgery.	ICRA	2009	DBLP DOI BibTeX RDF
17	Benedikt Deicke, Jan-Torsten Milde, Hans-Martin Pohl	A Web-Based, Interactive Annotation Editor for the eCampus Development Environment for SCORM Compliant E-Learning Modules.	HCI (4)	2009	DBLP DOI BibTeX RDF	eCampus, OpenOffice, E-Learning, Web, annotation, transformation, JavaScript, SCORM, Ruby, user friendly, Ruby on Rails
17	Michael Philetus Weller, Brian T. Kirby, H. Benjamin Brown, Mark D. Gross, Seth Copen Goldstein	Design of prismatic cube modules for convex corner traversal in 3D.	IROS	2009	DBLP DOI BibTeX RDF
17	Frédéric Chazal, David Cohen-Steiner, Marc Glisse, Leonidas J. Guibas, Steve Oudot	Proximity of persistence modules and their diagrams.	SCG	2009	DBLP DOI BibTeX RDF	persistence diagram, topological data analysis, topological persistence, stability, discretization
17	Corban G. Rivera, T. M. Murali 0001	Identifying Evolutionarily Conserved Protein Interaction Modules Using GraphHopper.	BICoB	2009	DBLP DOI BibTeX RDF
17	Lars Kadison	Anchor Maps and Stable Modules in Depth Two.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 11S20, 13B24, 17B37, 20L05, 16W30
17	Hirosato Seki, Hiroaki Ishii, Masaharu Mizumoto	On the Generalization of Single Input Rule Modules Connected Type Fuzzy Reasoning Method.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
17	Chuanyu Xu	Intuitionistic Fuzzy Modules and Their Structures.	ICIC (2)	2008	DBLP DOI BibTeX RDF
17	Yoshiki Higo, Kenji Murao, Shinji Kusumoto, Katsuro Inoue	Predicting fault-prone modules based on metrics transitions.	DEFECTS	2008	DBLP DOI BibTeX RDF
17	Andreas Lagemann, Jörg Nolte	CsharpSimpleModule: writing OMNeT++ modules with C# and mono.	SimuTools	2008	DBLP DOI BibTeX RDF
17	Paul Doran, Valentina A. M. Tamma, Ignazio Palmisano, Terry R. Payne, Luigi Iannone	Evaluating Ontology Modules Using an Entropy Inspired Metric.	Web Intelligence	2008	DBLP DOI BibTeX RDF
17	Isask'har Walter, Israel Cidon, Ran Ginosar, Avinoam Kolodny	Access Regulation to Hot-Modules in Wormhole NoCs.	NOCS	2007	DBLP DOI BibTeX RDF	SoC, resource management, Network on-Chip, hotspot, wormhole
17	Xiaoping Yun, Eric R. Bachmann, Hyatt Moore, James Calusdian	Self-contained Position Tracking of Human Movement Using Small Inertial/Magnetic Sensor Modules.	ICRA	2007	DBLP DOI BibTeX RDF
17	Johannes Koch, Dirk Stegemann, Yehya Mohamad, Carlos A. Velasco	Development of Automatic Web Accessibility Checking Modules for Advanced Quality Assurance Tools.	HCI (5)	2007	DBLP DOI BibTeX RDF
17	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Functional Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
17	Miguel E. R. Bezerra, Adriano L. I. Oliveira, Silvio R. L. Meira	A Constructive RBF Neural Network for Estimating the Probability of Defects in Software Modules.	IJCNN	2007	DBLP DOI BibTeX RDF
17	Hugo de Garis, Jian Yu Tang, Di Huang 0003	Artificial Brains - A Cheap Method for Speeding the Evolution of Neural Network Modules for Artificial Brain Building.	IJCNN	2007	DBLP DOI BibTeX RDF
17	Raheel A. Malik, Raymond A. Hansen, James E. Goldman, Anthony H. Smith	Laboratory modules for conducting comparative analysis of 802.11 frames.	SIGITE Conference	2007	DBLP DOI BibTeX RDF	wireless networking education, information technology education
17	Feng-Li Lian, John K. Yook, Dawn M. Tilbury, James R. Moyne	Network architecture and communication modules for guaranteeing acceptable control and communication performance for networked multi-agent systems.	IEEE Trans. Ind. Informatics	2006	DBLP DOI BibTeX RDF
17	José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi	Algebraic Semantics of Service Component Modules.	WADT	2006	DBLP DOI BibTeX RDF
17	Young-Rae Cho, Woochang Hwang, Aidong Zhang	Identification of Overlapping Functional Modules in Protein Interaction Networks: Information Flow-based Approach.	ICDM Workshops	2006	DBLP DOI BibTeX RDF
17	María Brox, Santiago Sánchez-Solano	Development of IP Modules of Fuzzy Controllers for the Design of Embedded Systems on FPGAs.	FPL	2006	DBLP DOI BibTeX RDF
17	Jason W. Kim, Vassilis Prevelakis	Base line performance measurements of access controls for libraries and modules.	IPDPS	2006	DBLP DOI BibTeX RDF
17	Riccardo Mazza	A Graphical Tool for Monitoring the Usage of Modules in Course Management Systems.	VIEW	2006	DBLP DOI BibTeX RDF
17	Suely Oliveira, Sang-Cheol Seok	A Multilevel Approach to Identify Functional Modules in a Yeast Protein-Protein Interaction Network.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
17	Mengxia Zhu, Qishi Wu, Yunfeng Yang, Jizhong Zhou	A New Approach to Identify Functional Modules Using Random Matrix Theory.	CIBCB	2006	DBLP DOI BibTeX RDF
17	Suely Oliveira, S. C. Seok	Triangular Clique Based Multilevel Approaches to Identify Protein Functional Modules.	VECPAR	2006	DBLP DOI BibTeX RDF
17	James Walden, Charles E. Frank	Secure software engineering teaching modules.	InfoSecCD	2006	DBLP DOI BibTeX RDF	secure software engineering, software security, information security education
17	Dominic Duggan	Type-based hot swapping of running modules.	Acta Informatica	2005	DBLP DOI BibTeX RDF
17	Davide Ancona, Sonia Fagorzi, Elena Zucca	Mixin Modules for Dynamic Rebinding.	TGC	2005	DBLP DOI BibTeX RDF
17	Chuan-Yu Cho, Shiang-Yang Huang, Jeng-Neng Hwang, Jia-Shung Wang	An embedded merging scheme for VLSI implementation of H.264/AVC motion estimation modules.	ICIP (3)	2005	DBLP DOI BibTeX RDF
17	Torsten Linz, Christine Kallmayer, Rolf Aschenbrenner, Herbert Reichl	Embroidering Electrical Interconnects with Conductive Yarn for The Integration of Flexible Electronic Modules into Fabric.	ISWC	2005	DBLP DOI BibTeX RDF
17	Daniel Arias, Manuel Ladra	Central Extensions of Precrossed Modules.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	central extension, precrossed module, cohomology, Galois theory
17	Tom Hirschowitz, Xavier Leroy, J. B. Wells	Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types.	ESOP	2004	DBLP DOI BibTeX RDF
17	Gerardo Leyva, Gabriel Caffarena, Carlos Carreras, Octavio Nieto-Taladriz	A Generator of High-Speed Floating-Point Modules.	FCCM	2004	DBLP DOI BibTeX RDF
17	Hee Young Kang, Hak Yong Kim	Functional Modules from Protein Networks of Kinome and Cell Cycle in Saccharomyces Cerevisiae.	CSB	2004	DBLP DOI BibTeX RDF
17	James Alfred Walker, Julian Francis Miller	Evolution and Acquisition of Modules in Cartesian Genetic Programming.	EuroGP	2004	DBLP DOI BibTeX RDF
17	Nikunja Swain, Mrutyunjaya Swain	Design and development of computer networking modules using virtual instruments and object oriented programming.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	IP classes, dotted decimal notation, java/visual basic, router forwarding, subnet & subnet mask, TCP/IP, virtual instruments, routing table
17	Z. Arvasi, U. Ege	Annihilators, Multipliers and Crossed Modules.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	multiplication algebra, actor crossed module, crossed square
17	Jacek Chrzaszcz	Implementing Modules in the Coq System.	TPHOLs	2003	DBLP DOI BibTeX RDF
17	Derek Dreyer, Karl Crary, Robert Harper 0001	A type system for higher-order modules.	POPL	2003	DBLP DOI BibTeX RDF	modularity, generativity, abstract data types, type theory, computational effects, singleton types, functors
17	Rob J. van Glabbeek, David G. Stork	Query Nets: Interacting Workflow Modules That Ensure Global Termination.	Business Process Management	2003	DBLP DOI BibTeX RDF
17	Nira Herrmann, Jeffrey L. Popyack, Bruce W. Char, Paul Zoski, Christopher D. Cera, Robert N. Lass, Aparna Nanjappa	Redesigning introductory computer programming using multi-level online modules for a mixed audience.	SIGCSE	2003	DBLP DOI BibTeX RDF	hybrid courses, online course work, pedagogy, CS1, cooperative learning, course management systems
17	Richard Carlsson	Parameterized modules in Erlang.	Erlang Workshop	2003	DBLP DOI BibTeX RDF
17	Stefan Nörtemann	The Hahn-Banach Theorem for Partially Ordered Totally Convex, Positively Convex and Superconvex Modules.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	Hahn-Banach Theorem, partially ordered totally convex module, partially ordered positively convex module, partially ordered superconvex module