Search results for "Precondition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Keita Teranishi, Padma Raghavan, Esmond G. Ng	A new data-mapping scheme for latency-tolerant distributed sparse triangular solution.	SC	2002	DBLP DOI BibTeX RDF
10	Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro	Max-CSP Approach for Software Diagnosis.	IBERAMIA	2002	DBLP DOI BibTeX RDF
10	Herbert Leitold, Arno Hollosi, Reinhard Posch	Security Architecture of the Austrian Citizen Card Concept.	ACSAC	2002	DBLP DOI BibTeX RDF
10	Michel Charpentier	An Approach to Composition Motivated by wp.	FASE	2002	DBLP DOI BibTeX RDF
10	Rajesh Radhakrishnan, Elena Teica, Ranga Vemuri	Verification of Basic Block Schedules Using RTL Transformations.	CHARME	2001	DBLP DOI BibTeX RDF
10	Thomas Ludwig 0002, Markus Lindermeier, Alexandros Stamatakis, Günther Rackl	Tool Environments in CORBA-Based Medical High Performance Computing.	PaCT	2001	DBLP DOI BibTeX RDF
10	Tuomas Ihme	An Architecture Line Structure for Command and Control Software.	EUROMICRO	2001	DBLP DOI BibTeX RDF
10	Kikuko Harada, Hiroshi Hoshino	Feasibility Study of Digital Community through Virtual Enterprise Network.	Digital Cities	2001	DBLP DOI BibTeX RDF
10	Andreas Wombacher, Paraskevi Kostaki, Karl Aberer	An Infrastructure for Information Commerce on the WWW.	HICSS	2001	DBLP DOI BibTeX RDF
10	Leocadio G. Casado, Inmaculada García, Yaroslav D. Sergeyev	Interval Branch and Bound Algorithm for Finding the First-Zero-Crossing-Point in One-Dimensional Functions.	Reliab. Comput.	2000	DBLP DOI BibTeX RDF
10	Linas Laibinis, Joakim von Wright	Functional Procedures in Higher-Order Logic.	TPHOLs	2000	DBLP DOI BibTeX RDF
10	Andreas Nonnengart	Hybrid Systems Verification by Location Elimination.	HSCC	2000	DBLP DOI BibTeX RDF
10	Yasuyo Kita, Nobuyuki Kita, Dale L. Wilson, J. Alison Noble	A Quick 3D-2D Registration Method for a Wide-Range of Applications.	ICPR	2000	DBLP DOI BibTeX RDF
10	Markus Müller-Olm, Andreas Wolf 0004	On the Translation of Procedures to Finite Machines.	ESOP	2000	DBLP DOI BibTeX RDF	resource-limitation, verification, compiler, refinement, correctness, procedure, predicate transformer
10	Marc Shapiro 0001, Antony I. T. Rowstron, Anne-Marie Kermarrec	Application-independent reconciliation for nomadic applications.	ACM SIGOPS European Workshop	2000	DBLP DOI BibTeX RDF
10	Bernhard Ganter	Computing with Conceptual Structures.	ICCS	2000	DBLP DOI BibTeX RDF
10	Johannes Hug, Christian Brechbühler, Gábor Székely	Model-Based Initialisation for Segmentation.	ECCV (2)	2000	DBLP DOI BibTeX RDF
10	T. K. Satish Kumar	A Compositional Approach to Causality.	SARA	2000	DBLP DOI BibTeX RDF
10	Wim H. Hesselink	Predicate Transformers for Recursive Procedures with Local Variables.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Frames, Predicate transformers, Proof rule, Recursive procedures
10	Sandro Morasca	Measuring Attributes of Concurrent Software Specifications in Petri Nets.	IEEE METRICS	1999	DBLP DOI BibTeX RDF
10	Mark Staples	Representing WP Semantics in Isabelle/ZF.	TPHOLs	1999	DBLP DOI BibTeX RDF
10	Patrick Doherty 0001, Witold Lukaszewicz, Ewa Madalinska-Bugaj	Computing MPMA Updates Using Dijkstra's Semantics.	ISMIS	1999	DBLP DOI BibTeX RDF
10	Andreas Kähäri, Samuel Sundberg	Convergence Acceleration for the Euler Equations Using a Parallel Semi-Toeplitz Preconditioner.	Euro-Par	1999	DBLP DOI BibTeX RDF
10	Fangzhen Lin, Kewen Wang 0001	From Causal Theories to Logic Programs (Sometimes).	LPNMR	1999	DBLP DOI BibTeX RDF	disjunctive logic programs with classical negation, causal theories of actions, situation calculus
10	Thomas Ludwig 0002, Jörg Trinitis, Roland Wismüller	Synergetic Tool Environments.	PaCT	1999	DBLP DOI BibTeX RDF
10	Beverly A. Sanders	Data Refinement of Mixed Specifications.	Acta Informatica	1998	DBLP DOI BibTeX RDF
10	Ana Cavalcanti 0001, Jim Woodcock 0001	ZRC - A Refinement Calculus for Z.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Formal methods, Weakest preconditions, Program development
10	Ora Canada	Z/EVES Version 1.5: An Overview.	FM-Trends	1998	DBLP DOI BibTeX RDF
10	Arno Scharl	Reference Modeling of Commercial Web Information Systems Using the Extended World Wide Web Design Technique (eW3DT).	HICSS (4)	1998	DBLP DOI BibTeX RDF
10	Jan L. G. Dietz, Hans B. F. Mulder	Organizational Transformation Requires Constructional Knowledge of Business Systems.	HICSS (5)	1998	DBLP DOI BibTeX RDF
10	Pierre Chartier	Formalisation of B in Isabelle/HOL.	B	1998	DBLP DOI BibTeX RDF
10	Sven-Erik Bornscheuer, Helko Lehmann	On the Combination of Partial Action Descriptions.	Australian Joint Conference on Artificial Intelligence	1998	DBLP DOI BibTeX RDF
10	Paolo A. G. Sivilotti	A class of synchronization systems that permit the use of large atomic blocks.	CASCON	1998	DBLP BibTeX RDF
10	Gary T. Leavens, Jeannette M. Wing	Protective Interface Specifications.	TAPSOFT	1997	DBLP DOI BibTeX RDF
10	Mauno Rönkkö, Anders P. Ravn	Action Systems with Continuous Behaviour.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
10	Marcello M. Bonsangue, Joost N. Kok	Specifying Computations Using Hyper Transition Systems.	MFCS	1997	DBLP DOI BibTeX RDF
10	Yoav Rosenberg, Michael Werman	A general filter for measurements with any probability distribution.	CVPR	1997	DBLP DOI BibTeX RDF	general distribution filter, compact distributions, filtering theory, probability distribution, optimal filter, discrete distributions
10	Gerald C. Gannod, Betty H. C. Cheng	A Formal Automated Approach for Reverse Engineering Programs with Pointers.	ASE	1997	DBLP DOI BibTeX RDF	reverse engineering programs, formal automated approach, formal specification, formal specifications, reverse engineering, programming language, formal semantics, pointers
10	John B. Theocharis, George J. Vachtsevanos	Adaptive Fuzzy Neural Networks as identifiers of discrete-time nonlinear dynamic systems.	J. Intell. Robotic Syst.	1996	DBLP DOI BibTeX RDF	structure/parameter learning, adaptive rule base, fuzzy neural networks
10	Carroll Morgan, Annabelle McIver, Karen Seidel 0002	Probabilistic Predicate Transformers.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	probability, refinement, nondeterminism, weakest preconditions, Galois connection, predicate transformers, program derivation
10	Joseph J. Comuzzi, Johnson M. Hart	Program Slicing Using Weakest Preconditions.	FME	1996	DBLP DOI BibTeX RDF
10	Jacob Savir	Shrinking wide compressors [BIST].	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
10	Jonathan Jacky	Specifying a Safety-Critical Control System in Z.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	cyclotron, Formal specification, safety, Z, process control, medical applications, radiation therapy
10	Michael K. Ng 0001	Nonlinear image restoration using FFT-based conjugate gradient methods.	ICIP	1995	DBLP DOI BibTeX RDF	atmospheric techniques, nonlinear image restoration, FFT-based conjugate gradient methods, space-invariant imaging system, weighted Toeplitz least squares problems, normal equations matrices, FFT-based preconditioners, regularized linear systems, ground-based atmospheric imaging problem, convergence, fast Fourier transforms, fast Fourier transforms, image restoration, iteration, least squares approximations, conjugate gradient methods, spatial domain, additive noise, Toeplitz matrices
10	Luc Bougé, David Cachera	On the Completeness of a Proof System for a Simple Data-Parallel Programming Language.	Euro-Par	1995	DBLP DOI BibTeX RDF	Specifying and Verifying and Reasoning about Programs, Concurrent Programming, Hoare Logic, Weakest Preconditions, Proof System, Data-Parallel Languages, Semantics of Programming Languages
10	Martina Schollmeyer, Bruce M. McMillin	Checking Program Proofs Made Eas.	COMPSAC	1995	DBLP DOI BibTeX RDF	temporal subsumption, proof checking, assertion-based reasoning, formal methods, program verification
10	Jacob Savir	On shrinking wide compressors.	VTS	1995	DBLP DOI BibTeX RDF	wiring overhead, detection probability loss, test length penalty, fault coverage degradation, fault diagnosis, logic testing, built-in self test, built-in self-test, integrated circuit testing, shift registers, pseudo-random test, MISRs, parity, multiple-input signature registers
10	Gerald Futschek	Algebraic Properties of Loop Invariants.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
10	Victor Carreño	Verification in Higher Order Logic of Mutual Exclusion Algorithm.	HUG	1993	DBLP DOI BibTeX RDF
10	Jonathan Jacky	Specifying a Safety-Critical Control System in Z.	FME	1993	DBLP DOI BibTeX RDF
10	Orly Kremien, Jeff Kramer	Methodical Analysis of Adaptive Load Sharing Algorithms.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	adaptive load sharing algorithms, allocation decision making, local decisions, efficient state, dissemination techniques, efficiency measures, delay characteristics, load-sharing hit-ratio, remote execution requests, performance evaluation, parallel algorithms, information dissemination, information dissemination, storage allocation, quantitative analysis, qualitative analysis, remote execution
10	Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl	Proving Total Correctness of Programs in Weak Second-Order Logic.	REX Workshop	1992	DBLP DOI BibTeX RDF	Imperative programming language, weak second-order logic, normal form theorem, nondeterminism, weakest preconditions, guarded commands
10	Saimond Ip, Tony Holden	A Knowledge Based Technique for the Process Modelling of Information Systems: The Object Life Cycle Diagram.	CAiSE	1992	DBLP DOI BibTeX RDF
10	Chao-Huang Chang, Gilbert K. Krulee	Resolution of ambiguity in Chinese and its application to machine translation.	Mach. Transl.	1991	DBLP DOI BibTeX RDF	ambiguity typology, serial verb construction, predication ambiguity, semantic functional grammar, disambiguation, Chinese
10	Betty Salzberg, David B. Lomet	Spatial Database Access Methods.	SIGMOD Rec.	1991	DBLP DOI BibTeX RDF
10	Zhong-Yi Zhao, Qi-Ming Zhang, Gen-Lin Tan, J. M. (Jimmy) Xu	A new preconditioner for CGS iteration in solving large sparse nonsymmetric linear equations in semiconductor device simulation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
10	Jozef Hooman	Compositional Verification of Real-Time Systems using Extended Hoare Triples.	REX Workshop	1991	DBLP DOI BibTeX RDF	Hoare triples, Verification, Real-time, Specification, Compositionality
10	David Lorge Parnas	On Iterative Constructs.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
10	Patrick M. Lenders, Heiko Schröder 0001, Peter E. Strazdins	Microprogramming instruction systolic arrays.	MICRO	1989	DBLP DOI BibTeX RDF
10	Ralph-Johan Back, Joakim von Wright	Refinement Calculus, Part I: Sequential Nondeterministic Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	angelic nondeterminism, demonic non-determinism, miraculous statements, inverse statements, lattices, weakest preconditions, Stepwise refinement, data refinement, specification methods, total correctness
10	R. Geoff Dromey	Systematic Program Development.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	goal-oriented programming, case analysis, constructive program proofs, software engineering, data structure, refinements, programming, program development, problem decomposition, program structure, postcondition
10	Carroll Morgan	The Specification Statement.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
10	Krzysztof R. Apt, Gordon D. Plotkin	Countable nondeterminism and random assignment.	J. ACM	1986	DBLP DOI BibTeX RDF
10	Dominique Méry	A Proof System to Derive Evantually Properties Under Justice Hypothesis.	MFCS	1986	DBLP DOI BibTeX RDF
10	Zhou Chaochen	Weakest environment of communicating processes.	AFIPS National Computer Conference	1982	DBLP DOI BibTeX RDF
10	Krzysztof R. Apt, Gordon D. Plotkin	A Cook's Tour of Countable Nondeterminism.	ICALP	1981	DBLP DOI BibTeX RDF
10	Andrzej Blikle	Assertion Programming.	MFCS	1979	DBLP DOI BibTeX RDF
10	David Harel, Vaughan R. Pratt	Nondeterminism in Logics of Programs.	POPL	1978	DBLP DOI BibTeX RDF
10	Willem P. de Roever	Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination.	MFCS	1976	DBLP DOI BibTeX RDF