Search results for "methodology"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Róbert Lovas, Vaidy S. Sunderam	Extension of Macrostep Debugging Methodology Towards Metacomputing Applications.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
11	Luis M. Laita, G. González-Páez, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, Laura Laita	A Methodology for Constructing Expert Systems for Medical Diagnosis.	ISMDA	2001	DBLP DOI BibTeX RDF
11	Lukai Cai, Daniel Gajski, Mike Olivarez	Introduction of system level architecture exploration using the SpecC methodology.	ISCAS (5)	2001	DBLP DOI BibTeX RDF
11	Toshihiko Yamakami	Unique Identifier Tracking Analysis: A Methodology to Capture Wireless Internet User Behaviors.	ICOIN	2001	DBLP DOI BibTeX RDF
11	Cristiana Bolchini, Fabio Salice	A Software Methodology for Detecting Hardware Faults in VLIW Data Paths.	DFT	2001	DBLP DOI BibTeX RDF	Software code scheduling, VLIW processors, Hardware fault detection
11	Salvatore Pontarelli, Gian Carlo Cardarilli, A. Malvoni, Marco Ottavi, Marco Re, Adelio Salsano	System-on-Chip Oriented Fault-Tolerant Sequential Systems Implementation Methodology.	DFT	2001	DBLP DOI BibTeX RDF	FPSLIC, fault recover, fault tolerance, FPGA, System On Chip, reconfiguration, fault detection
11	Chih-Yuan Chen, Shing-Wu Tung	ELITE Design Methodology of Foundation IP for Improving Synthesis Quality.	ISQED	2001	DBLP DOI BibTeX RDF
11	Nikos Manouselis, Nikolaos F. Matsatsinis	Introducing a Multi-agent, Multi-criteria Methodology for Modeling Electronic Consumer's Behavior: The Case of Internet Radio.	CIA	2001	DBLP DOI BibTeX RDF
11	Shushma Patel, Julie Kirk, Dilip Patel	A Methodology for Migrating a Client/Server Application to an Intranet.	TOOLS (39)	2001	DBLP DOI BibTeX RDF
11	Jaime Solano-Soto, Luis Enrique Sucar	A Methodology for Reliable Systems Design.	IEA/AIE	2001	DBLP DOI BibTeX RDF
11	Charles Sim, Wan Sing Ng, Ming Yeong Teo, Yong-Chong Loh, Tseng-Tsai Yeo	Image-Guided Manipulator Compliant Surgical Planning Methodology for Robotic Skull-Base Surgery.	MIAR	2001	DBLP DOI BibTeX RDF	Skull-Base Drilling, Image Guided, Voronoi Map, Robotics, Surgical Navigation
11	Scott B. Baden, Stephen J. Fink	A Programming Methodology for Dual-Tier Multicomputers.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Dual-tier parallel computers, KeLP, block-structured scientific applications, scientific application requirements, C++ framework, SMP clusters, hierarchical parallelism
11	Pao-Ann Hsiung	CMAPS: a cosynthesis methodology for application-oriented parallel systems.	ACM Trans. Design Autom. Electr. Syst.	2000	DBLP DOI BibTeX RDF	application-oriented general-purpose multiprocessors, hardware-software modeling and cosynthesis, requirements analysis
11	Ahmad Fuad Rezaur Rahman, Michael C. Fairhurst	Multiple expert classification: a new methodology for parallel decision fusion.	Int. J. Document Anal. Recognit.	2000	DBLP DOI BibTeX RDF	Multiple expert configurations, Hybrid framework, Character recognition, Decision fusion
11	Silvia Acid, Luis M. de Campos	Learning Right Sized Belief Networks by Means of a Hybrid Methodology.	PKDD	2000	DBLP DOI BibTeX RDF
11	Leandro Buss Becker, Carlos Eduardo Pereira, Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira 0001	MOSYS A Methodology for Automatic Object Identification from System Specification.	ISORC	2000	DBLP DOI BibTeX RDF
11	Rolf Hennicker, Nora Koch	A UML-based Methodology for Hypermedia Design.	UML	2000	DBLP DOI BibTeX RDF	Systematic Development, Unified Modeling Language, Web Engineering, Design Method, UML Extension, Hypermedia System
11	Michelle Chabrol, David Sarramia	Object Oriented Methodology based on UML for Urban Traffic System Modeling.	UML	2000	DBLP DOI BibTeX RDF
11	Eduardo J. Peralías, Antonio J. Acosta 0001, Adoración Rueda, José L. Huertas	A Vhdl-Based Methodology for Design and Verification of Pipeline A/D Converters.	DATE	2000	DBLP DOI BibTeX RDF
11	Elizabeth Suet Hing Tse-Au, Patricia Morreale	End-to-end QoS measurement: analytic methodology of application response time vs. tunable latency in IP networks.	NOMS	2000	DBLP DOI BibTeX RDF
11	Abeer El-Korany 0001, Ahmed A. Rafea, Hoda Baraka, Saad Eid	A Structured Testing Methodology for Knowledge-Based Systems.	DEXA	2000	DBLP DOI BibTeX RDF
11	Teresa Barata, Pedro Pina, Isabel Granado	Segmenting at Higher Scales to Classify at Lower Scales. A Mathematical Morphology Based Methodology Applied to Forest Cover Remote Sensing Images.	ICPR	2000	DBLP DOI BibTeX RDF
11	Jin-Ho Kim, Kye Kyung Kim, Christine P. Nadal, Ching Y. Suen	A Methodology of Combining HMM and MLP Classifiers for Cursive Word Recognition.	ICPR	2000	DBLP DOI BibTeX RDF
11	Giancarlo Fortino, Libero Nigro	A Methodology Centered on Modularization of QoS Constraints for the Development and Performance Evaluation of Multimedia Systems.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF	Multimedia modeling and prototyping, QoSsynchronizers, Actors, RTP
11	Benjamin Becker, George J. Cokkinides, Michael Sechrest	Field, Circuit, and Visualization Based Simulation Methodology for Passive Electronic Components.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF
11	Arvind Mehta	Smart modeling: smart modeling - basic methodology and advanced tools.	WSC	2000	DBLP DOI BibTeX RDF
11	Randall S. Janka, Linda M. Wills	A Novel Specification and Design Methodology of Embedded Multiprocessor Signal Processing Systems Using High-Performance Middleware.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
11	Fabrizio Petrini, Wu-chun Feng	Buffered Coscheduling: A New Methodology for Multitasking Parallel Jobs on Distributed Systems.	IPDPS	2000	DBLP DOI BibTeX RDF
11	Kamal Rajkanan	Yield Analysis Methodology for Low Defectivity Wafer Fabs.	MTDT	2000	DBLP DOI BibTeX RDF
11	Joachim Gerlach, Wolfgang Rosenstiel	A Methodology and Tool for Automated Transformational High-Level Design Space Exploration.	ICCD	2000	DBLP DOI BibTeX RDF
11	Karine Altisen, Gregor Gößler, Joseph Sifakis	A Methodology for the Construction of Scheduled Systems.	FTRTFT	2000	DBLP DOI BibTeX RDF
11	Antonio Ballarin, Simona Gervasi, Fabrizio Giancarli, Francesco Cecere	A Categorization Methodology for the Analysis of the Mortality Rate in Psychiatric Hospitals.	IJCNN (3)	2000	DBLP DOI BibTeX RDF
11	Chong H. Lee, Marek A. Perkowski, Douglas V. Hall, David S. Jun	Self-Repairable EPLDs: Design, Self-Repair, and Evaluation Methodology.	Evolvable Hardware	2000	DBLP DOI BibTeX RDF
11	Sabine Boufenara, Zizette Boufriche-Boufaïda, Mahmoud Boufaïda, Denis Poitrenaud	Multimedia Information Systems: Towards a Design Methodology Based on Spatio-Temporal Relations, Petri Nets, and ECA Rules.	ADVIS	2000	DBLP DOI BibTeX RDF
11	Carlo Guardiani, Sharad Saxena, Patrick McNamara, Phillip Schumaker, Dale Coder	An asymptotically constant, linearly bounded methodology for the statistical simulation of analog circuits including component mismatch effects.	DAC	2000	DBLP DOI BibTeX RDF	SPICE
11	Gerd Vandersteen, Piet Wambacq, Yves Rolain, Petr Dobrovolný, Stéphane Donnay, Marc Engels, Ivo Bolsens	A methodology for efficient high-level dataflow simulation of mixed-signal front-ends of digital telecom transceivers.	DAC	2000	DBLP DOI BibTeX RDF
11	Cindy Eisner, Irit Shitsevalov, Russ Hoover, Wayne G. Nation, Kyle L. Nelson, Ken Valk	A methodology for formal design of hardware control with application to cache coherence protocols.	DAC	2000	DBLP DOI BibTeX RDF
11	Miodrag Potkonjak, Wayne H. Wolf	A methodology and algorithms for the design of hard real-time multitasking ASICs.	ACM Trans. Design Autom. Electr. Syst.	1999	DBLP DOI BibTeX RDF
11	Lee Melatti, Barry Blancha	Testing Methodology for FireWire.	IEEE Des. Test Comput.	1999	DBLP DOI BibTeX RDF
11	Mario Reyes de los Mozos, David Puiggrós, Albert Calderón	Artificial Neural Network-Based Diagnostic System Methodology.	IWANN (2)	1999	DBLP DOI BibTeX RDF
11	Juzhen Dong, Ning Zhong 0001, Setsuo Ohsuga	Probabilistic Rough Induction: The GDT-RS Methodology and Algorithms.	ISMIS	1999	DBLP DOI BibTeX RDF
11	Alexander Seitz	A Case-Based Methodology for Planning Individualized Case Oriented Tutoring.	ICCBR	1999	DBLP DOI BibTeX RDF
11	Jürgen Haase	Design Methodology for IP Providers.	DATE	1999	DBLP DOI BibTeX RDF
11	Laurent Fournier, Yaron Arbetman, Moshe Levinger	Functional Verification Methodology for Microprocessors Using the Genesys Test-Program Generator-Application to the x86 Microprocessors Family.	DATE	1999	DBLP DOI BibTeX RDF
11	Xin He, Ming-Yang Kao, Hsueh-I Lu	A Fast General Methodology for Information - Theoretically Optimal Encodings of Graphs.	ESA	1999	DBLP DOI BibTeX RDF
11	Macario Polo, Mario Piattini, Francisco Ruiz 0001, Coral Calero	MANTEMA: A Complete Rigorous Methodology for Supporting Maintenance Based On The ISO/IEC 12207 Standard.	CSMR	1999	DBLP DOI BibTeX RDF
11	Hsing-Chung Liang, Chung-Len Lee	An Effective Methodology for Mixed Scan and Reset Design Based on Test Generation and Structure of Sequential Circuits.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF
11	Kjell Stordahl, Nils Kristian Elnegaard, Leif Aarthun Ims, Borgar Tørre Olsen	Risk Methodology for Multimedia Projects Assessments.	ECMAST	1999	DBLP DOI BibTeX RDF
11	Luca P. Carloni, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli	A methodology for correct-by-construction latency insensitive design.	ICCAD	1999	DBLP DOI BibTeX RDF
11	K. C. Chang 0001, C. A. Lomasney	Obsolete integrated circuit replacement methodology using advanced electronic design automation technology.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
11	Ken W. Collier, Donald Sautter, Curt Marjaniemi, Bernard Carey	A Methodology for Evaluating and Selecting Data Mining Software.	HICSS	1999	DBLP DOI BibTeX RDF
11	K. Suzanne Barber, Thomas J. Graser, Stephen R. Jernigan, Brian J. McGiverin, John Silva	Application of the SEPA Methodology and Tool Suite to the National Cancer Institute.	HICSS	1999	DBLP DOI BibTeX RDF
11	Robert L. Ewing	Blending Symbolic Matrix and Dimensional Numerical Simulation Methodology for Mechatronics Systems.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF	simulation, spice, symbolic analysis, mechatronics, dimensional analysis
11	Yiorgos Makris, Alex Orailoglu	A Module Diagnosis and Design-for-Debug Methodology Based on Hierarchical Test Paths.	DFT	1999	DBLP DOI BibTeX RDF
11	N. S. Sundar, S. Jayanthi, P. Sadayappan, Miguel Visbal	An Incremental Methodology for Parallelizing Legacy Stencil Codes on Message-Passing Computers.	ICPP	1999	DBLP DOI BibTeX RDF	Code parallelization, message passing, computational fluid dynamics
11	Jason Leigh, Andrew E. Johnson 0001, Thomas A. DeFanti, Stuart Bailey, Robert L. Grossman	A Methodology for Supporting Collaborative Exploratory Analysis of Massive Data Sets in Tele-Immersive Environments.	HPDC	1999	DBLP DOI BibTeX RDF	collaborative virtual reality, data mining, tele-immersion
11	Avinash K. Gautam, Jagdish C. Rao, Rohit Rathi, H. Udayakumar	A Design-in Methodology to Ensure First Time Success of Complex Digital Signal Processors.	VLSI Design	1999	DBLP DOI BibTeX RDF
11	Mel Ó Cinnéide, Paddy Nixon	A Methodology for the Automated Introduction of Design Patterns.	ICSM	1999	DBLP DOI BibTeX RDF
11	Fuchun Joseph Lin, Hong Liu, Abhijit Ghosh	A Methodology for Feature Interaction Detection in the AIN 0.1 Framework.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	feature specification and modeling, feature interactions, Intelligent networks, telecommunication services
11	Samvel K. Shoukourian	A Unified Design Methodology for Offline and Online Testing.	IEEE Des. Test Comput.	1998	DBLP DOI BibTeX RDF
11	Mariela Curiel, Ramón Puigjaner	A Measurement Methodology to Calibrate Analytical Models including Operating System Overhead.	MASCOTS	1998	DBLP DOI BibTeX RDF
11	Atsushi Takahara, Toshiaki Miyazaki, Takahiro Murooka, Masaru Katayama, Kazuhiro Hayashi, Akihiro Tsutsui, Takaki Ichimori, Ken-nosuke Fukami	More Wires and Fewer LUTs: A Design Methodology for FPGAs.	FPGA	1998	DBLP DOI BibTeX RDF
11	Bruce C. Kim, David C. Keezer, Abhijit Chatterjee	A high throughput test methodology for MCM substrates.	ITC	1998	DBLP DOI BibTeX RDF
11	Marc Born, Andreas Hoffmann 0001	An Object-Oriented Design Methodology for Distributed Services.	TOOLS (28)	1998	DBLP DOI BibTeX RDF
11	Ralph Bergmann, Sean Breen, Emmanuelle Fayol, Mehmet H. Göker, Michel Manago, Sascha Schmitt, Jürgen Schumacher, Armin Stahl, Stefan Wess, Wolfgang Wilke	Collecting Experience on the Systematic Development of CBR Applications Using the INRECA Methodology.	EWCBR	1998	DBLP DOI BibTeX RDF
11	Dante Baldan, Baudouin Le Charlier, Christophe Leclère, Isabelle Pollet	A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury.	LOPSTR	1998	DBLP DOI BibTeX RDF
11	Michael Orshansky, James C. Chen, Chenming Hu	A Statistical Performance Simulation Methodology for VLSI Circuits.	DAC	1998	DBLP DOI BibTeX RDF	migration, timing optimazation, custom sizing
11	Kimiyoshi Usami, Mutsunori Igarashi, Takashi Ishikawa, Masahiro Kanazawa, Masafumi Takahashi, Mototsugu Hamada, Hideho Arakida, Toshihiro Terazawa, Tadahiro Kuroda	Design Methodology of Ultra Low-Power MPEG4 Codec Core Exploiting Voltage Scaling Techniques.	DAC	1998	DBLP DOI BibTeX RDF	low power, synthesis, placement, flip-flops, voltage scaling, codec, MPEG4, level converters, design automatian
11	Thomas M. Storey, Bruce McWilliam	A Test Methodology for High Performance MCMs.	J. Electron. Test.	1997	DBLP DOI BibTeX RDF	LOCST, AC BIST, delay testing, boundary scan, LSSD, MCM testing
11	Keith M. Carrig, Albert M. Chu, Frank D. Ferraiolo, John G. Petrovick, P. Andrew Scott, Richard J. Weiss	A Clock Methodology for High-Performance Microprocessors.	J. VLSI Signal Process.	1997	DBLP DOI BibTeX RDF
11	Hany H. Ammar, Tooraj Nikzadeh, Joanne Bechta Dugan	A Methodology For Risk Assessment Of Functional Specification Of Software Systems Using Colored Petri Nets.	IEEE METRICS	1997	DBLP DOI BibTeX RDF	software systems analysis, complex real time software systems, analysis/design phase, heuristic risk assessment technique, severity measures, heuristic risk factor, software functional specifications, dynamic complexity measures, concurrency complexity, severity analysis, failure mode and effect analysis, software metrics, software components, risk assessment, colored Petri nets, functional specification, complexity metrics, large scale software system
11	Subhrajit Bhattacharya, Sujit Dey, Bhaskar Sengupta	An RTL methodology to enable low overhead combinational testing.	ED&TC	1997	DBLP DOI BibTeX RDF
11	Sucheta Chodnekar, Viji Srinivasan, Aniruddha S. Vaidya, Anand Sivasubramaniam, Chita R. Das	Towards a Communication Characterization Methodology for Parallel Applications.	HPCA	1997	DBLP DOI BibTeX RDF	Communication characterization, Performance Evaluation, Interconnection networks, Parallel applications, Execution driven simulation
11	Gaël Sannier, Nadia Magnenat-Thalmann	A User-Friendly Texture-Fitting Methodology for Virtual Humans.	Computer Graphics International	1997	DBLP DOI BibTeX RDF
11	Jason Cong, Lei He 0001, Andrew B. Kahng, David Noice, Nagesh Shirali, Steve H.-C. Yen	Analysis and Justification of a Simple, Practical 2 1/2-D Capacitance Extraction Methodology.	DAC	1997	DBLP DOI BibTeX RDF
11	Joon-Seo Yim, Yoon-Ho Hwang, Chang-Jae Park, Hoon Choi, Woo-Seung Yang, Hun-Seung Oh, In-Cheol Park, Chong-Min Kyung	A C-Based RTL Design Verification Methodology for Complex Microprocessor.	DAC	1997	DBLP DOI BibTeX RDF	C
11	Graham J. Williams, Zhexue Huang	Mining the Knowledge Mine: The Hot Spots Methodology for Mining Large Real World Databases.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF
11	Kayhan Küçükçakar, Alice C. Parker	A methodology and design tools to support system-level VLSI design.	IEEE Trans. Very Large Scale Integr. Syst.	1995	DBLP DOI BibTeX RDF
11	Brian S. Cherkauer, Eby G. Friedman	A unified design methodology for CMOS tapered buffers.	IEEE Trans. Very Large Scale Integr. Syst.	1995	DBLP DOI BibTeX RDF
11	Manoj Sachdev	A realistic defect oriented testability methodology for analog circuits.	J. Electron. Test.	1995	DBLP DOI BibTeX RDF	inductive fault analysis, fault model, faults, defects, fault dictionary
11	Chih-Chang Lin, Mike Tien-Chien Lee, Malgorzata Marek-Sadowska, Kuang-Chien Chen	Cost-free scan: a low-overhead scan path design methodology.	ICCAD	1995	DBLP DOI BibTeX RDF	Testing, DFT, Scan design
11	Dong-June Lee, Seong-Whan Lee	A new methodology for gray-scale character segmentation and recognition.	ICDAR	1995	DBLP DOI BibTeX RDF	gray-scale character segmentation, topographic features, nonlinear character segmentation path, multistage graph search algorithm, recognition based segmentation method, image segmentation, optical character recognition, character recognition, gray-scale images, projection profiles
11	Guus Schreiber, Bob J. Wielinga, Robert de Hoog, Hans Akkermans, Walter Van de Velde	CommonKADS: A Comprehensive Methodology for KBS Development.	IEEE Expert	1994	DBLP DOI BibTeX RDF
11	Arun P. Gupta, Paul C. Grabow	Onion: A Methodology for Developing Data-Dominant Systems from Building Blocks.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
11	Henk Jonkers	Queueing Models of Parallel Applications: The Glamis Methodology.	Computer Performance Evaluation	1994	DBLP DOI BibTeX RDF
11	Sen-Pin Lin, Charles Njinda, Melvin A. Breuer	Generating a family of testable designs using the BILBO methodology.	J. Electron. Test.	1993	DBLP DOI BibTeX RDF	BILBO design system, built-in self-test, test scheduling, synthesis for testability
11	Mary Jean Harrold, Rajiv Gupta 0001, Mary Lou Soffa	A Methodology for Controlling the Size of a Test Suite.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	software engineering, software maintenance, regression testing, test suite reduction, hitting set
11	Donald E. Thomas, Jay K. Adams, Herman Schmit	A Model and Methodology for Hardware-Software Codesign.	IEEE Des. Test Comput.	1993	DBLP DOI BibTeX RDF
11	John Yen, Jonathan Lee 0001	A Task-Based Methodology for Specifying Expert Systems.	IEEE Expert	1993	DBLP DOI BibTeX RDF
11	Sofiène Tahar, Ramayya Kumar	Implementing a Methodology for Formally Verifying RISC Processors in HOL.	HUG	1993	DBLP DOI BibTeX RDF
11	Marta Franová, Yves Kodratoff, Martine Gross	Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving?	ISMIS	1993	DBLP DOI BibTeX RDF
11	J. P. Klut, Jan H. P. Eloff	MethoDex: A Methodology for Expert Systems Development.	ISMIS	1993	DBLP DOI BibTeX RDF
11	Weiwei Mao, Ravi K. Gulati	Quietest: A methodology for selecting IDDQ test vectors.	J. Electron. Test.	1992	DBLP DOI BibTeX RDF	weak faults, I DDQ testing, Leakage faults
11	Thierry Nodenot	Educational Software Engineering: A Methodology Based on Cooperative Developments.	ICCAL	1992	DBLP DOI BibTeX RDF
11	K. K. Low, Stephen W. Director	A new methodology for the design centering of IC fabrication processes.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
11	Vincenzo Piuri	Continuous Learning: A Design Methodology for Fault-Tolerant Neural Networks.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
11	Michael L. Talbert, David A. Umphress	Object-Oriented Text Decomposition: A Methodology for Creating CAI Using Hypertext.	ICCAL	1989	DBLP DOI BibTeX RDF
11	Rainer Weber	Where Can I Get Gas Round Here? - An Application of a Design Methodology for Distributed Systems.	Algebraic Methods	1989	DBLP DOI BibTeX RDF
11	Kathryn C. Kinsley, Charles E. Hughes	Evaluating Database Update Schemes: A Methodology and Its Applications to Distributive Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	database update schemes, performance evaluation, distributive systems, performance analysis, relational databases, distributed databases, distributed databases, concurrency control, queueing theory, queueing theory, database theory, relational model
11	Veda C. Storey, Robert C. Goldstein	A Methodology for Creating User Views in Database Design.	ACM Trans. Database Syst.	1988	DBLP DOI BibTeX RDF