Search results for "Systematic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Merlin Hughes, P. David Stotts	Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects.	ISSTA	1996	DBLP DOI BibTeX RDF
10	Janardhan H. Satyanarayana, Keshab K. Parhi, Leilei Song, Yun-Nan Chang	Systematic analysis of bounds on power consumption in pipelined and non-pipelined multipliers.	ICCD	1996	DBLP DOI BibTeX RDF	pipelined multipliers, nonpipelined multipliers, Baugh-Wooley multiplier, binary tree multiplier, Wallace tree multiplier, STDs, sub circuits, energy values, cubic dependence, word length, quadratic dependence, digital CMOS circuits, CMOS adder, low power arithmetic units, power consumption, power consumption, switching activity, state transition diagrams
10	Anne Helga Seltveit	An Approach to Information Systems Modelling Based on Systematic Complexity Reduction.	HICSS (2)	1996	DBLP DOI BibTeX RDF
10	James D. Herbsleb, Dennis R. Goldenson	A Systematic Survey of CMM Experience and Results.	ICSE	1996	DBLP BibTeX RDF	software process appraisals, software process improvement, capability maturity model
10	Jyrki Kontio	A Case Study in Applying a Systematic Method for COTS Selection.	ICSE	1996	DBLP BibTeX RDF	software reuse, COTS, multiple criteria decision making
10	Maheshwar Umasankar, Ahmed El-Amawy	Generalized Algorithms for Systematic Synthesis of Branch-and-Combine Clock Networks for Meshes, Tori, and Hypercubes.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	skew bound, Branch-and-Combine, feature cycle length, hypercube, mesh, tile, torus, Clock skew, clock network
10	Saeko Matsuura, Shinichi Honiden	Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse.	APSEC	1995	DBLP DOI BibTeX RDF	Reuse, Knowledge Acquisition, Software Process, Case-Based Reasoning, Program Synthesis, Formal Specification Language
10	Luca Penzo, Donatella Sciuto, Cristina Silvano	VLSI design of systematic odd-weight-column byte error detecting SEC-DED codes.	VLSI Design	1995	DBLP DOI BibTeX RDF	odd-weight-column byte error detection, SEC-DED codes, single error correction, double error detection, single byte error detection, SEC-DED-SBD codes, high performances VLSI implementations, high speed encoding/decoding circuits, parallel data manipulation, VHSIC Hardware Description Language, VHDL description, parallel processing, VLSI, software tool, error correction codes, application specific integrated circuits, logic CAD, decoding, VLSI design, error detection codes, hardware description languages, integrated logic circuits, digital integrated circuits
10	Stanislav Sedukhin, Igor S. Sedukhin	Systematic Approach and Software Tool for Systolic Design.	CONPAR	1994	DBLP DOI BibTeX RDF
10	Olga Bolívar Toledo, Juan Carlos Quevedo-Losada, Roberto Moreno-Díaz Jr., Santiago Candela Solá	Towards a CAST Method for a Systematic Generation of Non-Orthogonal Complete Transformations.	CAST	1994	DBLP DOI BibTeX RDF
10	Roman Blasco	Systematic Strategy for Performance Prediction in Improvement of Parallel Programs.	CAST	1994	DBLP DOI BibTeX RDF
10	Ulf Nilsson	Systematic Semantic Approximations of Logic Programs.	PLILP	1990	DBLP DOI BibTeX RDF
10	Michael Ogbonna Esonu, Asim J. Al-Khalili, Salim Hariri	Design of optimal systolic arrays: a systematic approach.	SPDP	1990	DBLP DOI BibTeX RDF
10	Nikrouz Faroughi, Michael A. Shanblatt	An Improved Systematic Method for Constructing Systolic Arrays from Algorithms.	DAC	1987	DBLP DOI BibTeX RDF
10	Gabriele Saucier, Ghislaine Thuau	Systematic and optimized layout of MOS cells.	DAC	1985	DBLP DOI BibTeX RDF
10	Patrick Cousot, Radhia Cousot	Systematic Design of Program Analysis Frameworks.	POPL	1979	DBLP DOI BibTeX RDF
8	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
8	Yariv Z. Levy, Dino Levy, Jerrold S. Meyer, Hava T. Siegelmann	Identification and control of intrinsic bias in a multiscale computational model of drug addiction.	SAC	2010	DBLP DOI BibTeX RDF	drug addiction, sensitivity analysis, dynamical system, high dimensionality, multiscale modeling
8	Byron C. Wallace, Kevin Small, Carla E. Brodley, Thomas A. Trikalinos	Active learning for biomedical citation screening.	KDD	2010	DBLP DOI BibTeX RDF	applications, active learning, text classification, medicine
8	Junxian Huang, Qiang Xu, Birjodh Tiwana, Zhuoqing Morley Mao, Ming Zhang 0005, Paramvir Bahl	Anatomizing application performance differences on smartphones.	MobiSys	2010	DBLP DOI BibTeX RDF	mobile web browsing, smartphone, performance comparison, 3G network, application performance
8	Deborah Estrin	Participatory sensing: applications and architecture.	MobiSys	2010	DBLP DOI BibTeX RDF	privacy, mobile applications, mobile systems, participatory sensing
8	Reijo Savola, Teemu Kanstrén, Antti Evesti	First International Workshop on Measurability of Security in Software Architectures -- MeSSa 2010.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	security, privacy, evaluation, trust, measurement, metrics, assessment, assurance
8	Eddy Z. Zhang, Yunlian Jiang, Xipeng Shen	Does cache sharing on modern CMP matter to the performance of contemporary multithreaded programs?	PPoPP	2010	DBLP DOI BibTeX RDF	parallel program optimizations, chip multiprocessors, shared cache, thread scheduling
8	Puneet Gupta 0001, Andrew B. Kahng, Amarnath Kasibhatla, Puneet Sharma	Eyecharts: constructive benchmarking of gate sizing heuristics.	DAC	2010	DBLP DOI BibTeX RDF	dynamic programming, benchmarking, gate sizing
8	Ashalatha Nayak, Debasis Samanta	Model-based test cases synthesis using UML interaction diagrams.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF
8	Yue Lu 0002, Hui Fang 0001, Chengxiang Zhai	An empirical study of gene synonym query expansion in biomedical information retrieval.	Inf. Retr.	2009	DBLP DOI BibTeX RDF	Synonym query expansion, Language modeling, Biomedical information retrieval
8	Thomas Martin Deserno, Sameer K. Antani, L. Rodney Long	Ontology of Gaps in Content-Based Image Retrieval.	J. Digit. Imaging	2009	DBLP DOI BibTeX RDF	data mining, information retrieval, pattern recognition, picture archiving and communication systems (PACS), Content-based image retrieval (CBIR), semantic gap, information system integration
8	Andrew B. Kahng, Chul-Hong Park, Puneet Sharma, Qinke Wang	Lens aberration aware placement for timing yield.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	Layout, design for manufacturing, lithography, timing yield
8	Kim-Phuong L. Vu, Audrey Rabas, Richard Roberson	The Effects of Practice and Speed Stress with Different Stimulus-Response Mappings.	HCI (8)	2009	DBLP DOI BibTeX RDF	Stimulus-response compatibility, display-control compatibility, practice effects, stress
8	Hui Ma 0001, Klaus-Dieter Schewe, Bernhard Thalheim	Modelling and Maintenance of Very Large Database Schemata Using Meta-structures.	UNISCON	2009	DBLP DOI BibTeX RDF	schema maintenance, Database modelling, meta-structure
8	Eric Courteille, Dominique Deblaise, Patrick Maurine	Design optimization of a Delta-like parallel robot through global stiffness performance evaluation.	IROS	2009	DBLP DOI BibTeX RDF
8	Emma Tonkin	MetRe: supporting the metadata revision process.	JCDL	2009	DBLP DOI BibTeX RDF	metadata
8	Ruiqi Wang, Xing-Ming Zhao, Zengrong Liu	Modeling and Dynamical Analysis of Molecular Networks.	Complex (2)	2009	DBLP DOI BibTeX RDF	molecular networks, Modeling, analyzing
8	Hui Ma 0001, René Noack, Klaus-Dieter Schewe	Algebraic Meta-structure Handling of Huge Database Schemata.	ER Workshops	2009	DBLP DOI BibTeX RDF	schema algebra, schema modelling, meta-structure
8	Christoph Marhold, Clotilde Rohleder, Camille Salinesi, Jörg Dörr	Clarifying Non-functional Requirements to Improve User Acceptance - Experience at Siemens.	REFSQ	2009	DBLP DOI BibTeX RDF	Non-Functional Requirements, User Acceptance
8	Torsten Schaub	Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode.	LPNMR	2009	DBLP DOI BibTeX RDF
8	S. Shyam Sundar, Qian Xu 0002, Anne Oeldorf-Hirsch	Authority vs. peer: how interface cues influence users.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	user interfaces, web design, psychology
8	Maraike Schellmann, Sergei Gorlatch, Dominik Meiländer, Thomas Kösters, Klaus P. Schäfers, Frank Wübbeling, Martin Burger 0001	Parallel Medical Image Reconstruction: From Graphics Processors to Grids.	PaCT	2009	DBLP DOI BibTeX RDF
8	Xiong Wei, Xianbin Xu, Naixue Xiong, Ruhan He	A Research on the Self-Applicable Network Virtual Storage Data Distribution Arithmetic.	CSE (2)	2009	DBLP DOI BibTeX RDF
8	Bradley A. Swerdfeger, Jennifer Fernquist, Thomas W. Hazelton, Karon E. MacLean	Exploring melodic variance in rhythmic haptic stimulus design.	Graphics Interface	2009	DBLP BibTeX RDF	user studies, multi-modal interfaces, haptic UIs
8	Paula Herber, Florian Friedemann, Sabine Glesner	Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process.	TAP@TOOLS	2009	DBLP DOI BibTeX RDF
8	Yang Cai 0002, Iryna Pavlyshak, Li Ye, Ryan Magargle, James F. Hoburg	Virtual Human Imaging.	ICCS (1)	2009	DBLP DOI BibTeX RDF	security, privacy, 3D scan, feature recognition, human body
8	Deepak Mehta 0001, Barry O'Sullivan, Luis Quesada 0001, Nic Wilson	Search Space Extraction.	CP	2009	DBLP DOI BibTeX RDF
8	Simeon Realov, William F. McLaughlin, Kenneth L. Shepard	On-chip transistor characterization arrays with digital interfaces for variability characterization.	ISQED	2009	DBLP DOI BibTeX RDF
8	Teija Vainio	Exploring Multimodal Navigation Aids for Mobile Users.	INTERACT (1)	2009	DBLP DOI BibTeX RDF	design, multimodality, Mobile navigation
8	Davide Bolchini, Franca Garzotto, Fabio Sorce	Does Branding Need Web Usability? A Value-Oriented Empirical Study.	INTERACT (2)	2009	DBLP DOI BibTeX RDF	value-centered approach, communication goal, usability, empirical study, web application, inspection, brand
8	Bernd Fischer 0002, Ando Saabas, Tarmo Uustalu	Program Repair as Sound Optimization of Broken Programs.	TASE	2009	DBLP DOI BibTeX RDF
8	Maximillian Dupenois, Antony Galton	Assigning Footprints to Dot Sets: An Analytical Survey.	COSIT	2009	DBLP DOI BibTeX RDF
8	Robert D. Cameron, Dan Lin 0003	Architectural support for SWAR text processing with parallel bit streams: the inductive doubling principle.	ASPLOS	2009	DBLP DOI BibTeX RDF	inductive doubling, parallel bit streams, swar
8	Stefan Krompass, Harumi A. Kuno, Janet L. Wiener, Kevin Wilkinson, Umeshwar Dayal, Alfons Kemper	Managing long-running queries.	EDBT	2009	DBLP DOI BibTeX RDF
8	David Lee, Inés Arana, Hatem Ahriz, Kit-Ying Hui	A hybrid approach to solving coarse-grained DisCSPs.	AAMAS (2)	2009	DBLP BibTeX RDF	artificial intelligence, constraint satisfaction, distributed problem solving, agent cooperation
8	Changgu Kang, Yoosoo Oh, Woontack Woo	An Architecture for Flexible Entity Configuration in a Simulation Environment.	Edutainment	2009	DBLP DOI BibTeX RDF	Simulator, virtual reality, context-awareness, smart space
8	Nicholas G. Lipari, Christoph W. Borst, Vijay B. Baiyya	Investigation of Error in 2D Vibrotactile Position Cues with Respect to Visual and Haptic Display Properties: A Radial Expansion Model for Improved Cuing.	ICEIS	2009	DBLP DOI BibTeX RDF	User-calibration, Collaboration, Haptics, Human factors
8	Ville Kolehmainen, Matti Lassas, Petri Ola	Electrical Impedance Tomography Problem With Inaccurately Known Boundary and Contact Impedances.	IEEE Trans. Medical Imaging	2008	DBLP DOI BibTeX RDF
8	Luciana C. Ballejos, Jorge Marcelo Montagna	Method for stakeholder identification in interorganizational environments.	Requir. Eng.	2008	DBLP DOI BibTeX RDF	Interorganizational networks, Stakeholders, Interorganizational information systems
8	Jingguo Wang, Raj Sharman, Ram Ramesh	Shared Content Management in Replicated Web Systems: A Design Framework Using Problem Decomposition, Controlled Simulation, and Feedback Learning.	IEEE Trans. Syst. Man Cybern. Part C	2008	DBLP DOI BibTeX RDF
8	Peter Spindler, Ulf Schlichtmann, Frank M. Johannes	Kraftwerk2 - A Fast Force-Directed Quadratic Placement Approach Using an Accurate Net Model.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
8	Andrew B. Kahng, Sudhakar Muddu, Puneet Sharma	Defocus-Aware Leakage Estimation and Control.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
8	Alessandro Crespi, Auke Jan Ijspeert	Online Optimization of Swimming and Crawling in an Amphibious Snake Robot.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
8	Arsenia Chorti, Dionissios T. Hristopulos	Nonparametric Identification of Anisotropic (Elliptic) Correlations in Spatially Distributed Data Sets.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
8	Pouria Bastani, Li-C. Wang, Magdy S. Abadir	Linking Statistical Learning to Diagnosis.	IEEE Des. Test Comput.	2008	DBLP DOI BibTeX RDF
8	Philipp Rohlfshagen, John A. Bullinaria	Identification and Exploitation of Linkage by Means of Alternative Splicing.	Linkage in Evolutionary Computation	2008	DBLP DOI BibTeX RDF
8	Geoffrey C. Bohling	Information Fusion in Regularized Inversion of Tomographic Pumping Tests.	Quantitative Information Fusion for Hydrological Sciences	2008	DBLP DOI BibTeX RDF
8	Olivier Steiger, Judith Felder, Stephan Weiss 0002	Calibration of time-of-flight range imaging cameras.	ICIP	2008	DBLP DOI BibTeX RDF
8	Kooktae Lee, Woojin Chung	Calibration of kinematic parameters of a Car-Like Mobile Robot to improve odometry accuracy.	ICRA	2008	DBLP DOI BibTeX RDF
8	Ludovic Righetti, Auke Jan Ijspeert	Pattern generators with sensory feedback for the control of quadruped locomotion.	ICRA	2008	DBLP DOI BibTeX RDF
8	James Doebbler, Jeremy J. Davis, John L. Junkins, John Valasek	Odometry and calibration methods for multi-castor vehicles.	ICRA	2008	DBLP DOI BibTeX RDF
8	Boon Chin Lim, Witold A. Krzymien, Christian Schlegel	Simultaneous Feedback Reduction and Sum Rate Maximization in Block-Diagonalized Space-Division Multiplexing.	VTC Spring	2008	DBLP DOI BibTeX RDF
8	Konstantinos D. Dimou, Anders Furuskar	On the Use of Uplink Received Signal Strength Measurements for Handover.	VTC Spring	2008	DBLP DOI BibTeX RDF
8	Dino Sejdinovic, Robert J. Piechocki, Angela Doufexi, Mohamed Ismail	Fountain Coding with Decoder Side Information.	ICC	2008	DBLP DOI BibTeX RDF
8	Mickaël Raulet, Jonathan Piat, Christophe Lucarz, Marco Mattavelli	Validation of bitstream syntax and synthesis of parsers in the MPEG Reconfigurable Video Coding framework.	SiPS	2008	DBLP DOI BibTeX RDF
8	Pengcheng Zhang, Bixin Li, Henry Muccini, Yu Zhou, Mingjie Sun	Data-Enriched Modeling and Verification of WS-CDL Based on UML Models.	ICWS	2008	DBLP DOI BibTeX RDF
8	Zaiyi Guo, Joc Cing Tay	Granularity and the validation of agent-based models.	SpringSim	2008	DBLP DOI BibTeX RDF	agent behavior modeling, model granularity, multi-agent model
8	Ed Grochowski, Murali Annavaram, Paul Reed	Implications of device timing variability on full chip timing.	ISPD	2008	DBLP DOI BibTeX RDF
8	Rajesh Elara Mohan, Carlos Antonio Acosta Calderon, Changjiu Zhou, Tianwu Yang, Liandong Zhang, Yongming Yang	Adapting ADDIE Model for Human Robot Interaction in Soccer Robotics Domain.	RoboCup	2008	DBLP DOI BibTeX RDF
8	Jakub Rudzki, Imed Hammouda, Tommi Mikkonen	Ensuring Architecture Conventions in Multi-site Development.	COMPSAC	2008	DBLP DOI BibTeX RDF	Multi-site Development, Software Architecture, Software Quality
8	Hajo A. Reijers, Jan Mendling	Modularity in Process Models: Review and Effects.	BPM	2008	DBLP DOI BibTeX RDF
8	Vijay S. Kumar, Mary W. Hall, Jihie Kim, Yolanda Gil, Tahsin M. Kurç, Ewa Deelman, Varun Ratnakar, Joel H. Saltz	Designing and parameterizing a workflow for optimization: A case study in biomedical imaging.	IPDPS	2008	DBLP DOI BibTeX RDF
8	Torsten Hoefler, Timo Schneider, Andrew Lumsdaine	Accurately measuring collective operations at massive scale.	IPDPS	2008	DBLP DOI BibTeX RDF
8	Bernard Mettler, Jonathan Andersh, Nikolaos Papanikolopoulos	A First Investigation into the Teleoperation of a Miniature Rotorcraft.	ISER	2008	DBLP DOI BibTeX RDF
8	Yan He, Dmitri D. Perkins, Bin Huang	S-Box: A scalability analysis framework for ad hoc routing protocols.	ISCC	2008	DBLP DOI BibTeX RDF
8	Kurt Schneider	Supporting Experience and Information Flow in Software Projects.	PROFES	2008	DBLP DOI BibTeX RDF
8	Abhinav Gupta 0001, Trista P. Chen, Francine Chen 0001, Don Kimber, Larry S. Davis	Context and observation driven latent variable model for human pose estimation.	CVPR	2008	DBLP DOI BibTeX RDF
8	David Lee, Inés Arana, Hatem Ahriz, Kit-Ying Hui	A Hybrid Approach to Distributed Constraint Satisfaction.	AIMSA	2008	DBLP DOI BibTeX RDF	Hybrid Systems, Constraint Satisfaction, Distributed AI
8	Yongkun Lu, Chaoying Xia	Improved Direct Adaptive Fuzzy Controller for Single-Phase Active Power Filter.	FSKD (5)	2008	DBLP DOI BibTeX RDF
8	Salman Gopalani, Rajesh Garg, Sunil P. Khatri, Mosong Cheng	A lithography-friendly structured ASIC design approach.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	ASIC, OPC, lithography
8	Uwe Glässer, Mona Vajihollahi	Identity management architecture.	ISI	2008	DBLP DOI BibTeX RDF
8	Carsten Ruseng Jakobsen, Kent Aaron Johnson	Mature Agile with a Twist of CMMI.	AGILE	2008	DBLP DOI BibTeX RDF
8	Katerina Papadaki 0002, Despina Polemi	Collaboration and Knowledge Sharing Platform for Supporting a Risk Management Network of Practice.	ICIW	2008	DBLP DOI BibTeX RDF	collaboration and knowledge sharing platform, information security risk management, risk management meta-process, network of practice
8	Colin Atkinson 0001, Dietmar Stoll	Orthographic Modeling Environment.	FASE	2008	DBLP DOI BibTeX RDF
8	Vijaykumar Rachamadugu, John A. Anderson	Managing Security and Privacy Integration across Enterprise Business Process and Infrastructure.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	enterprise security, enterprise privacy, business process security, RISE, risk-management
8	Parastoo Mohagheghi, Reidar Conradi	Quality, productivity and economic benefits of software reuse: a review of industrial studies.	Empir. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Software reuse, Quality, Productivity, Review, Evidence
8	Ho Kyoung Lee, Woo Jin Lee, Heung Seok Chae, Yong Rae Kwon	Specification and analysis of timing requirements for real-time systems in the CBD approach.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Real-time system, Petri nets, Component, Timing analysis, Timing constraints, CBD, Compositional analysis
8	Jian-Liang Lin, Wen-Liang Hwang, Soo-Chang Pei	Fast Matching Pursuit Video Coding by Combining Dictionary Approximation and Atom Extraction.	IEEE Trans. Circuits Syst. Video Technol.	2007	DBLP DOI BibTeX RDF
8	Patrick Solé, Virgilio P. Sison	Quaternary Convolutional Codes From Linear Block Codes Over Galois Rings.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
8	Zhihang Yi, Il-Min Kim	Single-Symbol ML Decodable Distributed STBCs for Cooperative Networks.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
8	Félix Balado, Neil J. Hurley, Elizabeth P. McCarthy, Guenole C. M. Silvestre	Performance Analysis of Robust Audio Hashing.	IEEE Trans. Inf. Forensics Secur.	2007	DBLP DOI BibTeX RDF
8	Tuomas Järvinen, Perttu Salmela, Harri Sorokin, Jarmo Takala	Stride Permutation Networks for Array Processors.	J. VLSI Signal Process.	2007	DBLP DOI BibTeX RDF	stride permutation, data format converter, parallel computation, interconnection network, fast fourier transform, array processor, viterbi decoding
8	Michael Meisinger, Ingolf Krüger	A Service-Oriented Extension of the V-Modell XT.	ECBS	2007	DBLP DOI BibTeX RDF
8	Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hélène Kirchner	Weaving rewrite-based access control policies.	FMSE	2007	DBLP DOI BibTeX RDF	strategic rewriting, access control, aspect-oriented programming, term rewriting, execution monitoring