|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8467 occurrences of 3600 keywords
|
|
|
Results
Found 8775 publication records. Showing 8775 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Stan Matwin, Amy P. Felty, István T. Hernádvölgyi, Venanzio Capretta |
Privacy in Data Mining Using Formal Methods. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Mark Schäfer, Walter Vogler |
Component Refinement and CSC Solving for STG Decomposition. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Michinori Nakata, Hiroshi Sakai |
Rough Sets Handling Missing Values Probabilistically Interpreted. |
RSFDGrC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Sven Beyer, Peter Böhm, Michael Gerke 0002, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul |
Towards the Formal Verification of Lower System Layers in Automotive Systems. |
ICCD |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles |
Formal validation of pattern matching code. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
multi-match, verified code, compilation, pattern matching, term rewriting |
15 | Yuki Chiba, Takahito Aoto 0001, Yoshihito Toyama |
Program transformation by templates based on term rewriting. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
inductive theorem proving, tree homomorphism, program transformation, term rewriting |
15 | David Pichardie |
Modular Proof Principles for Parameterised Concretizations. |
CASSIS |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Tony Clear |
Students becoming political and "incorrect" through agile methods. |
ACM SIGCSE Bull. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Arun Subbiah, Douglas M. Blough |
Distributed Diagnosis in Dynamic Fault Environments. |
IEEE Trans. Parallel Distributed Syst. |
2004 |
DBLP DOI BibTeX RDF |
fault tolerance, synchronous systems, Distributed diagnosis, dynamic failures |
15 | Christie Bolton, Gavin Lowe |
Analyses of the Reverse Path Forwarding Routing Algorithm. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Giuliano Pacini, Giuseppe Fiorentino, Annalina Fabrizio |
Learning problem solving with spreadsheet and database tools. |
ITiCSE |
2004 |
DBLP DOI BibTeX RDF |
self-assessment, self-learning |
15 | Kun Peng, Colin Boyd, Ed Dawson, Kapalee Viswanathan |
A Correct, Private, and Efficient Mix Network. |
Public Key Cryptography |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Michel Paquette, Andrzej Pelc |
Optimal Decision Strategies in Byzantine Environments. |
SIROCCO |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Kung-Kiu Lau, Mario Ornaghi |
Specifying Compositional Units for Correct Program Development in Computational Logic. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Frank Lin, Teruko Mitamura |
Keyword Translation from English to Chinese for Multilingual QA. |
AMTA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Yuhui Jin, Robert E. Strom |
Relational subscription middleware for Internet-scale publish-subscribe. |
DEBS |
2003 |
DBLP DOI BibTeX RDF |
event distribution systems, relational subscriptions, continuous queries, monotonicity |
15 | Houman Younessi, Panlop Zeephongsekul, Winai Bodhisuwan |
A General Model of Unit Testing Efficacy. |
Softw. Qual. J. |
2002 |
DBLP DOI BibTeX RDF |
process efficacy, unit testing efficacy model, usability, reliability, software quality, software process, functionality, maintainability, defect management |
15 | Dan Boneh, Philippe Golle |
Almost entirely correct mixing with applications to voting. |
CCS |
2002 |
DBLP DOI BibTeX RDF |
electronic voting, mix networks |
15 | Daniel Powell |
Deriving Verification Conditions and Program Assertions to Support Software Inspection. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
practical formal methods, stepwise abstraction, clean-room software development, verification, inspection, reading techniques, trusted components |
15 | C. A. R. Hoare |
Assertions in Programming: From Scientific Theory to Engineering Practice. |
Soft-Ware |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Joachim Wegener, Matthias Grochtmann |
Evolutionärer Test von Realzeitsystemen. |
Inform. Forsch. Entwickl. |
2000 |
DBLP DOI BibTeX RDF |
Realzeitsystem, Zeitverhalten, Evolutionärer Test, Evolutionäre Algorithmen, Test |
15 | Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott |
Independence in CLP languages. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
parallelism, constraint logic programming, independence |
15 | Todd M. Austin |
DIVA: A Reliable Substrate for Deep Submicron Microarchitecture Design. |
MICRO |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Ekaterina Pavlova, Dang Van Hung |
A Formal Specification of the Concurrency Control in Real-Time Databases. |
APSEC |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Purnendu Sinha, Neeraj Suri |
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols. |
RTSS |
1999 |
DBLP DOI BibTeX RDF |
Dependable Real-time Protocols, Scheduling, Formal Techniques |
15 | Deepak Kapur, Mahadevan Subramaniam |
Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover. |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
|
15 | John Hannan |
Searching For Semantics. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Mads Nygård, Sintef Delab |
Article-Acquisition: A Scenario for Non-Serializability in a Distributed Database. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Wolfgang Reif |
Verification of Large Software Systems. |
FSTTCS |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Khaled M. Elleithy, Magdy A. Bayoumi |
A Framework for High Level Synthesis of Digital Architectures from U-Recursive Algorithms. |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Maurice Herlihy, Jeannette M. Wing |
Linearizable concurrent objects. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
15 | N. W. P. van Diepen |
Implementation of Modular Algebraic Specifications. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Tobias Nipkow |
Are Homomorphisms Sufficient for Behavioural Implementations of Deterministic and Nondeterministic Data Types? |
STACS |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Stephen D. Brookes |
A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language with Sharing. |
Mathematical Foundations of Programming Semantics |
1985 |
DBLP DOI BibTeX RDF |
|
15 | Edmund M. Clarke, Steven M. German, Joseph Y. Halpern |
On Effective Axiomatizations of Hoare Logics. |
POPL |
1982 |
DBLP DOI BibTeX RDF |
|
15 | Takuya Katayama, Yutaka Hoshino |
Verification of Attribute Grammars. |
POPL |
1981 |
DBLP DOI BibTeX RDF |
|
15 | Patrick Cousot, Radhia Cousot |
Systematic Design of Program Analysis Frameworks. |
POPL |
1979 |
DBLP DOI BibTeX RDF |
|
15 | Glen E. Newton |
Proving Properties of Interacting Processes. |
Acta Informatica |
1974 |
DBLP DOI BibTeX RDF |
|
12 | Laura Carnevali, Lorenzo Ridi, Enrico Vicario |
Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
symbolic state-space enumeration, preemptive Time Petri Net, non-Markovian Stochastic Petri Net, quantitative evaluation, Correctness verification, stochastic Time Petri Net |
12 | Akhil Kumar 0001, Anup K. Sen, Meda H. Sundari, Amitava Bagchi |
Semantic Notions of Weakly Correct AND/XOR Business Workflows Based on Partial Synchronization. |
IEEE SCC |
2011 |
DBLP DOI BibTeX RDF |
AND/XOR graphs, s-correctness, partial synchronization, corresponding pairs, r-soundness |
12 | Abdoulaye Gamatié, Vlad Rusu, Éric Rutten |
Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design. |
ISPDC |
2010 |
DBLP DOI BibTeX RDF |
Marte Repetitive Structure Modeling, correctness, operational semantics, data-parallelism |
12 | Amirreza Tahamtan, Johann Eder |
Privacy Preservation Through Process Views. |
AINA Workshops |
2010 |
DBLP DOI BibTeX RDF |
Privacy, Abstraction, Aggregation, Correctness, Process Views |
12 | Minoru Nakayama, Yuko Hayashi |
Estimation of viewer's response for contextual understanding of tasks using features of eye-movements. |
ETRA |
2010 |
DBLP DOI BibTeX RDF |
answer correctness, eye-movement metrics, user's response estimation, eye-movements, discriminant analysis |
12 | Olivier Coudert |
An efficient algorithm to verify generalized false paths. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
co-sensitization, generalized false path, timing exception, formal verification, correctness, SAT, sensitization, false path, SDC |
12 | Dario Colazzo, Carlo Sartiani |
Detection of corrupted schema mappings in XML data integration systems. |
ACM Trans. Internet Techn. |
2009 |
DBLP DOI BibTeX RDF |
mapping correctness, XML, data integration, type systems, p2p systems, type inference, data exchange |
12 | Long Lin, Chee-Keng Yap |
Adaptive isotopic approximation of nonsingular curves: the parametrizability and nonlocal isotopy approach. |
SCG |
2009 |
DBLP DOI BibTeX RDF |
curve approximation, exact numerical algorithm, parametrizability, topological correctness, meshing, isotopy, subdivision algorithm |
12 | Anup Kumar Bandyopadhyay |
Weakest precondition based verification tool that models spatial ordering. |
ACM SIGSOFT Softw. Eng. Notes |
2008 |
DBLP DOI BibTeX RDF |
spatial ordering, distributed systems, correctness, weakest precondition |
12 | Xavier Leroy, Sandrine Blazy |
Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
The Coq proof assistant, Compilation, C, Program verification, Memory model, Compiler correctness |
12 | Yixiang Chen, Hengyang Wu |
Semantics of sub-probabilistic programs. |
Frontiers Comput. Sci. China |
2008 |
DBLP DOI BibTeX RDF |
sub-probabilistic programs, wp-calculus, total correctness |
12 | Leo Freitas, Jim Woodcock 0001 |
Mechanising Mondex with Z/Eves. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Electronic finance, Grand Challenge in Verified Software, Software archaeology, Z/Eves, Security, Verification, Refinement, Theorem proving, Smart cards, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex |
12 | Jim Woodcock 0001, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob |
The certification of the Mondex electronic purse to ITSEC Level E6. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Electronic finance, Grand Challenge in Verified Software, ITSEC Level E6, Security, Verification, Refinement, Theorem proving, Smart cards, Certification, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex |
12 | Cezara Dragoi, Gheorghe Stefanescu |
On Compiling Structured Interactive Programs with Registers and Voices. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
structured rv-systems, registers and voices, programming languages, interactive systems, operational semantics, compiler correctness |
12 | Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal |
Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus. |
ACM SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
weakest precondition, program specification, deadlock freedom, program correctness |
12 | Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal |
Ordering of events in two-process concurrent system. |
ACM SIGSOFT Softw. Eng. Notes |
2007 |
DBLP DOI BibTeX RDF |
parallel processing, weakest precondition, program specification, program correctness |
12 | Michinori Nakata, Hiroshi Sakai |
Lower and Upper Approximations in Data Tables Containing Possibilistic Information. |
Trans. Rough Sets |
2007 |
DBLP DOI BibTeX RDF |
Imprecise value, Correctness criterion, Weighted equivalence class, Rough sets, Lower and upper approximations |
12 | Jeremy E. Dawson |
Formalising Generalised Substitutions. |
TPHOLs |
2007 |
DBLP DOI BibTeX RDF |
general correctness, generalised substitution |
12 | John K. Debenham |
Maintaining knowledge with a formal model. |
Appl. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Knowledge-based systems, Conceptual modelling, Maintenance, Correctness |
12 | Andrei V. Klimov |
Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
specification, correctness, partial evaluation, specialization, driving, natural semantics, supercompilation, program equivalence |
12 | Nicolas Guelfi, Amel Mammar |
A formal framework to generate XPDL specifications from UML activity diagrams. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
XPDL language, transformations, correctness proofs, UML activity diagrams |
12 | Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson |
Type-theoretic design patterns. |
ICFP-WGP |
2006 |
DBLP DOI BibTeX RDF |
functional objects, language features, formal method, object-oriented programming, design patterns, functional programming, reasoning, dependent types, program correctness, visitor pattern |
12 | Jean-Raymond Abrial |
Formal methods in industry: achievements, problems, future. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
formal method, correctness, development process, B, train system |
12 | Gerhard Gröger, Lutz Plümer |
How to Get 3-D for the Price of 2-D-Topology and Consistency of 3-D Urban GIS. |
GeoInformatica |
2005 |
DBLP DOI BibTeX RDF |
2.5-D, 2.8-D, GIS, maps, consistency, topology, completeness, correctness, axioms, 3-D |
12 | Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers |
Automated soundness proofs for dataflow analyses and transformations via local rules. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
automated correctness proofs, compiler optimization |
12 | Ilana Bass, Dvir Lanzberg |
Teaching to analyze solutions using FGA. |
ITiCSE |
2005 |
DBLP DOI BibTeX RDF |
correctness analysis, pseudo code, data structures, algorithm design |
12 | Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet |
Synchronization of periodic clocks. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
high-performance video streaming, type inference and sub-typing, synchronous language, correctness by construction |
12 | Laurent Fribourg, Stéphane Messika |
Brief announcement: coupling for Markov decision processes - application to self-stabilization with arbitrary schedulers. |
PODC |
2005 |
DBLP DOI BibTeX RDF |
fault tolerance, verification, correctness, rates of convergence, randomized distributed algorithms |
12 | Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman |
Exploiting suspected redundancy without proving it. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
correctness-preserving transformations, sequential equivalence, sequential redundancy removal, checking |
12 | Nikola Milanovic, Miroslaw Malek |
Architectural Support for Automatic Service Composition. |
IEEE SCC |
2005 |
DBLP DOI BibTeX RDF |
Web services, architecture, trust, search, correctness, automatic service composition |
12 | Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay |
Adding the leads-to operator to Dijkstra's calculus. |
ACM SIGPLAN Notices |
2004 |
DBLP DOI BibTeX RDF |
guarded process, non-deterministic selection, weakest cooperation, distributed systems, protocol, correctness, weakest precondition |
12 | Virginia Niculescu |
On Data Distributions in the Construction of Parallel Programs. |
J. Supercomput. |
2004 |
DBLP DOI BibTeX RDF |
complexity, parallel computation, distribution, correctness, numerical algorithms |
12 | Patricia Bouyer |
Forward Analysis of Updatable Timed Automata. |
Formal Methods Syst. Des. |
2004 |
DBLP DOI BibTeX RDF |
(updatable) timed automata, forward analysis algorithm, widening operator, data structure, correctness |
12 | John Teifel, Rajit Manohar |
Highly pipelined asynchronous FPGAs. |
FPGA |
2004 |
DBLP DOI BibTeX RDF |
concurrency, pipelining, asynchronous circuits, programmable logic, correctness by construction |
12 | Patricia Johann, Janis Voigtländer |
Free theorems in the presence of seq. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
controlling strict evaluation, short cut fusion, theorems for free, program transformations, Haskell, denotational semantics, parametricity, correctness proofs, logical relations |
12 | Laura K. Dillon, Kurt Stirewalt |
Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
Amalia, analysis software, engineering trade-offs, inference graphs, transparent design, program transformations, operational semantics, proofs of correctness |
12 | Stacy J. Prowell, Jesse H. Poore |
Foundations of Sequence-Based Software Specification. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
sequence-based specification, trace specification, consistency, completeness, correctness, requirements analysis, Software specification |
12 | Emil Sekerinski |
Exploring Tabular Verification and Refinement. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Program development, Program specification, Program correctness, Tabular expressions |
12 | Jei-Wen Teng, Yih-Kuen Tsay |
Composing Temporal-Logic Specifications with Machine Assistance. |
FME |
2003 |
DBLP DOI BibTeX RDF |
Assumption-Guarantee, Compositional Specification, Formal Correctness, Temporal Logic, Theorem Proving, Concurrent Systems, PVS, Compositional Verification, Component-Based Software |
12 | Rex L. Page |
Software is discrete mathematics. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
software engineering, formal methods, functional programming, correctness proofs, discrete mathematics, predicate logic |
12 | Yasuhiko Minamide, Koji Okuma |
Verifying CPS transformations in Isabelle/HOL. |
MERLIN |
2003 |
DBLP DOI BibTeX RDF |
program transformation, theorem proving, correctness proofs |
12 | Gerhard Gröger, Lutz Plümer |
Exploiting 2D concepts to achieve consistency in 3D GIS applications. |
GIS |
2003 |
DBLP DOI BibTeX RDF |
GIS, maps, consistency, completeness, 3D, correctness, axioms |
12 | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
A graph-based formalism for RBAC. |
ACM Trans. Inf. Syst. Secur. |
2002 |
DBLP DOI BibTeX RDF |
Access control in information systems, decentralized administration, permission management, role-based access control, correctness, graph transformations |
12 | Premkumar T. Devanbu, Stuart G. Stubblebine |
Stack and Queue Integrity on Hostile Platforms. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
correctness of memories, oblivious ram, security, data structures, software protection |
12 | Mathias Weske |
Formal Foundation and Conceptual Design of Dynamic Adaptations in a Workflow Management System. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
Object-Oriented Design, Workflow Management, Adaptive Workflows, Correctness Criteria |
12 | Egon Börger, Wolfram Schulte |
A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Java, compiler, Semantics, exception handling, Java Virtual Machine, correctness, abstract state machines |
12 | Raymond T. Boute |
Supertotal Function Definition in Mathematics and Software Engineering. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
calculational reasoning, functional mathematics, guarded formulas, conditional expressions, undefinedness, Formal methods, subtyping, software specification, predicate calculus, type correctness |
12 | Michael W. Whalen |
High-integrity code generation for state-based formalisms. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
correctness preserving code generation, formal methods, code optimization |
12 | Monika Kapus-Kolar |
Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOS. |
Distributed Comput. |
1999 |
DBLP DOI BibTeX RDF |
Distributed service implementation, Compositional correctness-preserving transformation, LOTOS, Protocol synthesis |
12 | José Ramón González de Mendívil, Federico Fariña, José Ramón Garitagoitia, Carlos F. Alastruey, José M. Bernabéu-Aubán |
A Distributed Deadlock Resolution Algorithm for the AND Model. |
IEEE Trans. Parallel Distributed Syst. |
1999 |
DBLP DOI BibTeX RDF |
Deadlock detection/resolution, AND model, hierarchical correctness proofs, input/output automata model, distributed systems |
12 | Perdita Stevens |
A Verification Tool Seveloper's Vade Mecum. |
Int. J. Softw. Tools Technol. Transf. |
1998 |
DBLP DOI BibTeX RDF |
Software engineering, Quality, Correctness, Verification tools |
12 | Fatima Z. Mansouri, Cleveland Augustine Gibbon, Colin A. Higgins |
PRAM: prolog automatic marker. |
ITiCSE |
1998 |
DBLP DOI BibTeX RDF |
complexity, education, testing, metrics, Prolog, correctness, style, automatic marking |
12 | Hagen Völzer |
Verifying Fault Tolerance of Distributed Algorithms Formally - An Example. |
ACSD |
1998 |
DBLP DOI BibTeX RDF |
Modelling, Petri nets, Formal verification, Temporal logic, Correctness, Fault-tolerant algorithms |
12 | Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson |
A Formally Verified Sorting Certifier. |
IEEE Trans. Computers |
1997 |
DBLP DOI BibTeX RDF |
software correctness, certification trails, program result checking, Sorting, formal program verification |
12 | Rumen Andonov, Sanjay V. Rajopadhye |
Knapsack on VLSI: from Algorithm to Optimal Circuit. |
IEEE Trans. Parallel Distributed Syst. |
1997 |
DBLP DOI BibTeX RDF |
Application specific VLSI design, unbounded knapsack problem, space-time transformations, recurrence equations, dynamic dependencies, nonlinear discrete optimization, correctness preserving transformations, systolic arrays |
12 | Ayman M. Wahba, Dominique Borrione |
A method for automatic design error location and correction in combinational logic circuits. |
J. Electron. Test. |
1996 |
DBLP DOI BibTeX RDF |
design correctness, design error diagnosis, design debugging |
12 | Peter F. A. Middelhoek, Sreeranga P. Rajan |
From VHDL to efficient and first-time-right designs: a formal approach. |
ACM Trans. Design Autom. Electr. Syst. |
1996 |
DBLP DOI BibTeX RDF |
CDFG, SFG, rapid system prototyping, VHDL, VHDL, design methodology, correctness by construction, transformational design |
12 | Naftaly H. Minsky, Victoria Ungureanu, Junbiao Zhang, Wenhui Wang |
Building reconfiguration primitives into the law of a system. |
CDS |
1996 |
DBLP DOI BibTeX RDF |
softwar reconfiguration primitives, reconfiguration suite, primitive operations, reconfiguration suites, Moses, LGI, distributed systems, agents, distributed processing, rules, software reusability, correctness, configuration management, toolkit, software development management, law, architectural model, system functionality, law-governed interaction |
12 | Vinay K. Chaudhri, Vassos Hadzilacos |
Safe Locking Policies for Dynamic Databases. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
correctness issues, concurrency control |
12 | Daniel L. Palumbo |
The Derivation and Experimental Verification of Clock Synchronization Theory. |
IEEE Trans. Computers |
1994 |
DBLP DOI BibTeX RDF |
clock synchronization theory, Interactive Convergence Clock Synchronization Algorithm, Mid-Point Algorithm, clock circuitry, operating conditions, worst case failures, experimental verification, formal methods, formal verification, synchronisation, clock synchronization, clock skew, byzantine failure, proof of correctness, failure modes, timing circuits, malicious failures |
12 | Du Zhang, Doan Nguyen |
PREPARE: A Toll for Knowledge Base Verification. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
PREPARE, knowledge base verification, reliable knowledge-based systems, potential errors, predicate/transition net representation, incomplete rules, syntactic pattern recognition method, fully functioning inference engine, pattern recognition, knowledge based systems, program verification, logic, correctness, semantic networks, automated tool |
12 | Nabil R. Adam |
A New Dynamic Voting Algorithm for Distributed Database Systems. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
dynamic voting algorithm, communication link failure, dynamic-voting-consistency algorithm, algorithm correctness, read requests, read quorum, user requests, data object updating, majority partition, update rate, simple partitioning, data integrity, fault tolerant computing, distributed databases, software reliability, network topology, database theory, recovery, system recovery, data consistency, distributed database systems |
Displaying result #601 - #700 of 8775 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|