Search results for "modules"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon	A Modular Approach to the Specification and Validation of an Electrical Flight Control System.	FME	2001	DBLP DOI BibTeX RDF	Verification, Modularity, Test Generation, Case Tools, Heterogeneous Specification
15	Sung-Hyuck Lee, Seung-Joon Seok, Seung-Jin Lee 0001, Sung-Kwan Youm, Chul-Hee Kang	Two-Differentiated Marking Strategies for TCP Flows in a Differentiated Services Network.	QofIS	2001	DBLP DOI BibTeX RDF
15	Chantal Muller, Michèle Rombaut, Marc Janier	Dempster Shafer Approach for High Level Data Fusion Applied to the Assessment of Myocardial Viability.	FIMH	2001	DBLP DOI BibTeX RDF
15	Wlodzimierz Kasprzak	An Iconic Classification Scheme for Video-Based Traffic Sensor Tasks.	CAIP	2001	DBLP DOI BibTeX RDF	traffic sensor system, computer vision
15	Mark Pool, Robert Bachrach	Productivity modeling of semiconductor manufacturing equipment.	WSC	2000	DBLP DOI BibTeX RDF
15	Oscar Luiz Monteiro de Farias, Luiz Má C. P. M. de Farias	Distributed information system on an Internet/intranet environment (DISI2E).	ACM-GIS	2000	DBLP DOI BibTeX RDF	object associations, hypertext, distributed information system
15	Gasser Auda, Mohamed S. Kamel	A Modular Neural Network for Vague Classification.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF
15	Ping Guo 0002, Michael R. Lyu	Software Quality Prediction Using Mixture Models with EM Algorithm.	APAQS	2000	DBLP DOI BibTeX RDF
15	Indradeep Ghosh, Anand Raghunathan, Niraj K. Jha	Hierarchical test generation and design for testability methods for ASPPs and ASIPs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
15	Ganesh Lakshminarayana, Niraj K. Jha	High-level synthesis of power-optimized and area-optimized circuits from hierarchical data-flow intensive behaviors.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
15	Richard Hull 0001, François Llirbat, Eric Simon, Jianwen Su, Guozhu Dong, Bharat Kumar, Gang Zhou	Declarative workflows that support easy modification and dynamic browsing.	WACC	1999	DBLP DOI BibTeX RDF	choice-based execution, decision-making, browsing, workflow management, declarative semantics
15	Gholamreza Latif Shabgahi, Stuart Bennett	Adaptive Majority Voter: A Novel Voting Algorithm for Real-Time Fault-Tolerant Control Systems.	EUROMICRO	1999	DBLP DOI BibTeX RDF
15	John C. Munson, Sebastian G. Elbaum	Software Reliability as a Function of User Execution Patterns.	HICSS	1999	DBLP DOI BibTeX RDF
15	Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang	Automating Modular Verification.	CONCUR	1999	DBLP DOI BibTeX RDF
15	Wen-Ben Jone, Der-Cheng Huang, S. C. Wu, Kuen-Jong Lee	An Efficient BIST Method for Small Buffers.	VTS	1999	DBLP DOI BibTeX RDF
15	Sajal K. Das 0001, Bhabani P. Sinha, Rajarshi Chaudhuri	A Cominatorial Approach to Performance Analysis of a Shared-Memory Multiprocessor.	COCOON	1999	DBLP DOI BibTeX RDF
15	Michael Korkin, Norberto Eiji Nawa, Hugo de Garis	A "Spike Interval Information Coding" Representation for ATR's CAM-Brain Machine (CBM).	ICES	1998	DBLP DOI BibTeX RDF
15	Marta Domingo, Lluís Godo, Carles Sierra	Handling imperfect knowledge handling in Milord II for the identification of marine sponges.	Applications of Uncertainty Formalisms	1998	DBLP DOI BibTeX RDF
15	Naoyuki Kubota, Toshio Fukuda, Fumio Kojima	Fuzzy scheduling problem in self-organizing manufacturing system.	KES (2)	1998	DBLP DOI BibTeX RDF
15	Farzan Fallah, Srinivas Devadas, Kurt Keutzer	Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability.	DAC	1998	DBLP DOI BibTeX RDF	low power, synthesis, placement, flip-flops, voltage scaling, codec, MPEG4, level converters, design automatian
15	Ganesh Lakshminarayana, Niraj K. Jha	Synthesis of Power-Optimized and Area-Optimized Circuits from Hierarchical Behavioral Descriptions.	DAC	1998	DBLP DOI BibTeX RDF	transceiver, spread spectrum communication, RF CMOS, digital radio, ISM frequency band
15	T. W. Her, Martin D. F. Wong	Module implementation selection and its application to transistor placement.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
15	Shigetoshi Nakatake, Kunihiro Fujiyoshi, Hiroshi Murata, Yoji Kajitani	Module placement on BSG-structure and IC layout applications.	ICCAD	1996	DBLP DOI BibTeX RDF	rectilinear chip, L-shaped module, module placement, IC layout
15	Soheil Shams	Simultaneous Recognition of Multiple Objects Using the MEM Model.	IWANN	1995	DBLP DOI BibTeX RDF
15	Jaspal Subhlok, Gary Vondran	Optimal Mapping of Sequences of Data Parallel Tasks.	PPoPP	1995	DBLP DOI BibTeX RDF
15	Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham	Efficient Software-Based Fault Isolation.	SOSP	1993	DBLP DOI BibTeX RDF
15	Frank W. Calliss	A comparison of module constructs in programming languages.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF
15	Xianjin Yao, C. L. Liu 0001	Solution of a module orientation and rotation problem.	EURO-DAC	1990	DBLP DOI BibTeX RDF
15	Alex Meystel	Intelligent Module for Planning/Control of Master-dependent Systems.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF
15	Rajiv Gupta 0001, Mary Lou Soffa	Compile-time Techniques for Efficient Utilization of Parallel Memories.	PPOPP/PPEALS	1988	DBLP DOI BibTeX RDF
15	Ajoy Kumar Datta, Sukumar Ghosh	Modular Synthesis of Deadlock-Free Control Structures.	FSTTCS	1986	DBLP DOI BibTeX RDF	regular nets, Petri nets, synthesis, deadlock
15	George W. Ernst, William F. Ogden	Specification of Abstract Data Types in Modula.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF	Modula
15	Yoshizo Takahashi	A distributed operating system for a binary tree multiprocessor.	Operating Systems Engineering	1980	DBLP DOI BibTeX RDF
15	H. Sechovsky, S. Jura	Asynchronous speed-independent arbiter in a form of a hardware control module.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
14	Alexander Heinecke, Carsten Trinitis, Josef Weidendorfer	Porting existing cache-oblivious linear algebra HPC modules to larrabee architecture.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	accelerator space-filling curve, openmp, matrix multiplication, cache-oblivious, lu decomposition, manycore
14	Feng Feng 0003, Young Bae Jun	Inductive semimodules and the vector modules over them.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Semimodule, Inductive *-semiring, Kleene module, Inductive semimodule, Linear inequation system, Semiring, Kleene algebra
14	Bernardo Cuenca Grau, Ian Horrocks 0001, Yevgeny Kazakov, Ulrike Sattler	Extracting Modules from Ontologies: A Logic-Based Approach.	Modular Ontologies	2009	DBLP DOI BibTeX RDF
14	Stephen Kell	The mythical matched modules: overcoming the tyranny of inflexible software construction.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	integration, reuse, modularity, flexibility, coupling
14	Zeeshan Ali Rana, Mian M. Awais, Shafay Shamail	An FIS for Early Detection of Defect Prone Modules.	ICIC (2)	2009	DBLP DOI BibTeX RDF
14	Hao Jia, Fengdi Shu, Ye Yang, Qing Wang 0001	Predicting Fault-Prone Modules: A Comparative Study.	SEAFOOD	2009	DBLP DOI BibTeX RDF
14	Krzysztof Goczyla, Aleksander Waloszek, Wojciech Waloszek	Algebra of Ontology Modules for Semantic Agents.	ICCCI	2009	DBLP DOI BibTeX RDF
14	Stefan Wehr, Manuel M. T. Chakravarty	ML Modules and Haskell Type Classes: A Constructive Comparison.	APLAS	2008	DBLP DOI BibTeX RDF
14	Nicolas Tsiftes, Adam Dunkels, Thiemo Voigt	Efficient Sensor Network Reprogramming through Compression of Executable Modules.	SECON	2008	DBLP DOI BibTeX RDF
14	Paul Kaufmann, Marco Platzner	Advanced techniques for the creation and propagation of modules in cartesian genetic programming.	GECCO	2008	DBLP DOI BibTeX RDF	automatically defined functions (adfs), cartesian genetic programming (cgp), embedded cartesian genetic programming (ecgp), crossover operator, module acquisition
14	Túlio Cicero Salvaro de Souza, Jean Everson Martina, Ricardo Felipe Custódio	Audit and backup procedures for hardware security modules.	IDtrust	2008	DBLP DOI BibTeX RDF	PKI ceremony, embedded cryptographic hardware, hardware security module, key life-cycle, key management, public key infrastructure
14	Wenyuan Li 0005, Ying Liu 0007, Hung-Chung Huang, Yanxiong Peng, Yongjing Lin, Wee Keong Ng, Kok-Leong Ong	Dynamical Systems for Discovering Protein Complexes and Functional Modules from Biological Networks.	IEEE ACM Trans. Comput. Biol. Bioinform.	2007	DBLP DOI BibTeX RDF	bioinformatics databases, evolutionary computing, Graph algorithms, neural nets
14	Michael Baake, Peter A. B. Pleasants, Ulf Rehmann	Coincidence Site Modules in 3-Space.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
14	Jingang Yi, Shengwei Ding, Dezhen Song, Mike Tao Zhang	Scheduling Analysis of Cluster Tools with Buffer/Process Modules.	ICRA	2007	DBLP DOI BibTeX RDF
14	Vincenzo Rana, Chiara Sandionigi, Marco D. Santambrogio, Donatella Sciuto	An adaptive genetic algorithm for dynamically reconfigurable modules allocation.	VLSI-SoC	2007	DBLP DOI BibTeX RDF
14	Hirosato Seki, Hiroaki Ishii, Masaharu Mizumoto	On the Property of Single Input Rule Modules Connected Type Fuzzy Reasoning Method.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
14	Hrushikesha Mohanty, Jitesh Mulchandani, Deepak Chenthati, R. K. Shyamasundar	Modeling Web Services with FSM Modules.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
14	David J. Lutz	Federation Payments using SAML Tokens with Trusted Platform Modules.	ISCC	2007	DBLP DOI BibTeX RDF
14	Daniel Rodríguez 0001, Roberto Ruiz, Juan Jose Cuadrado-Gallego, Jesús S. Aguilar-Ruiz, Miguel Garre	Attribute Selection in Software Engineering Datasets for Detecting Fault Modules.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF
14	Daniel Rodríguez 0001, Roberto Ruiz, Juan Jose Cuadrado-Gallego, Jesús S. Aguilar-Ruiz	Detecting Fault Modules Applying Feature Selection to Classifiers.	IRI	2007	DBLP DOI BibTeX RDF
14	Rémy Haemmerlé, François Fages, Sylvain Soliman	Closures and Modules Within Linear Logic Concurrent Constraint Programming.	FSTTCS	2007	DBLP DOI BibTeX RDF
14	Hui-Ya Li, Yao-Jung Yeh, Wen-Jyi Hwang	Using Wavelet Transform and Partial Distance Search to Implement k NN Classifier on FPGA with Multiple Modules.	ICIAR	2007	DBLP DOI BibTeX RDF	Partial Distance Search, Nonparametric Classification, Pattern Recognition, FPGA Implementation, kNN Classifier
14	Keith A. Kearnes	Quasivarieties of Modules Over Path Algebras of Quivers.	Stud Logica	2006	DBLP DOI BibTeX RDF	quiver, path algebra, Quasivariety, distributive lattice
14	Hafizur Rahaman 0001, Debesh K. Das, Bhargab B. Bhattacharya	Implementing Symmetric Functions with Hierarchical Modules for Stuck-At and Path-Delay Fault Testability.	J. Electron. Test.	2006	DBLP DOI BibTeX RDF	universal tests, stuck-at fault, path-delay fault, synthesis-for-testability, unate function, symmetric boolean function
14	Jianhua Ruan, Weixiong Zhang	Identification and Evaluation of Functional Modules in Gene Co-expression Networks.	Systems Biology and Computational Proteomics	2006	DBLP DOI BibTeX RDF	co-expression networks, clustering, microarray, community identification
14	Sándor P. Fekete, Jan van der Veen, Mateusz Majer, Jürgen Teich	Minimizing Communication Cost for Reconfigurable Slot Modules.	FPL	2006	DBLP DOI BibTeX RDF
14	Brendan Morris, Mohan M. Trivedi	Improved Vehicle Classification in Long Traffic Video by Cooperating Tracker and Classifier Modules.	AVSS	2006	DBLP DOI BibTeX RDF
14	Scott Owens, Matthew Flatt	From structures and functors to modules and units.	ICFP	2006	DBLP DOI BibTeX RDF	component, structure, module, unit, functor
14	Ming-Hsien Tsai 0001, Bow-Yaw Wang	Modular Formalization of Reactive Modules in COQ.	ASIAN	2006	DBLP DOI BibTeX RDF
14	Akira Wakita, Midori Shibutani	Mosaic textile: wearable ambient display with non-emissive color-changing modules.	Advances in Computer Entertainment Technology	2006	DBLP DOI BibTeX RDF	liquid crystal ink, aesthetics, ambient displays, clothing, textiles
14	Matthieu Manceny, Franck Delaplace	Elementary Modules in Games Networks.	International Conference on Computational Science (3)	2006	DBLP DOI BibTeX RDF
14	Hugo de Garis	Hardware Accelerators for Evolving Building Block Modules for Artificial Brains.	AHS	2006	DBLP DOI BibTeX RDF
14	Swee M. Mok, Chi-haur Wu	Automation Integration with UPnP Modules.	DELTA	2006	DBLP DOI BibTeX RDF
14	Dharmendra Saraswat, Ramachandra Achar, Michel S. Nakhla	Circuit Compatible Macromodeling of High-Speed VLSI Modules Characterized by Scattering Parameters.	VLSI Design	2006	DBLP DOI BibTeX RDF
14	Ramesh C. Tekumalla	An On-Chip Diagnosis Methodology for Embedded Cores with Replaceable Modules.	VLSI Design	2006	DBLP DOI BibTeX RDF
14	Wei Hsu, Chiou-Shann Fuh	A New Sampling Method of Auto Focus for Voice Coil Motor in Camera Modules.	PSIVT	2006	DBLP DOI BibTeX RDF	Auto focusing, focus value, phone camera, voice coil motor
14	Gavin J. Seal	Free Modules over Cartesian Closed Topological Categories.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	Cartesian closed topological category, free module object
14	Christophe Bobda, Ali Ahmadinia	Dynamic Interconnection of Reconfigurable Modules on Reconfigurable Devices.	IEEE Des. Test Comput.	2005	DBLP DOI BibTeX RDF	Dynamic Interconnection, Network on Chip, Reconfigurable Hardware
14	Vinod Ganapathy, Trent Jaeger, Somesh Jha	Automatic placement of authorization hooks in the linux security modules framework.	CCS	2005	DBLP DOI BibTeX RDF	LSM, hook placement, static analysis, SELinux
14	Thomas Eisenbach, Bärbel Mertsching, Nikolaus Voß, Frank Schmidtmeier	Optimization of Modules for Digital Audio Processing.	PATMOS	2005	DBLP DOI BibTeX RDF
14	Chi Huang, Xinyu Wu, Jinmei Lai, Chengshou Sun, Gang Li	A design of high speed double precision floating point adder using macro modules.	ASP-DAC	2005	DBLP DOI BibTeX RDF
14	Michael A. Arbib	Modules, Brains and Schemas.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
14	Jérôme Leboeuf Pasquier	Growing Functional Modules, a Prospective Paradigm for Epigenetic Artificial Intelligence.	ISSADS	2005	DBLP DOI BibTeX RDF
14	Jonathan Aldrich	Open Modules: Modular Reasoning About Advice.	ECOOP	2005	DBLP DOI BibTeX RDF
14	Jing Li, Bao-Liang Lu, Michinori Ichikawa	An Algorithm for Pruning Redundant Modules in Min-Max Modular Network with GZC Function.	ICNC (1)	2005	DBLP DOI BibTeX RDF
14	Gildas Avoine, Felix C. Gärtner, Rachid Guerraoui, Marko Vukolic	Gracefully Degrading Fair Exchange with Security Modules.	EDCC	2005	DBLP DOI BibTeX RDF
14	Theo A. Knijnenburg, Marcel J. T. Reinders, Jean-Marc Daran, Pascale A. S. Daran-Lapujade, Lodewyk F. A. Wessels	Relating transcription factors, modules of genes and cultivation conditions in Saccharomyces cerevisiae.	CSB Workshops	2005	DBLP DOI BibTeX RDF
14	Dima Grigoriev, Fritz Schwarz	Generalized Loewy-decomposition of d-modules.	ISSAC	2005	DBLP DOI BibTeX RDF	Janet basis, Loewy decomposition, d-module
14	Trent Jaeger, Antony Edwards, Xiaolan Zhang 0001	Consistency analysis of authorization hook placement in the Linux security modules framework.	ACM Trans. Inf. Syst. Secur.	2004	DBLP DOI BibTeX RDF	authorization mechanisms, role-based access control, access control models
14	Maria Elissa E. Blado, Stephanie G. Carr	PACS Training Modules at Texas Children's Hospital.	J. Digit. Imaging	2004	DBLP DOI BibTeX RDF	PACS training, PACS downtime procedures, PACS service, PACS administration, PACS management, PACS
14	Ranjesh G. Jaganathan, Matthew Simpson, Ron Sass	Automatic discovery, selection, and specialization of modules in RCADE.	FPGA	2004	DBLP DOI BibTeX RDF
14	Chun-Su Park, Hye-Soo Kim, Sang-Hee Park, Kyunghun Jang, Sung-Jea Ko	Fast Handoff Algorithm Using Access Points with Dual RF Modules.	ECUMN	2004	DBLP DOI BibTeX RDF
14	Nira Herrmann, Jeffrey L. Popyack, Bruce W. Char, Paul Zoski	Assessment of a course redesign: introductory computer programming using online modules.	SIGCSE	2004	DBLP DOI BibTeX RDF	hybrid courses, online course work, pedagogy, assessment, CS1, cooperative learning, course management systems
14	Sang-Hee Park, Hye-Soo Kim, Chun-Su Park, Kyunghun Jang, Sung-Jea Ko	QoS Provision Using Dual RF Modules in Wireless LAN.	EUSAI	2004	DBLP DOI BibTeX RDF
14	Adam Wagner, Hyun-Wook Jin, Dhabaleswar K. Panda 0001, Rolf Riesen	NIC-based offload of dynamic user-defined modules for Myrinet clusters.	CLUSTER	2004	DBLP DOI BibTeX RDF
14	L.-P. Lafrance, Yvon Savaria	A Framework for Implementing Reusable Digital Signal Processing Modules.	IWSOC	2004	DBLP DOI BibTeX RDF
14	A. R. Grandjeán, M. P. López	H2q(T, G, delta) and q-perfect Crossed Modules.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	perfect crossed module, universal central extension, non-abelian tensor product, homology modulo q
14	Teng-Sheng Moh, Tsu-Shuan Chang	Comments on "Handling soft modules in general nonslicing floorplan using Lagrangian relaxation".	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
14	Thorsten Ehm, Bernhard Möller, Georg Struth	Kleene Modules.	RelMiCS	2003	DBLP DOI BibTeX RDF
14	Vijayshankar Raman, Amol Deshpande, Joseph M. Hellerstein	Using State Modules for Adaptive Query Processing.	ICDE	2003	DBLP DOI BibTeX RDF
14	Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca	Mixin Modules and Computational Effects.	ICALP	2003	DBLP DOI BibTeX RDF
14	Hafizur Rahaman 0001, Debesh K. Das, Bhargab B. Bhattacharya	Mapping Symmetric Functions to Hierarchical Modules for Path-Delay Fault Testability.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
14	Jacek Chrzaszcz	Modules in Coq Are and Will Be Correct.	TYPES	2003	DBLP DOI BibTeX RDF
14	Matthew Moe, Herman Schmit	Floorplanning of pipelined array modules using sequence pairs.	ISPD	2003	DBLP DOI BibTeX RDF	pipelined array, floorplan, sequence pair
14	Phani S. Mukkamala, Jeffrey S. Smith, Jorge F. Valenzuela	Neutral information structure for manufacturing simulations: designing reusable simulation modules for electronics manufacturing systems.	WSC	2003	DBLP DOI BibTeX RDF
14	David Budgen, James E. Tomayko	Norm Gibbs and His Contribution to Software Engineering Education Through the SEI Curriculum Modules.	CSEE&T	2003	DBLP DOI BibTeX RDF