Search results for "methodology"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Luciano Lenzini, Linda Martorini, Enzo Mingozzi, Giovanni Stea	A Methodology for Deriving Per-Flow End-to-End Delay Bounds in Sink-Tree DiffServ Domains with FIFO Multiplexing.	ISCIS	2004	DBLP DOI BibTeX RDF
11	Jeng-Liang Tsai, Dong Hyun Baik, Charlie Chung-Ping Chen, Kewal K. Saluja	A yield improvement methodology using pre- and post-silicon statistical clock scheduling.	ICCAD	2004	DBLP DOI BibTeX RDF
11	Nikiforos Karamanis, Chris Mellish, Jon Oberlander, Massimo Poesio	A Corpus-Based Methodology for Evaluating Metrics of Coherence for Text Structuring.	INLG	2004	DBLP DOI BibTeX RDF
11	Dirk Koch, Jürgen Teich	Platform-independent methodology for partial reconfiguration.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	bitstream extraction, configuration compression, partial reconfiguration
11	Fernando Alonso, Sonia Frutos, Loïc Martínez, César Montes	Towards a Natural Agent Paradigm Development Methodology.	MATES	2004	DBLP DOI BibTeX RDF
11	Radu Marculescu, Diana Marculescu, Larry T. Pileggi	Toward an Integrated Design Methodology for Fault-Tolerant, Multiple Clock/Voltage Integrated Systems.	ICCD	2004	DBLP DOI BibTeX RDF
11	George Jie Yuan, Nabil H. Farhat	A compensation-based optimization methodology for gain-boosted opamp.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
11	Hyeonjoon Moon	System Design and Assessment Methodology for Face Recognition Algorithms.	SINOBIOMETRICS	2004	DBLP DOI BibTeX RDF
11	Pere P. Sancho, Carlos Juiz, Ramón Puigjaner	Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event Simulation.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
11	Ana Belén Barragáns-Martínez, José Juan Pazos-Arias	chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications.	ICSE	2004	DBLP DOI BibTeX RDF	Requirements Refinement, Unspecification, Specification Evolution, Multi-Perspective Environment, Viewpoints, Inconsistency
11	Andrzej Rucinski 0002, Artur Skrygulec, Khrystyna Pysareva, Jakub Mocny	Microsystem Development Using the TQM Design Methodology.	DELTA	2004	DBLP DOI BibTeX RDF
11	Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, E. Nesti	A Methodology for the Derivation and Verification of Use Cases for Product Lines.	SPLC	2004	DBLP DOI BibTeX RDF
11	Azeddien M. Sllame	A Model for a Reusable System-on-a-Chip Hardware Component Integrated with Design Exploration Methodology.	IWSOC	2004	DBLP DOI BibTeX RDF
11	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
11	Chong Zhao, Xiaoliang Bai, Sujit Dey	A scalable soft spot analysis methodology for compound noise effects in nano-meter circuits.	DAC	2004	DBLP DOI BibTeX RDF	compound noise effect, nano-meter technology, softness distribution, robustness
11	Anja Feldmann, Nils Kammenhuber, Olaf Maennel, Bruce M. Maggs, Roberto De Prisco, Ravi Sundaram	A methodology for estimating interdomain web traffic demand.	Internet Measurement Conference	2004	DBLP DOI BibTeX RDF	interdomain, traffic demand, web, analysis, estimation, traffic matrix
11	Francisco J. Nogales, Francisco J. Prieto, Antonio J. Conejo	A Decomposition Methodology Applied to the Multi-Area Optimal Power Flow Problem.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF	electric energy systems, multi-area optimal power flow, nonlinear programming, decomposition methods, decentralized coordination
11	Roberto Caracciolo, Alberto Trevisani	Design and Calibration of an Opto-mechanical Appliance for 3D Non-contact Orthopedic Measurements Part II: Calibration Methodology and Experimental Results.	J. Intell. Robotic Syst.	2003	DBLP DOI BibTeX RDF	structured light vision, multistep iterative calibration, 3D scanning
11	Matteo Fischetti, Juan José Salazar González	Partial cell suppression: A new methodology for statistical disclosure control.	Stat. Comput.	2003	DBLP DOI BibTeX RDF	cell suppression, statistical data protection, linear programming, confidentiality, statistical disclosure control
11	Monk-Ping Leong, Philip Heng Wai Leong	A variable-radix digit-serial design methodology and its application to the discrete cosine transform.	IEEE Trans. Very Large Scale Integr. Syst.	2003	DBLP DOI BibTeX RDF
11	Miroslav Cupák, Francky Catthoor, Hugo De Man	Efficient System-Level Functional Verification Methodology for Multimedia Applications.	IEEE Des. Test Comput.	2003	DBLP DOI BibTeX RDF
11	Peter I. Rockett	Performance assessment of feature detection algorithms: a methodology and case study on corner detectors.	IEEE Trans. Image Process.	2003	DBLP DOI BibTeX RDF
11	Christoph Sprenger 0001, Krzysztof Worytkiewicz	A Verification Methodology for Infinite-State Message Passing Systems.	MEMOCODE	2003	DBLP DOI BibTeX RDF
11	Prabhat Mishra 0001, Nikil D. Dutt	A Methodology for Validation of Microprocessors using Equivalence Checking.	MTV	2003	DBLP DOI BibTeX RDF
11	Philippe Mathieu, Jean-Christophe Routier, Yann Secq	Towards a Pragmatic Methodology for Open Multi-agent Systems.	ISMIS	2003	DBLP DOI BibTeX RDF
11	Michael S. McCorquodale, Fadi H. Gebara, Keith L. Kraver, Eric D. Marsman, Robert M. Senger, Richard B. Brown	A Top-Down Microsystems Design Methodology and Associated Challenges .	DATE	2003	DBLP DOI BibTeX RDF
11	Miquel Albiol, José Luis González 0001, Eduard Alarcón	Improved Design Methodology for High-Speed High-Accuracy Current Steering D/A Converters.	DATE	2003	DBLP DOI BibTeX RDF
11	Joshua J. Yi, David J. Lilja, Douglas M. Hawkins	A Statistically Rigorous Approach for Improving Simulation Methodology.	HPCA	2003	DBLP DOI BibTeX RDF
11	Pedram A. Riahi, Zainalabedin Navabi, Fabrizio Lombardi	The VPI-Based Combinational IP Core Module-Based Mixed Level Serial Fault Simulation and Test Generation Methodology.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
11	Steven Weber 0001, Rema Hariharan	A new synthetic web server trace generation methodology.	ISPASS	2003	DBLP DOI BibTeX RDF
11	Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta 0001	A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms.	Euro-Par	2003	DBLP DOI BibTeX RDF
11	Raymond X. Nijssen, Ed P. Huijbregts	A complete design for power methodology and flow for large ASICs.	ISPD	2003	DBLP DOI BibTeX RDF
11	Jia Zhang 0001, Carl K. Chang, Jen-Yao Chung	Mockup-driven Fast-prototyping Methodology for Web Requirements Engineering.	COMPSAC	2003	DBLP DOI BibTeX RDF
11	Tom Johnsten, Robert B. Sweeney, Vijay V. Raghavan 0001	A Methodology for Hiding Knowledge in XML Document Collections.	COMPSAC	2003	DBLP DOI BibTeX RDF
11	Mara Nikolaidou, Dimosthenis Anagnostopoulos	Exploring Web-Based Information System Design: A Discrete-Stage Methodology and the Corresponding Model.	CAiSE	2003	DBLP DOI BibTeX RDF
11	Ahmad Chadi Aljundi, Jean-Luc Dekeyser, M. Tahar Kechadi, Isaac D. Scherson	A Study of an Evaluation Methodology for Unbuffered Multistage Interconnection Networks.	IPDPS	2003	DBLP DOI BibTeX RDF
11	Sylvia L. Osborn, Yan Han, Jun Liu	A methodology for managing roles in legacy systems.	SACMAT	2003	DBLP DOI BibTeX RDF	relational databases, role-based access control
11	Zhihong Ren, Beihong Jin, Jing Li	A New Web Application Development Methodology: Web Service Composition.	WES	2003	DBLP DOI BibTeX RDF
11	Trong-Yen Lee, Pao-Ann Hsiung, I-Mu Wu, Feng-Shi Su	RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology.	RTCSA	2003	DBLP DOI BibTeX RDF
11	Maâmar El-Amine Hamri, Claudia S. Frydman, Lucile Torres	Specifying and Validating Reactive Systems with CommonKADS Methodology.	KES	2003	DBLP DOI BibTeX RDF
11	Reza Lotfi, Mohammad Taherzadeh-Sani, M. Yaser Azizi, Omid Shoaei	A low-power design methodology for high-resolution pipelined analog-to-digital converters.	ISLPED	2003	DBLP DOI BibTeX RDF	low-power design, operational amplifiers, pipelined analog-to-digital converters
11	Hyo-Sig Won, Kyo-Sun Kim, Kwang-Ok Jeong, Ki-Tae Park, Kyu-Myung Choi, Jeong-Taek Kong	An MTCMOS design methodology and its application to mobile computing.	ISLPED	2003	DBLP DOI BibTeX RDF	CPFF, low power, leakage current, CCS, MTCMOS
11	Noriyuki Ito, Hiroaki Komatsu, Yoshiyasu Tanamura, Ryoichi Yamashita, Hiroyuki Sugiyama, Yaroku Sugiyama, Hirofumi Hamamura	A Physical Design Methodology for 1.3GHz SPARC64 Microprocessor.	ICCD	2003	DBLP DOI BibTeX RDF
11	David Yuh Foong Law, Joo Eng Lee-Partridge	Towards a Strategy for Sense-Making of Empirical Knowledge Management Perceptions - The TFL Methodology.	HICSS	2003	DBLP DOI BibTeX RDF
11	Toshiyuki Shibuya, Rajeev Murgai, Tadashi Konno, Kazuhiro Emi, Kaoru Kawamura	PDL: A New Physical Synthesis Methodology.	ISQED	2003	DBLP DOI BibTeX RDF
11	Olav Lysne, Timothy Mark Pinkston, José Duato	A Methodology for Developing Dynamic Network Reconfiguration Processes.	ICPP	2003	DBLP DOI BibTeX RDF	dynamic network reconfiguration, interconnection network architecture, highly-available and highly-dependable network-based systems, Deadlock-free routing
11	Serge Bernard, Mariane Comte, Florence Azaïs, Yves Bertrand, Michel Renovell	A New Methodology For ADC Test Flow Optimization.	ITC	2003	DBLP DOI BibTeX RDF
11	Zhuang Yan, Simon Fong 0001, Meilin Shi	Negotiation Paradigms Based on Knowledge Bead's Methodology.	Web Intelligence	2003	DBLP DOI BibTeX RDF
11	Zhuang Yan, Simon Fong 0001, Meilin Shi	Negotiation Paradigms for E-Commerce Agents using Knowledge Beads Methodology.	CW	2003	DBLP DOI BibTeX RDF
11	Manish Handa, Rajesh Radhakrishnan, Madhubanti Mukherjee, Ranga Vemuri	A Fast Macro Based Compilation Methodology for Partially Reconfigurable FPGA Designs.	VLSI Design	2003	DBLP DOI BibTeX RDF	FPGA, Reconfigurable Computing, Partial Reconfiguration
11	Rodrigo L. Oliveira Pinto, Franco Maloberti	Novel Design Methodology for Short-Channel MOSFET Analog Circuits.	IWSOC	2003	DBLP DOI BibTeX RDF
11	Filipe Barbosa, Lilian Ferrari, Fernando Gil Resende	A Methodology to Analyze Homographs for a Brazilian Portuguese TTS System.	PROPOR	2003	DBLP DOI BibTeX RDF
11	Alan Harbitter, Daniel A. Menascé	A methodology for analyzing the performance of authentication protocols.	ACM Trans. Inf. Syst. Secur.	2002	DBLP DOI BibTeX RDF	mobile computing, Authentication, performance modeling, public key cryptography, proxy servers, Kerberos
11	Peter Oehler, Christoph Grimm 0001, Klaus Waldschmidt	A methodology for system-level synthesis of mixed-signal applications.	IEEE Trans. Very Large Scale Integr. Syst.	2002	DBLP DOI BibTeX RDF
11	Kaushik Gala, David T. Blaauw, Vladimir Zolotov, Pravin M. Vaidya, Anil Joshi	Inductance model and analysis methodology for high-speed on-chip interconnect.	IEEE Trans. Very Large Scale Integr. Syst.	2002	DBLP DOI BibTeX RDF
11	York Sure, Steffen Staab, Rudi Studer	Methodology for Development and Employment of Ontology Based Knowledge Management Applications.	SIGMOD Rec.	2002	DBLP DOI BibTeX RDF	knowledge meta process, ontology, knowledge process
11	Veda C. Storey, Debabrata Dey	A Methodology for Learning Across Application Domains for Database Design Systems.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	database design system, learning, expert system, conceptual modeling, logical design, domain knowledge, common sense reasoning
11	Akhilesh Bajaj, Sudha Ram	SEAM: A State-Entity-Activity-Model for a Well-Defined Workflow Development Methodology.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	relational databases, requirements engineering, process modeling, data modeling, workflow systems, temporal models
11	Amit Chowdhary, Rajesh K. Gupta 0001	A Methodology for Synthesis of Data Path Circuitse.	IEEE Des. Test Comput.	2002	DBLP DOI BibTeX RDF
11	Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos	A Formal Methodology to Specify E-commerce Systems.	ICFEM	2002	DBLP DOI BibTeX RDF	property patterns, model checking, formal verification, electronic commerce, design specification
11	Shashi Kumar, Axel Jantsch, Mikael Millberg, Johnny Öberg, Juha-Pekka Soininen, Martti Forsell, Kari Tiensyrjä, Ahmed Hemani	A Network on Chip Architecture and Design Methodology.	ISVLSI	2002	DBLP DOI BibTeX RDF	System on Chip, IP, Platform based design, On-chip communication
11	Danilo Ardagna, Chiara Francalanci	A cost-oriented methodology for the design of web based IT architectures.	SAC	2002	DBLP DOI BibTeX RDF	IT architectures, web architectures, cost minimization
11	Klaus Buchenrieder, Andreas Pyttel, Alexander Sedlmeier	A Powerful System Design Methodology Combining OCAPI and Handel-C for Concept Engineering.	DATE	2002	DBLP DOI BibTeX RDF
11	David Goren, Michael Zelikson, Tiberiu C. Galambos, Rachel Gordin, Betty Livshitz, Alon Amir, Anatoly Sherman, Israel A. Wagner	An Interconnect-Aware Methodology for Analog and Mixed Signal Design, Based on High Bandwidth (Over 40 Ghz) On-Chip Transmission Line Approach .	DATE	2002	DBLP DOI BibTeX RDF
11	Daniel Riera, Miquel Angel Piera Eroles, Antoni Guasch	PN to CSP Methodology: Improved Bounds.	CCIA	2002	DBLP DOI BibTeX RDF
11	Thomas Villiger, Stephan Oetiker, Frank K. Gürkaynak, Norbert Felber, Hubert Kaeslin, Wolfgang Fichtner	A Functional Test Methodology for Globally-Asynchronous Locally-Synchronous Systems.	ASYNC	2002	DBLP DOI BibTeX RDF
11	Ted Pedersen	A Baseline Methodology for Word Sense Disambiguation.	CICLing	2002	DBLP DOI BibTeX RDF
11	Jason Williams 0008, Georg Michelitsch, Gregor Möhler, Stefan Rapp	A Methodology for Evaluating Multimodality in a Home Entertainment System.	ICMI	2002	DBLP DOI BibTeX RDF
11	Darren T. Drewry, Paul F. Reynolds Jr., William R. Emanuel	Optimization and response surfaces: an optimization-based multi-resolution simulation methodology.	WSC	2002	DBLP DOI BibTeX RDF
11	Tamrat W. Tewoldeberhan, Alexander Verbraeck, Edwin Valentin, Gilles Bardonnet	Software evaluation and selection: an evaluation and selection methodology for discrete-event simulation software.	WSC	2002	DBLP DOI BibTeX RDF
11	Marie-Pierre Gervais	Towards an MDA-Oriented Methodology.	COMPSAC	2002	DBLP DOI BibTeX RDF
11	Rosa M. Carro, Ana M. Breda, Gladys Castillo, António Leslie Bajuelos	A Methodology for Developing Adaptive Educational-Game Environments.	AH	2002	DBLP DOI BibTeX RDF
11	Petru Eles, Zebo Peng, Daniel Karlsson	Formal Verification in a Component-Based Reuse Methodology.	ISSS	2002	DBLP DOI BibTeX RDF	model checking, formal verification, reuse, IP, timed petri-nets
11	Astrit Ademaj	A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection.	EDCC	2002	DBLP DOI BibTeX RDF
11	Yili Tseng, Ronald F. DeMara	Communication Pattern Based Methodology for Performance Analysis of Termination Detection Schemes.	ICPADS	2002	DBLP DOI BibTeX RDF
11	David Morera	COTS Evaluation Using Desmet Methodology & Analytic Hierarchy Process (AHP).	PROFES	2002	DBLP DOI BibTeX RDF
11	Lan-Da Van, Sung-Huang Lee	A generalized methodology for lower-error area-efficient fixed-width multipliers.	ISCAS (1)	2002	DBLP DOI BibTeX RDF
11	Massimo Conti, Paolo Crippa, Simone Orcioni, Marcello Pesare, Claudio Turchetti, Loris Vendrame, Silvia Lucherini	A new methodology for the statistical analysis of VLSI CMOS circuits and its application to flash memories.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
11	S. Cailotto, Alessandro Fin, Franco Fummi	A fault tolerant incremental design methodology.	ISCAS (3)	2002	DBLP DOI BibTeX RDF
11	Cesare Alippi, Andrea Galbusera, Marco Stellini	An application level synthesis methodology for embedded systems.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
11	José Luis Maté, Luis Felipe Paradela, Juan Pazos, Alfonso Rodríguez-Patón, Andrés Silva	MEGICO: An Intelligent Knowledge Management Methodology.	EKAW	2002	DBLP DOI BibTeX RDF
11	Hamidreza Hashempour, Yong-Bin Kim, Nohpill Park	A Test-Vector Generation Methodology for Crosstalk Noise Faults.	DFT	2002	DBLP DOI BibTeX RDF
11	Hung-Kai Chen 0001, Chih-Hu Wang, Chau-Chin Su	A Self Calibrated ADC BIST Methodology.	VTS	2002	DBLP DOI BibTeX RDF
11	José Carlos Sancho, Antonio Robles, José Flich, Pedro López 0001, José Duato	Effective Methodology for Deadlock-Free Minimal Routing in InfiniBand Networks.	ICPP	2002	DBLP DOI BibTeX RDF
11	Oguz Dikenelli, Riza Cenk Erdur	SABPO: A Standards Based and Pattern Oriented Multi-agent Development Methodology.	ESAW	2002	DBLP DOI BibTeX RDF
11	Carole Bernon, Marie-Pierre Gleizes, Sylvain Peyruqueou, Gauthier Picard	ADELFE: A Methodology for Adaptive Multi-agent Systems Engineering.	ESAW	2002	DBLP DOI BibTeX RDF
11	Jean-François Nezan, Olivier Déforges, Mickaël Raulet	Rapid prototyping methodology for multi-DSP TI C6X platforms applied to an Mpeg-2 coding application.	SPAA	2002	DBLP DOI BibTeX RDF	multi-TMS320C6x, real-time, Mpeg-2
11	Luc Séméria, Renu Mehra, Barry M. Pangrle, Arjuna Ekanayake, Andrew Seawright, Daniel Ng	RTL c-based methodology for designing and verifying a multi-threaded processor.	DAC	2002	DBLP DOI BibTeX RDF	formal equivalence, design, verification, RTL, checking, C/C++
11	Fausto Giunchiglia, John Mylopoulos, Anna Perini	The tropos software development methodology: processes, models and diagrams.	AAMAS	2002	DBLP DOI BibTeX RDF	agent-oriented software engineering
11	Dimitris A. Karras, Basil G. Mertzios	A Robust Meaning Extraction Methodology Using Supervised Neural Networks.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF	Meaning Extraction, Supervised Neural Networks
11	Ahmed Guessoum, Rached N. Zantout	A Methodology for a Semi-Automatic Evaluation of the Lexicons of Machine Translation Systems.	Mach. Transl.	2001	DBLP DOI BibTeX RDF	translation quality, evaluation, coverage, Arabic, lexicons
11	Li Chen, Sujit Dey	Software-based self-testing methodology for processor cores.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
11	Song Mao, Tapas Kanungo	Empirical Performance Evaluation Methodology and Its Application to Page Segmentation Algorithms.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	Document page segmentation, paired model, performance evaluation, OCR, performance metric, statistical significance, simplex method, direct search
11	Dietmar Pfahl, Niniek Angkasaputra, Christiane M. Differding, Günther Ruhe	CORONET-Train: A Methodology for Web-Based Collaborative Learning in Software Organisations.	LSO	2001	DBLP DOI BibTeX RDF	Work-Based Learning, Software Engineering, Collaborative Learning, Web-Based Training, Learning Network, Competence Development
11	Pierre-Yves Cunin, Robert Mark Greenwood, Laurent Francou, Ian Robertson, Brian Warboys	The PIE Methodology - Concept and Application.	EWSPT	2001	DBLP DOI BibTeX RDF
11	Ruth Wilson, Monica Landoni	Evaluating Electronic Textbooks: A Methodology.	ECDL	2001	DBLP DOI BibTeX RDF
11	Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos	A knowledge level software engineering methodology for agent oriented programming.	Agents	2001	DBLP DOI BibTeX RDF	design methodologies, agent-based software engineering
11	Kuldar Taveter, Gerd Wagner 0001	A Multi-perspective Methodology for Modelling Inter-enterprise Business Processes.	ER (Workshops)	2001	DBLP DOI BibTeX RDF
11	Jaelson Castro, Manuel Kolp, John Mylopoulos	A Requirements-Driven Development Methodology.	CAiSE	2001	DBLP DOI BibTeX RDF
11	Joseph D. Baum, Hong Luo, Eric L. Mestreau, Dmitri Sharov, Rainald Löhner, Daniele Pelessone, Charles Charman	Recent Developments of a Coupled CFD/CSD Methodology.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF