|
|
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 |
16 | Rafael Ramírez 0001 |
A logical approach for specification and execution of concurrent real-time systems. |
RTCSA |
1997 |
DBLP DOI BibTeX RDF |
logical approach, concurrent real time system specification, declarative logic programming based language, concurrent real time programming, procedural interpretation, concurrent programming paradigms, kernel language, concurrent real time object oriented framework, correctness, temporal constraints, safety properties, logic programming languages, time requirements |
16 | Matthew B. Dwyer |
Modular Flow Analysis for Concurrent Software. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
modular flow analysis, FLAVERS, early validation, individual module designs, system-level validation, whole-program automated static analysis technique, concurrent software systems, program flow analysis, explicitly stated correctness properties, modular analysis approach, realistic concurrent multi-component system, parallel programming |
16 | Alessandro Armando, Alan Smaill, Ian Green |
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
proof-planning paradigm, recursive functional programs, functional programming, correctness proofs, automatic synthesis, recursive programs, unification algorithm |
16 | Xuejun Zhao, Xinyu Liu, Shengling Zheng, Baochang Pan, Yuan Yan Tang |
On-line recognition handwritten mathematical symbol. |
ICDAR |
1997 |
DBLP DOI BibTeX RDF |
online handwritten mathematical symbol recognition, basic element ordering, standard symbols, basic element vector, basic element length vector, dynamic programming method, unmatching value, matching value, geometric restraints, improved Kohn-Munkres algorithm, correctness rate, incorrectness rate, refusal rate, handwriting recognition, relative positions |
16 | Farokh B. Bastani, Bojan Cukic |
Impact of program transformation on software reliability assessment. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
statistical sampling method, complete program paths, partial proofs, reliability assessment procedure, formal methods, program transformation, program verification, correctness, software fault tolerance, safety critical software, test cases, operational profile, reliability estimate, software reliability assessment |
16 | Thomas F. Keefe, Wei-Tek Tsai |
A multiversion transaction scheduler for centralized multilevel secure database systems. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
multiversion transaction scheduler, centralized multilevel secure database systems, multilevel secure database management systems, MLS/DBMSs, secure multiversion scheduling protocol, serializable schedules, MLS noninterference assertions, timestamp generation, concurrency, concurrency control, transactions, correctness, contention, failure, covert channels, data access, abstract model, concurrent execution, multiple versions |
16 | Erik Jacobsen, Eric Rotenberg, James E. Smith 0001 |
Assigning Confidence to Conditional Branch Predictions. |
MICRO |
1996 |
DBLP DOI BibTeX RDF |
branch correctness, conditional branch predictions, dynamic branches, processor resources, static branches, resource allocation |
16 | Gerald C. Gannod, Betty H. C. Cheng |
Using Informal and Formal Techniques for the Reverse Engineering of C Programs. |
WCRE |
1996 |
DBLP DOI BibTeX RDF |
informal techniques, higher level abstraction, programming methods, code correctness, ground-based command system, unmanned flight systems, spacecraft control, formal specifications, reverse engineering, reverse engineering, object-oriented programming, software maintenance, program understanding, legacy system, system re-engineering, formal techniques, C programs, program semantics |
16 | Brian Field, Daniel Mossé, Taieb Znati |
Simulation of ν-NET, a versatile network architecture for real-time and non-real-time traffic. |
Annual Simulation Symposium |
1996 |
DBLP DOI BibTeX RDF |
nonreal-time traffic, Versatile Network Architecture, /spl nu/-NET, flexible communication requirement support, traffic policing mechanisms, /spl nu/-NET validation, real-time performance requirements, /spl nu/-channel traffic profiles, /spl nu/-NET performance, simulations, scheduling, performance evaluation, real-time systems, virtual machines, multimedia systems, correctness, multimedia applications, wide area networks, telecommunication traffic, information dissemination, information networks, scheduling policies, real-time traffic, real-time networks, QoS requirements, packet scheduling algorithms |
16 | Souâd Taouil-Traverson, Sylvie Vignes |
Preliminary Analysis Cycle for B-Method Software Development. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
preliminary analysis cycle, B-method software development, a priori errors detection, inconsistency deficiencies, formal specification, formal specifications, formal methods, correctness proofs, incompleteness, testing process, software life-cycle |
16 | Corrie Huijs |
A Graph Rewriting Approach for Transformational Design of Digital Systems. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
graph rewriting approach, behaviour preserving transformations, compositional formal semantics, semantic aspects, attribute algebra, table algebra, database theory, visualisation, relation algebra, rewriting systems, digital systems, graph representations, correctness by construction, attributed graphs, transformational design |
16 | Olivier Thiry, Luc J. M. Claesen |
A formal verification technique for embedded software. |
ICCD |
1996 |
DBLP DOI BibTeX RDF |
embedded software correctness, assembly program code, CTL temporal logic formulae, embedded system application, assembly language program, formal verification, program verification, formal model, embedded software, processor architecture, instruction set |
16 | Young-Kuk Kim, Sang Hyuk Son |
Supporting predictability in real-time database systems. |
IEEE Real Time Technology and Applications Symposium |
1996 |
DBLP DOI BibTeX RDF |
multiple predictability levels, read times, transaction processing scheme, operating environment changes, critical transaction completion guarantees, correctness criterion, predictable transaction execution, data temporal consistency, deadline miss ratio minimization, simulation, performance, real-time systems, adaptability, specifications, data integrity, software reliability, transaction processing, database theory, temporal databases, timing constraints, software performance evaluation, serializability, temporal constraints, prediction theory, real-time database systems, transaction scheduling |
16 | Marcus Costa Sampaio, Stéphane Turc |
Cooperative Transactions: A Data-Driven Approach. |
HICSS (1) |
1996 |
DBLP DOI BibTeX RDF |
Cooperative transactions, cooperative atomicity, fault tolerance, distributed systems, concurrency control, persistency, nested transactions, correctness criteria |
16 | Yves Ledru |
Using KIDS as a Tool Support for VDM. |
ICSE |
1996 |
DBLP BibTeX RDF |
KIDS, REGROUP, VDM specifications, correctness preserving transformations, executable prototypes synthesis, proof of consistency, formal specification, REFINE, theorem proving, program verification, specification languages, tool support, theorem prover, VDM |
16 | Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider |
Correct Architecture Refinement. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
refinement patterns, relative correctness, Software architecture, formal methods, composition, hierarchy, stepwise refinement |
16 | Jens Palsberg, Cun Xiao, Karl J. Lieberherr |
Efficient Implementation of Adaptive Software. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
object traversal, correctness proof, adaptive software |
16 | Jens Palsberg |
Closure Analysis in Constraint Form. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
constraints, flow analysis, correctness proof |
16 | James W. Gray III, John McLean |
Using temporal logic to specify and verify cryptographic protocols. |
CSFW |
1995 |
DBLP DOI BibTeX RDF |
specify, system penetrator, correctness requirements, verification, formal specification, formal methods, cryptography, protocols, formal verification, temporal logic, temporal logic, cryptographic protocols, verify |
16 | Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis |
Consistency checking of SCR-style requirements specifications. |
RE |
1995 |
DBLP DOI BibTeX RDF |
SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness |
16 | Sandrine Blazy, Philippe Facon |
Formal Specification and Prototyping of a Program Specializer. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
software maintenance, rule induction, VDM, program specialization, structured operational semantics, proof of correctness, Centaur |
16 | José N. Amaral 0001, Joydeep Ghosh |
Performance measurements of a concurrent production system architecture without global synchronization. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
concurrent production system architecture, serializability criterion of correctness, production system machines, associative memory devices, parallel production firing, concurrent matching, overlap among matching, associative memory components, bus bandwidth, performance evaluation, performance evaluation, parallel architectures, knowledge based systems, performance measurements, parallel machine, serializability, content-addressable storage, cost effectiveness, global synchronization |
16 | K. Mani Chandy, Rajit Manohar, Berna L. Massingill, Daniel I. Meiron |
Integrating task and data parallelism with the group communication archetype. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
group communication archetype, parallel program archetype, reliable efficient parallel applications development, common computation structure, common communication structure, task/data parallelism integration, stepwise refinement methods, code libraries, sequential program transformation, target machine, parallel programming, correctness, libraries, granularity, data parallelism, software libraries, application generators, task parallelism |
16 | Gopal Chillariga, Balkrishna Ramkumar |
Performance prediction for portable parallel execution on MIMD architectures. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
portable parallel execution, parallel program development, simulation based approach, portable-parallel programs, Charm, message driven programming environment, program portability, MIMD parallel systems, single debugging environment, portable parallel software, parallel programming, parallel architectures, feedback, program verification, performance prediction, parallel systems, program debugging, software portability, program correctness, performance debugging, performance bottlenecks, MIMD architectures, program performance |
16 | Douglas Niehaus, John A. Stankovic, Krithi Ramamritham |
A real-time system description language. |
IEEE Real Time Technology and Applications Symposium |
1995 |
DBLP DOI BibTeX RDF |
real-time system description language, system design specification, automatic calculation, automatic analysis environment, design and analysis environment, specification changes, layered abstractions, concealed implementation details, timing correctness, robotic pick-and-place circuit board assembly, distributed real-time scheduling simulation, ease of modification, automatic loading, real-time systems, timing, specification languages, timing analysis, SDL, automatic linking, flexible manufacturing |
16 | B. Bayerdorffer |
Broadcast Time Warp. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
Broadcast Time Warp, correctness constraint, simulation-time order., global virtual time, computational event scheduling, inefficiency, transitivity delay, incremental rollback, virtual-time synchronization protocol, synchronization semantics, scheduling, protocols, distributed algorithms, distributed computations, broadcasting, delays, synchronisation, distributed simulation, partial order, total order, causal order, time warp simulation |
16 | Samvel K. Shoukourian, Armen G. Kostanian, Valery A. Margarian, Ayman A. Ashour |
An approach for system tests design and its application. |
VTS |
1995 |
DBLP DOI BibTeX RDF |
system test design, control testing table, testing processor, correctness problem, polynomial complexity algorithm, software system design, microcode synthesis, CAD system testing, performance evaluation, performance evaluation, program testing, mathematical model, multicomputer systems, computer testing, multi-user systems |
16 | Ramayya Kumar, Thomas Kropf, Klaus Schneider 0001 |
Formal synthesis of circuits with a simple handshake protocol. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
formal circuit synthesis, preproven building blocks, higher-order temporal operators, parametrized data signals, sequentially composed modules, parallel module composition, protocols, high level synthesis, logic design, operator semantics, template, formal logic, correctness proofs, synchronous circuits, handshake protocol, HOL theorem prover |
16 | Leo Motus, R. Kinksaar, Tonu Naks, M. Pall |
Enhancing object modelling technique with timing analysis capabilities. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
enhanced object modelling technique, timing analysis capabilities, timing correctness, software implementation problems, specification problems, time-constraint elicitation, Q-model, noncontradiction analysis, time modelling requirements, performance, software engineering, real-time systems, real-time systems, data integrity, timing, scheduling algorithms, timing constraints, object-oriented methods, consistency checking, application domain, integrity checking, design problems |
16 | Ramesh Yerraballi, Ravi Mukkamala |
Schedulability related issues in end-to-end systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
end-to-end systems, scheduling, real-time systems, scheduling algorithms, processor scheduling, schedulability analysis, proof of correctness, uniprocessor systems |
16 | Pam Binns, Steve Vestal |
Architecture specifications for complex real-time dependable systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
complex real-time dependable systems, automated analytic modeling, automated system implementation, real-time systems, formal specification, program verification, specification languages, specification languages, formal models, program correctness, architecture specifications |
16 | Gruia-Catalin Roman, C. Donald Wilcox |
Architecture-Directed Refinement. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
architectural constraints, program derivation process, architecture-directed refinement, software engineering, formal specification, parallel programming, formal methods, specification, parallel architectures, correctness, design process, concurrent systems, program refinements |
16 | Ajay D. Kshemkalyani, Mukesh Singhal |
Efficient Detection and Resolution of Generalized Distributed Deadlocks. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
generalized distributed deadlock resolution, one-phase algorithm, concurrent sweeps, generalized distributed deadlock detection, outward sweep, distributed wait-for-graph, inward sweep, distributed snapshot, algorithm correctness, worst-case message complexity, leaf nodes, distributed system, computational complexity, concurrency control, directed graphs, directed graph, time complexity, messages, operating systems (computers), graph reduction |
16 | Jianan Li, Ichiro Suzuki, Masafumi Yamashita |
A New Structural Induction Theorem for Rings of Temporal Petri Nets. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
structural induction theorem, temporal Petri nets, identical components, temporal logic formula, similar behavior, demand-driven token circulation, Petri nets, formal verification, formal verification, temporal logic, correctness, temporal reasoning, rings |
16 | Nirmal R. Saxena, Edward J. McCluskey |
Linear Complexity Assertions for Sorting. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
linear complexity assertions, sorting programs, programs correctness checking, order assertion, permutation assertion, sorted data, descending order, ascending order, output data, order-sum assertion, partition theory, watchdog checker, program verification, sorting, error detection, programming theory, program debugging, execution time, program diagnostics, error checking, program execution, partition functions, input data |
16 | David Lorge Parnas, Jan Madey, Michal Iglewski |
Precise Documentation of Well-Structured Programs. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
precise documentation, well-structured programs, program fragments, reference document, functional approach, program documentation, tabular form, software engineering, formal specification, specification, software maintenance, software maintenance, program verification, program verification, displays, software inspection, index, structured programming, lexicon, system documentation, program correctness |
16 | Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli |
A Formal Framework for ASTRAL Intralevel Proof Obligations. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
intralevel proof obligations, formal software development, mathematical correctness, ASLAN, TRIO, real-time systems, real-time systems, verification, formal specification, formal specification, formal methods, finite state machines, program verification, specification languages, state machines, formal specification language, formal proof, timing requirements, ASTRAL |
16 | Richard C. Linger |
Cleanroom Process Model. |
IEEE Softw. |
1994 |
DBLP DOI BibTeX RDF |
cleanroom process model, team-oriented process, code increments, statistical quality certification, software quality, program verification, quality control, statistical quality control, correctness verification, cleanroom software engineering |
16 | Kang G. Shin, Chih-Che Chou |
A Simple Distributed Loop-Free Routing Strategy for Computer Communication Networks. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
loadchanges, distributed adaptive routing, distributed loop-free routing, network delay tables, routingmessages, fault tolerant computing, computer networks, computer networks, correctness, network routing, fault-tolerant routing, ARPANET, loop-free, routing strategy, component failures, computer communication networks |
16 | Tracy Camp, Phil Kearns, Mohan Ahuja |
Proof Rules for Flush Channels. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
flush channels, asynchronous communication constructs, datagrams, receipt-order restrictions, message-by-message basis, Hoare-style partial correctness verification methodology, concurrency, distributed processing, program verification, distributed program, virtual circuits |
16 | Gruia-Catalin Roman, Rose F. Gamble, William E. Ball |
Formal Derivation of Rule-Based Programs. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
efficient concurrent rule-based programs, initial rule-based program, program derivation strategy, UNITY programs, correct rule-based program, static knowledge base, formal specification, parallel programming, logic programming, knowledge based systems, computational model, Swarm, OPS5, specification refinement, correctness criteria, program refinement |
16 | Ralf Hartmut Güting, Markus Schneider 0001 |
Realms: A Foundation for Spatial Data Types in Database Systems. |
SSD |
1993 |
DBLP DOI BibTeX RDF |
Spatial data types, realm, finite resolution, numerical robustness, topological correctness, geometric consistency, algebra |
16 | Gianfranco Balbo, Giovanni Chiola, Steven C. Bruell, Pozung Chen |
An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm. |
IEEE Trans. Parallel Distributed Syst. |
1992 |
DBLP DOI BibTeX RDF |
colored stochastic Petri nets, Lamport concurrentalgorithm, parametric formal proof of liveness, Markovian analysis, distributedprocessing, performance evaluation, distributed systems, Petri nets, concurrency control, Markov processes, concurrent program, correctness, stochastic processes, performanceevaluation, mutual exclusion problem |
16 | Brendan P. Mahony, Ian J. Hayes |
A Case-Study in Timed Refinement: A Mine Pump. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
top-level refinement, simple mine pump control system, time-based systems, topologically continuous functions, discrete properties, basic building block, specification statement, refinement laws, computerized monitoring, pumps, formal specification, parallel processes, formal method, pipelined, theorem proving, mining, refinement calculus, design decisions, sequential programs, timed systems, proof of correctness |
16 | Richard Gerber 0001, Insup Lee 0001 |
A Layered Approach to Automating the Verification of Real-Time Systems. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
CSR Application Language, high-level language constructs, periodic processes, configuration schema, CCSR process algebra, resource-based computation model, prioritized transition system, reachability analyzer, CCSR semantics, exception state, multisensor robot example, calculus of communicating systems, real-time systems, real-time systems, verification, formal specification, formal verification, specification, exception handling, exception handling, interrupts, correctness, deadlines, high level languages, timeouts, communication links, system resources, layered approach |
16 | Ralph-Johan Back, Joakim von Wright |
Predicate Transformers and Higher Order Logic. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
nondeterminism, higher order logic, state spaces, weakest preconditions, procedures, Stepwise refinement, predicate transformers, HOL, semantics of programming languages, total correctness |
16 | H. Conrad Cunningham, Gruia-Catalin Roman |
A UNITY-Style Programming Logic for Shared Dataspace Programs. |
IEEE Trans. Parallel Distributed Syst. |
1990 |
DBLP DOI BibTeX RDF |
UNITY-style programming logic, shared dataspace programs, program verification, Swarm, proof system, program correctness |
16 | Edward Omiecinski |
A Parallel Algorithm for Relational Database Normalization. |
IEEE Trans. Parallel Distributed Syst. |
1990 |
DBLP DOI BibTeX RDF |
relational database normalization, database normalization, relation schemes, third normal form algorithm, serial algorithms, minimal covers, parallel algorithm, parallel algorithms, relational databases, correctness, functional dependencies |
16 | Menkae Jeng, Howard Jay Siegel |
A Distributed Management Scheme for Partitionable Parallel Computers. |
IEEE Trans. Parallel Distributed Syst. |
1990 |
DBLP DOI BibTeX RDF |
distributed splitting process, speed-up oriented, resource fragments, distributed combining process, throughput oriented, distributed management scheme, partitionable parallel computers, multistage cube, extra-stage cube networks, computational complexity, parallel computation, interconnection networks, parallel architectures, hypercube, multiprocessor interconnection networks, correctness, task allocation, omega, PASM, dynamic partitioning |
16 | Louise E. Moser |
Data Dependency Graphs for Ada Programs. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
composition rules, primitive program statements, data structures, Ada, tracking, programming, information flow, exception handling, correctness, recursion, tasking, iteration, data dependency graphs, Ada programs, program development environment |
16 | David Guaspari, Carla Marceau, Wolfgang Polak |
Formal Verification of Ada Programs. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
Penelope verification editor, formal basis, interactive development, logical soundness, interface languages, software engineering, Ada, program verification, correctness proof, prototype system, predicate transformers, Ada programs |
16 | Dipankar Sarkar 0001, S. C. De Sarkar |
A Theorem Prover for Verifying Iterative Programs Over Integers. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
rule-based theorem prover, iterative programs, overall proof construction strategy, array-sorting program, expert systems, theorem proving, program verification, performance measures, iterative methods, correctness proofs |
16 | Bo Ingvar Sandén |
Correction to "The Case for Electric Design of Real-Time Software''. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
communication deadlocks detection, distributed scheme, distributed processing, correctness proof |
16 | William R. Bevier |
Kit: A Study in Operating System Verification. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
multitasking operating system kernel, machine language, uniprocessor von Neumann computer, conceptually distributed communicating processes, asynchronous devices, security-related results, supervisor mode, Boyer-Moore logic, Boyer-Moore theorem prover, verification, interface, message passing, theorem proving, program verification, operating systems (computers), multiprogramming, correctness proof, process scheduling, error handling, Kit |
16 | Liu Lingzhong |
Comments on "A Distributed Scheme for Detecting Communication Deadlocks''. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
communication deadlocks detection, distributed scheme, distributed processing, correctness proof |
16 | Bharat Jayaraman |
Semantics of EqL. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
Correctness theorems, equational programming, equation solving, object refinement, logic programming, functional programming, denotational semantics, reduction semantics |
16 | Tony T. Lee, Ming-Yee Lai |
A Relational Algebraic Approach to Protocol Verification. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
logical correctness, transition table, global-state transitions, protocols, relational databases, relational databases, finite-state machine, program verification, deadlocks, database theory, finite automata, protocol verification, INGRES |
16 | Carlos Urias Munoz |
An Approach to Software Product Testing. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
software product testing, self-checking test cases, black box test cases, random test cases, correctness measurements, defect circumvention, sampling, program testing, program testing, automatic test case generation, exhaustive testing |
16 | Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen |
A Class of Inherently Fault Tolerant Distributed Programs. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
fault tolerant distributed programs, decentralized control concepts, robot, fault tolerant computing, distributed processing, program verification, correctness, programming theory, industrial robots, robot programming, self-stabilizing systems, industrial process-control |
16 | Alexander Aiken, Alexandru Nicolau |
A Development Environment for Horizontal Microcode. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
horizontal microcode, percolation scheduling, interactive profiling system, microcode compaction process, correctness preservation, semantics-preserving transformations, scheduling, user interfaces, architecture, parallel programming, synchronization, programming environments, synchronisation, graphical interface, development environment, microprogramming, parallelism extraction |
16 | Deepinder P. Sidhu, Carole S. Crall |
Executable Logic Specifications for Protocol Service Interfaces. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
executable logic specifications, protocol service interfaces, formal modeling technique, logic-programming-based language, protocol layers, protocol standards, ISO/OSI, protocols, Prolog, PROLOG, specification languages, correctness, formal language, formal languages, transport layer |
16 | Abha Moitra, S. Sitharama Iyengar, Farokh B. Bastani, I-Ling Yen |
Multilevel Data Structures: Models and Performance. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
multilevel data structure, data structures, concurrency, software reliability, program verification, program verification, programming theory, correctness proof, data organization, maintenance processes |
16 | Hector Garcia-Molina, Boris Kogan |
Achieving High Availability in Distributed Databases. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
communication failures, controlling entity, correctness criterion, transaction execution, fragmentwise serializability, agent, fault tolerant computing, fault tolerant computing, distributed databases, distributed databases, software reliability, program verification, database theory, network partitions, data availability |
16 | Philip L. Lehman, S. Bing Yao |
Efficient Locking for Concurrent Operations on B-Trees. |
ACM Trans. Database Syst. |
1981 |
DBLP DOI BibTeX RDF |
concurrenct algorithms, consistencey, index organizations, multiway search trees, database, data structures, concurrency controls, correctness, B-tree, locking protocols |
16 | P. A. Subrahmanyam |
Nondeterminism in Abstract Data Types. |
ICALP |
1981 |
DBLP DOI BibTeX RDF |
nondeterministic operations, extraction equivalence, observable behavior, implementations, correctness, abstract data types, nondeterminism |
16 | Ronald Fagin |
On an Authorization Mechanism. |
ACM Trans. Database Syst. |
1978 |
DBLP DOI BibTeX RDF |
security, privacy, access control, database, authorization, protection, revocation, proof of correctness |
16 | Abraham Silberschatz |
Serializability in multi-level monitor environments. |
ACM Annual Conference (2) |
1978 |
DBLP DOI BibTeX RDF |
Concurrent operation, Serial operation, Monitors, Operating systems, Correctness, Classes, Asynchronous processes |
16 | |
Statistical Correctness. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
16 | |
Summarization Correctness. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
16 | |
Correctness Criterion for Concurrent Executions. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll 0001, Marco Roveri |
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Azzedine Boukerche, Kaouther Abrougui |
A Service Discovery protocol for vehicular ad hoc networks: A proof of correctness. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Nick Benton, Chung-Kil Hur |
Biorthogonality, step-indexing and compiler correctness. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
biorthogonality, step-indexing, denotational semantics, proof assistants, compiler verification |
16 | Krishnan Kailas, Viresh Paruthi, Brian Monwai |
Formal verification of correctness and performance of random priority-based arbiters. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig |
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Christian Kästner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, Don S. Batory |
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach. |
TOOLS (47) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Yuyue Du, Changjun Jiang, MengChu Zhou |
A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems. |
IEEE Trans. Syst. Man Cybern. Part C |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Mohsen Bayati, Devavrat Shah, Mayank Sharma |
Max-Product for Maximum Weight Matching: Convergence, Correctness, and LP Duality. |
IEEE Trans. Inf. Theory |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova |
On the correctness of upper layers of automotive systems. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Time-triggered systems, Formal verification, Model-based development, Automotive software |
16 | Scott Uk-Jin Lee, Jing Sun 0002, Gillian Dobbie, Lindsay Groves, Yuan-Fang Li |
Correctness Criteria for Normalization of Semistructured Data. |
Australian Software Engineering Conference |
2008 |
DBLP DOI BibTeX RDF |
ORA-SS, Formal Specification, Normalization, Z, Semistructured Data |
16 | Oliver Wienand, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Gert-Martin Greuel |
An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Uwe Naumann, Laurent Hascoët, Chris Hill, Paul D. Hovland, Jan Riehme, Jean Utke |
A Framework for Proving Correctness of Adjoint Message-Passing Programs. |
PVM/MPI |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Enrico Vicario |
Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Doug Kuhlman, Ryan Moriarty, Tony Braskich, Steve Emeott, Mahesh V. Tripunitara |
A Correctness Proof of a Mesh Security Architecture. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
Protocol Composition Logic (PCL), Mesh Security Architecture (MSA), peer-to-peer, 802.11s |
16 | Jens Groth, Yuval Ishai |
Sub-linear Zero-Knowledge Argument for Correctness of a Shuffle. |
EUROCRYPT |
2008 |
DBLP DOI BibTeX RDF |
zero-knowledge argument, sub-linear communication, homomorphic encryption, Shuffle, mix-net |
16 | Manuel Montenegro, Ricardo Pena, Clara Segura |
A type system for safe memory management and its proof of correctness. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
safe memory deallocation, type systems |
16 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access |
16 | Vincenzo Ciancia, Gian-Luigi Ferrari 0002, Roberto Guanciale, Daniele Strollo |
Checking Correctness of Transactional Behaviors. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
Service Oriented Architectures, Coordination, Event Notification, Observational Equivalence |
16 | Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich, Anatoly V. Anisimov |
On Correctness of Mathematical Texts from a Logical and Practical Point of View. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Mitchell Wand |
On the correctness of the Krivine machine. |
High. Order Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Krivine machine, Weak head reduction, Lambda calculus |
16 | Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin |
Formal correctness of conflict detection for firewalls. |
FMSE |
2007 |
DBLP DOI BibTeX RDF |
firewall, coq |
16 | Róbert Lovas, Péter Kacsuk |
Correctness Debugging of Message Passing Programs Using Model Verification Techniques. |
PVM/MPI |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Michael O. Rabin, Rocco A. Servedio, Christopher Thorpe |
Highly Efficient Secrecy-Preserving Proofs of Correctness of Computations and Applications. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Burak Emir, Qin Ma 0002, Martin Odersky |
Translation Correctness for First-Order Object-Oriented Pattern Matching. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Gábor Erdélyi, Lane A. Hemaspaandra, Jörg Rothe, Holger Spakowski |
On Approximating Optimal Weighted Lobbying, and Frequency of Correctness Versus Average-Case Polynomial Time. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Anirban Majumdar 0001, Stephen Drape, Clark D. Thomborson |
Slicing obfuscations: design, correctness, and evaluation. |
Digital Rights Management Workshop |
2007 |
DBLP DOI BibTeX RDF |
program transformation, digital rights management, software security, obfuscation, static slicing |
16 | Ariel Cohen 0002, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck |
Verifying Correctness of Transactional Memories. |
FMCAD |
2007 |
DBLP DOI BibTeX RDF |
HTM, STM, TLC, model checking, Verification, transactional memory, TLA+ |
16 | Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf |
From Public Views to Private Views - Correctness-by-Design for Services. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Rainer Keller, Michael M. Resch |
Testing the Correctness of MPI Implementations. |
ISPDC |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Bettina Krammer, Michael M. Resch |
Correctness Checking of MPI One-Sided Communication Using Marmot. |
PVM/MPI |
2006 |
DBLP DOI BibTeX RDF |
RMA, MPI, Analysis, One-sided communication, Parallel Programming Tools |
Displaying result #401 - #500 of 8775 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|