Search results for "Refinement"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Ralph-Johan Back	SFI: A Refinement Based Layered Software Architecture.	ICFEM	2002	DBLP DOI BibTeX RDF
30	Sibylle Peuker	Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm.	ICATPN	2002	DBLP DOI BibTeX RDF
30	Murat Demirbas, Anish Arora	Convergence Refinement.	ICDCS	2002	DBLP DOI BibTeX RDF
30	Ian J. Hayes, Mark Utting	A sequential real-time refinement calculus.	Acta Informatica	2001	DBLP DOI BibTeX RDF
30	Jan Jürjens	Secrecy-Preserving Refinement.	FME	2001	DBLP DOI BibTeX RDF
30	Liviu Badea, Shan-Hwei Nienhuys-Cheng	A Refinement Operator for Description Logics.	ILP	2000	DBLP DOI BibTeX RDF
30	Liviu Badea, Monica Stanciu	Refinement Operators Can Be (Weakly) Perfect.	ILP	1999	DBLP DOI BibTeX RDF
30	Elena Troubitsyna	Enhancing Dependability via Parameterized Refinement.	PRDC	1999	DBLP DOI BibTeX RDF
30	Ketil Stølen, Max Fuchs	An Exercise in Conditional Refinement.	Prospects for Hardware Foundations	1998	DBLP DOI BibTeX RDF
30	Manfred Broy	Compositional Refinement of Interactive Systems Modelled by Relations.	COMPOS	1997	DBLP DOI BibTeX RDF
30	Patrick R. J. van der Laag, Shan-Hwei Nienhuys-Cheng	Subsumption and Refinement in Model Inference.	ECML	1993	DBLP DOI BibTeX RDF
29	Leo Freitas, Ana Cavalcanti 0001, Jim Woodcock 0001	Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking.	ICFEM	2006	DBLP DOI BibTeX RDF
28	Mark Staples	Interfaces for Refining Recursion and Procedures.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Refinement Tools, Interfaces, Refinement, Recursion, Procedures
28	Ning Zhong 0001, Setsuo Ohsuga	Managing/refining structural characteristics discovered from databases.	HICSS (3)	1995	DBLP DOI BibTeX RDF	structural characteristics management, structural characteristics refinement, automatic knowledge discovery, large knowledge bases, erroneous data, hypothesis generation, hypothesis evaluation, Inheritance Inference Based Refinement, Global Learning Scheme, Knowledge Oriented Statistic Inference, KAUS knowledge-based system, IIBR subsystem, GLS discovery system, KOSI subsystem, learning (artificial intelligence), databases, data structures, knowledge based systems, inheritance, deductive databases, error analysis, error analysis, inference mechanisms, heuristic programming, regression models, model representation, deductive rules
28	Arun P. Tirumalai, Brian G. Schunck, Ramesh C. Jain	Dynamic Stereo with Self-Calibration.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	disparity map refinement, camera motion recovery, incremental refinement, dynamic stereo sequence, binocular stereo vision system, robust least median of squares based algorithm, recursive disparity prediction, robust Kalman filter, motion estimation, mobile robot, mobile robots, image sequences, Kalman filters, calibration, filtering and prediction theory, stereo image processing, least squares approximations, self-calibration
28	Fujio Nishida, Shinobu Takamatsu, Yoneharu Fujita, Tadaaki Tani	Semi-Automatic Program Construction From Specifications Using Library Modules.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	case-like expressions, semiautomatic specification refinement, library modules, refinement system, module-aided program construction system, pseudo-natural language expressions, formal specification, software tools, MAPS, programming language, automatic programming, subroutines, program generation
27	Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001	A UTP semantics for Circus.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Concurrency, Theorem proving, Relational model, Refinement calculus
27	Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich	The synergy of precise and fast abstractions for program verification.	SAC	2009	DBLP DOI BibTeX RDF	CEGAR, predicate abstraction, abstraction refinement
27	John P. McDermott, Leo Freitas	A formal security policy for xenon.	FMSE	2008	DBLP DOI BibTeX RDF	refinement, open-source, z, csp, hypervisor, information-flow security, circus
27	Christie Bolton, Jim Davies	A singleton failures semantics for Communicating Sequential Processes.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Simulation rules, Semantics, Refinement, CSP, Z, Object-Z, Data types
27	Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith	State/Event Software Verification for Branching-Time Specifications.	IFM	2005	DBLP DOI BibTeX RDF	Concurrent Software Model Checking, State/Event-based Verification, Branching-time Temporal Logic, Automated Abstraction Refinement
27	Yiming Ma, Qi Zhong, Sharad Mehrotra, Dawit Yimam Seid	A framework for refining similarity queries using learning techniques.	CIKM	2004	DBLP DOI BibTeX RDF	learning, relevance feedback, refinement, structured data
27	Richard Banach, Michael Poppleton	Retrenching partial requirements into system definitions: a simple feature interaction case study.	Requir. Eng.	2003	DBLP DOI BibTeX RDF	Partial requirements, Formal development, Feature engineering, Requirement engineering, Refinement, Feature interaction, Telephony, Retrenchment
27	John Derrick	Timed CSP and Object-Z.	ZB	2003	DBLP DOI BibTeX RDF	Refinement, Object-Z, Timed CSP
27	Doug Goldson	Formal Verification of mu-Charts.	APSEC	2002	DBLP DOI BibTeX RDF	µ-charts, formal verification, refinement, CSP
27	Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain	Incremental Fault-Tolerant Design in an Object-Oriented Setting.	APAQS	2001	DBLP DOI BibTeX RDF	formal methods refinement trace semantics, Fault-tolerance, object orientation, incremental design
27	Luke Wildman, Colin J. Fidge, David A. Carrington	Computer-aided development of a real-time program.	Softw. Concepts Tools	2000	DBLP DOI BibTeX RDF	Software engineering, Verification, Formal methods, Refinement, Tool support, Real-time programming
27	Régine Laleau, Amel Mammar	A Generic Process to Refine a B Specification into a Relational Database Implementation.	ZB	2000	DBLP DOI BibTeX RDF	Refinement Process, Relational Database Implementation, B method
27	Khalid Belhajjame, Norman W. Paton, Suzanne M. Embury, Alvaro A. A. Fernandes, Cornelia Hedeler	Feedback-based annotation, selection and refinement of schema mappings for dataspaces.	EDBT	2010	DBLP DOI BibTeX RDF	mapping annotation, mapping refinement, mapping selection, pay-as-you-go, data integration, user feedback, dataspaces
27	Dominique Cansell, Dominique Méry, Cyril Proch	System-on-chip design by proof-based refinement.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Event B method, Simulation, System-on-chip, Refinement, Formal modelling, Operational semantics, SystemC, Proof
27	Annabelle McIver, Carroll C. Morgan	Sums and Lovers: Case Studies in Security, Compositionality and Refinement.	FM	2009	DBLP DOI BibTeX RDF	Refinement of security, formalised secrecy, hierarchical security reasoning, compositional semantics
27	Sadaaki Miyamoto	Refinement Properties in Agglomerative Hierarchical Clustering.	MDAI	2009	DBLP DOI BibTeX RDF	single linkage, complete linkage, average linkage, refinement, Agglomerative clustering
27	Jifeng He 0001	Service refinement.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	component, refinement, service
27	Constantin Enea	Counterexample Guided Abstraction Refinement is Better under Equational Abstraction.	ECBS	2008	DBLP DOI BibTeX RDF	equational abstraction, CEGAR, verification, refinement
27	Ti Zhou, Mengjun Li, Zhoujun Li 0001	Local abstract verification and refinement of security protocols.	FMSE	2008	DBLP DOI BibTeX RDF	verification, refinement, abstraction, security protocols
27	Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001	Framework composition conformance via refinement checking.	SAC	2008	DBLP DOI BibTeX RDF	conformance notions, framework composition, refinement, CSP
27	Bjørnar Solhaug, Ketil Stølen	Compositional Refinement of Policies in UML - Exemplified for Access Control.	ESORICS	2008	DBLP DOI BibTeX RDF	policy adherence, access control, UML sequence diagrams, Policy specification, policy refinement
27	Maik Wurdel, Daniel Sinnig, Peter Forbrig	Task Model Refinement with Meta Operators.	DSV-IS	2008	DBLP DOI BibTeX RDF	requirements engineering, refinement, scenarios, Task models
27	Bita Gorjiara, Daniel Gajski	Automatic architecture refinement techniques for customizing processing elements.	DAC	2008	DBLP DOI BibTeX RDF	GNR, nanocoded architectures, no-instruction-set computer (NISC), refinement, high-level synthesis, power, ASIP, datapath, netlist
27	Mengjun Li, Ti Zhou, Zhoujun Li 0001, Huowang Chen	An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming.	ASIAN	2007	DBLP DOI BibTeX RDF	abstraction and refinement, security protocol
27	Pascale Le Gall, Nicolas Rapin, Assia Touil	Symbolic Execution Techniques for Refinement Testing.	TAP	2007	DBLP DOI BibTeX RDF	symbolic transition system, refinement, conformance testing, symbolic execution
27	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Proving Linearizability Via Non-atomic Refinement.	IFM	2007	DBLP DOI BibTeX RDF	refinement, CSP, Object-Z, linearizability, concurrent access
27	Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró	Style-based modeling and refinement of service-oriented architectures.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	Architecture refinement, Service-oriented architecture, Graph transformation, Architectural style
27	Karl Lermer, Colin J. Fidge	Procedure compilation in the refinement calculus.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Program compilation, Procedures, Predicate transformers, Program refinement
27	Bin Han 0003	Solutions in Sobolev spaces of vector refinement equations with a general dilation matrix.	Adv. Comput. Math.	2006	DBLP DOI BibTeX RDF	vector refinement equation, refinable function vector, cascade algorithm, smoothness, rate of convergence, Sobolev space
27	Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic 0001	A Counterexample-Guided Refinement Tool for Open Procedural Programs.	SPIN	2006	DBLP DOI BibTeX RDF	CSP, software model checking, game semantics, abstraction refinement, FDR
27	JiDong Ge, Hao Hu 0001, Jian Lu 0001	Invariant Analysis for the Task Refinement of Workflow Nets.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF	workflow process model, task refinement, Petri nets, invariants, soundness, workflow composition
27	Illhoi Yoo, Xiaohua Hu 0001, Il-Yeol Song	Integration of semantic-based bipartite graph representation and mutual refinement strategy for biomedical literature clustering.	KDD	2006	DBLP DOI BibTeX RDF	bipartite graph representation, mutual refinement strategy, ontology, document clustering
27	Greg Reeve, Steve Reeves	Logic and refinement for charts.	ACSC	2006	DBLP BibTeX RDF	ZC, refinement, logic, statecharts, reactive systems, Z
27	Manu Sridharan, Rastislav Bodík	Refinement-based context-sensitive points-to analysis for Java.	PLDI	2006	DBLP DOI BibTeX RDF	refinement, points-to analysis, context-sensitive analysis, demand-driven analysis
27	António Oliveira, Luís Paulo Santos, Alberto José Proença	Refinement criteria for high fidelity interactive walkthroughs.	GRAPHITE	2006	DBLP DOI BibTeX RDF	asynchronous rendering, refinement criteria, ray tracing, coherence, interactive walkthrough
27	Boris Shishkov, Dick A. C. Quartel	Combining SDBC and ISDL in the Modeling and Refinement of Business Processes.	ICEIS (Selected Papers)	2006	DBLP DOI BibTeX RDF	SDBC, ISDL, Refinement, System design, Business process modeling
27	Sariel Har-Peled, Alper Üngör	A time-optimal delaunay refinement algorithm in two dimensions.	SCG	2005	DBLP DOI BibTeX RDF	delaunay triangulation, quadtree, steiner points, mesh quality, mesh refinement
27	Mark E. Botkin, Hui-Ping Wang	An adaptive mesh refinement of quadrilateral finite element meshes based upon a posteriori error estimation of quantities of interest: linear static response.	Eng. Comput.	2004	DBLP DOI BibTeX RDF	Error analysis, Mesh generation, Finite element analysis, A posteriori error estimation, Adaptive refinement
27	Robert Niewiadomski, José Nelson Amaral, Robert C. Holte	A performance study of data layout techniques for improving data locality in refinement-based pathfinding.	ACM J. Exp. Algorithmics	2004	DBLP DOI BibTeX RDF	Cache-conscious algorithms, classical refinement, pathfinding
27	Paolo Cignoni, Leila De Floriani, Paola Magillo, Enrico Puppo, Roberto Scopigno	Selective Refinement Queries for Volume Visualization of Unstructured Tetrahedral Meshes.	IEEE Trans. Vis. Comput. Graph.	2004	DBLP DOI BibTeX RDF	Unstructured tetrahedral meshes, volume data visualization, multiresolution geometric modeling, selective refinement
27	Antónia Lopes, José Luiz Fiadeiro	Superposition: composition vs refinement of non-deterministic, action-based systems.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Composition, Refinement, Superposition
27	Xiuli Sun, Jinzhao Wu, Xiaoyu Song, Mila E. Majster-Cederbaum	Formal Specification of an Asynchronous Processor via Action Refinement.	MTV	2004	DBLP DOI BibTeX RDF	pipelines, microprocessors, asynchronous circuits, Action refinement
27	Sun Meng, Luís Soares Barbosa	On Refinement of Generic State-Based Software Components.	AMAST	2004	DBLP DOI BibTeX RDF	coalgebraic models, Components, refinement
27	Daniel A. Spielman, Shang-Hua Teng, Alper Üngör	Parallel Delaunay Refinement with Off-Centers.	Euro-Par	2004	DBLP DOI BibTeX RDF	parallel algorithms, triangulations, Delaunay refinement
27	Mila Dalla Preda	Completeness Refinement in Abstract Symbolic Trajectory Evaluation.	SAS	2004	DBLP DOI BibTeX RDF	Domain Refinement, Model-checking, Verification, Abstract Interpretation, Completeness, Data Flow Analysis, Symbolic Trajectory Evaluation
27	Martin Bertram 0001	Volume Refinement Fairing Isosurfaces.	IEEE Visualization	2004	DBLP DOI BibTeX RDF	volume fairing, subdivision, isosurfaces, adaptive mesh refinement, variational modeling
27	Freddy Y. C. Mang, Pei-Hsin Ho	Abstraction refinement by controllability and cooperativeness analysis.	DAC	2004	DBLP DOI BibTeX RDF	formal verification, controllability, cooperativeness, abstraction refinement
27	Sun Meng, Zhang Naixiao, Luís Soares Barbosa	On Semantics and Refinement of UML Statecharts: A Coalgebraic View.	SEFM	2004	DBLP DOI BibTeX RDF	Semantics, Refinement, Statechart, Coalgebra
27	Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001	ArcAngel: a Tactic Language for Refinement.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	ensp, Formal methods, Refinement calculus, Program development
27	Jim Davies, Charles Crichton	Concurrency and Refinement in the Unified Modeling Language.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Unified Modeling Language, Concurrency, Refinement, Object-oriented design, Object modelling, Communicating Sequential Processes
27	Ronald H. W. Hoppe, Svetozara Petrova, Yuri V. Vassilevski	Adaptive Grid Refinement for Computation of the Homogenized Elasticity Tensor.	LSSC	2003	DBLP DOI BibTeX RDF	biomorphic microcellular ceramics, homogenization technique, a posteriori error estimators, shape optimization, adaptive refinement
27	Anton Antonov, Krassimir Georgiev, Emilia Komsalova, Zahari Zlatev	Comparison of Two Local Refinement Methods for Large Scale Air Pollution Simulations.	LSSC	2003	DBLP DOI BibTeX RDF	rotational test, translational test, local refinement, Air pollution modeling
27	Mario Bravetti, Roberto Gorrieri	Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	ST bisimulation, noninterleaving semantics, process algebra, axiomatization, Action refinement
27	Romi Satria Wahono, Behrouz H. Far	A Framework for Object Identification and Refinement Process in Object-Oriented Analysis and Design.	IEEE ICCI	2002	DBLP DOI BibTeX RDF	object refinement, requirements engineering, object identification
27	David R. Musser, Zhiqing Shao	Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications.	ICFEM	2002	DBLP DOI BibTeX RDF	Specification techniques and languages, specification evolution and refinement, formal semantics
27	Marc Aiguier, Christophe Gaston, Pascale Le Gall	Feature Logics and Refinement.	APSEC	2002	DBLP DOI BibTeX RDF	abstract logical framework, formal specification, refinement, feature, feature interaction
27	Wan J. Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein	Refinement and Verification Applied to an In-Flight Data Acquisition Unit.	CONCUR	2002	DBLP DOI BibTeX RDF	&#55CRL, model checking, verification, refinement, B-method
27	Ingo Sander, Axel Jantsch	Transformation based communication and clock domain refinement for system design.	DAC	2002	DBLP DOI BibTeX RDF	design refinement, system design, system modeling
27	Hanxiong Chen, Jeffrey Xu Yu, Kazutaka Furuse, Nobuo Ohbo	Support IR Query Refinement by Partial Keyword Set.	WISE (1)	2001	DBLP DOI BibTeX RDF	Prime keyword, Information retrieval, AR, Query refinement
27	Martin Fürer	Weisfeiler-Lehman Refinement Requires at Least a Linear Number of Iterations.	ICALP	2001	DBLP DOI BibTeX RDF	Graph Isomorphism Testing, Weisfeiler-Lehman Refinement, Games, Descriptive Complexity
27	Sibylle Peuker	Property Preserving Transition Refinement with Concurrent Runs: An Example.	ACSD	2001	DBLP DOI BibTeX RDF	Transition Refinement, Distributed Systems, Verification, Petri Nets, Partial Order Semantics
27	Pavel Kagan, Anath Fischer, Pinhas Z. Bar-Yoseph	Mechanically Based Design: Adaptive Refinement for B-Spline Finite Element.	Shape Modeling International	2001	DBLP DOI BibTeX RDF	Mechanically Based System, B-Spline Finite Element, continuity constraint, local refinement
27	Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright	Class Refinement as Semantics of Correct Object Substitutability.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Class refinement, Code inheritance, Behavioural compatibility, Object substitutability, Semantics of object-oriented constructs, Implicit and explicit invariants, New methods, Correctness, Subtyping, Subclassing
27	Liang-Chi Chen, Sandeep K. Gupta 0001, Melvin A. Breuer	A new framework for static timing analysis, incremental timing refinement, and timing simulation.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	incremental timing refinement, signal arrival, target fault, test generation efficiency, logic testing, delays, timing, test generation, integrated circuit testing, computation, automatic test pattern generation, ATPG, static timing analysis, delay model, timing simulation
27	Jonathan S. Ostroff	Composition and Refinement of Discrte Real-Time Systems.	ACM Trans. Softw. Eng. Methodol.	1999	DBLP DOI BibTeX RDF	timed logic, model-checking, temporal logic, refinement, abstraction, modules, state explosion
27	Wai Lam	Bayesian Network Refinement Via Machine Learning Approach.	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	Knowledge base refinement, data mining, machine learning, Bayesian networks, uncertainty reasoning
27	Li-Min Fu	A connectionist approach to rule refinement.	Appl. Intell.	1992	DBLP DOI BibTeX RDF	rule refinement, neural network, Knowledge-based system
26	Hale Erten, Alper Üngör	Triangulations with locally optimal Steiner points.	Symposium on Geometry Processing	2007	DBLP DOI BibTeX RDF
26	Dominique Cansell, Dominique Méry	Proved-Patterns-Based Development for Structured Programs.	CSR	2007	DBLP DOI BibTeX RDF
26	Richard Banach, John Derrick	Filtering Retrenchments into Refinements.	SEFM	2006	DBLP DOI BibTeX RDF
26	G. P. Nikishkov	Adaptive Surface Modeling Using a Quadtree of Quadratic Finite Elements.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
26	Sebastián Uchitel, Marsha Chechik	Merging partial behavioural models.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	partial behaviour models, merge, MTS
26	Chao Wang 0001, Gary D. Hachtel, Fabio Somenzi	Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking.	ICCD	2004	DBLP DOI BibTeX RDF
26	Joëlle Cohen, Anatol Slissenko	On Verification of Refinements of Timed Distributed Algorithms.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
26	Ravi S. Sandhu	The NTree: A Two Dimension Partial Order for Protection Groups.	ACM Trans. Comput. Syst.	1988	DBLP DOI BibTeX RDF
26	James Demmel, Yozo Hida, E. Jason Riedy, Xiaoye S. Li	Extra-Precise Iterative Refinement for Overdetermined Least Squares Problems.	ACM Trans. Math. Softw.	2009	DBLP DOI BibTeX RDF	Linear algebra, floating-point arithmetic, BLAS, LAPACK
26	Judy Bowen, Steve Reeves	Supporting Multi-path UI Development with Vertical Refinement.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
26	Alexander Heußner, Tristan Le Gall, Grégoire Sutre	Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems.	SPIN	2009	DBLP DOI BibTeX RDF
26	Susumu Nishimura	Safe Modification of Pointer Programs in Refinement Calculus.	MPC	2008	DBLP DOI BibTeX RDF
26	Hasan F. Ates	Fast inter-mode decision and selective quarter-pel refinement in H.264 video coding.	ICASSP	2008	DBLP DOI BibTeX RDF
26	Xiaojian Liu, Xuejun Liu, Jianxin Li, Yanzhi Zhao, Zhixue Wang	Refinement of UML Interaction for Correct Embedded System Design.	ICYCS	2008	DBLP DOI BibTeX RDF
26	Juncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song	Component-Based Abstraction and Refinement.	ICSR	2008	DBLP DOI BibTeX RDF
26	Da Qi Ren, Dennis Giannacopoulos, Reiji Suda	An optimized Dynamic Load Balancing method for parallel 3-D mesh refinement for finite element electromagnetics with Tetrahedra.	CLUSTER	2008	DBLP DOI BibTeX RDF
26	Nicolas Bruno, Surajit Chaudhuri	Physical design refinement: The 'merge-reduce' approach.	ACM Trans. Database Syst.	2007	DBLP DOI BibTeX RDF	physical design refinment, view merging and reduction, Physical database design