Search results for "programs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
43	George R. Ribeiro-Justo	A rigorous method for the constructive design of parallel and distributed programs.	HICSS (2)	1995	DBLP DOI BibTeX RDF	constructive design, distributed systems engineers, well-structured programs, SASD, behavioural specifications, performance, formal specification, parallel programming, parallel programs, formal verification, specification, program verification, CSP, distributed programs, software performance evaluation, diagrams, diagrams, communicating systems, communicating sequential processes, sequential systems
41	Mohamed G. Gouda, Ted Herman	Adaptive Programming.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	constituent programs, adaptive sequential programs, adaptive distributed programs, adaptivity, parallel programming, self-stabilization, adaptive systems, programming theory, formal logic, composition operators, token ring networks
41	Umeshwar Dayal, Hector Garcia-Molina, Meichun Hsu, Ben Kao, Ming-Chien Shan	Third Generation TP Monitors: A Database Challenge.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF
40	Jerry Z. Gao 0002, David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen	Object state testing for object-oriented programs.	COMPSAC	1995	DBLP DOI BibTeX RDF	object state testing, class objects, behavior testing, object state diagram, OO features, communicating state machine, object state hierarchy, complex class object, object state test strategy, object-oriented programming, object oriented programs, object-oriented programs, test generation, aggregation, program testing, inheritance, abstract data types, functional testing, structure testing, overloading, dynamic behavior, test criteria, OO programs
40	Cui-Qing Yang, Barton P. Miller	Performance Measurement for Parallel and Distributed Programs: A Structured and Automatic Approach.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	automatic approach, performance measurement systems, performance information, automatic guidance techniques, program efficiency, performance evaluation, parallel programs, software reliability, program testing, distributed programs, hierarchical model, multiprocessing programs, IPS, performance problems
40	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web.	J. Data Semantics	2009	DBLP DOI BibTeX RDF	Probabilistic description logic programs, Bayesian probabilities, merging ontology mappings, data tractability, Web Services, Semantic Web, algorithms, complexity, description logics, ontology mapping, disjunctive logic programs, answer set semantics, inconsistency handling
40	Jules Desharnais, Nazim H. Madhavji	Relation Level Semantics.	FSTTCS	1988	DBLP DOI BibTeX RDF	CR Categories D.1.4 [Programming Techniques] Sequential Programming, D.3.1 [Programming Languages] Formal Definitions and Theory: Semantics, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about programs: Relations, F.3.2 [Logics and Meanings of Programs] Semantics of Programming Languages: Algebraic approaches to semantics, F.3.3 [Logics and Meanings of Programs] Studies of Program Constructs: Control Structures, Expressions, Denotational Semantics, Procedures
39	Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof	Summarizing procedures in concurrent programs.	POPL	2004	DBLP DOI BibTeX RDF	interprocedural dataflow analysis, procedure summaries, model checking, transactions, concurrent programs, reduction, pushdown systems
38	Ian T. Foster	Automatic Generation of Self-Scheduling Programs.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	self-scheduling programs, high-level concurrent language, data dependency information, control statements, self-scheduling compiler, application code, control statements, scheduling routines, scheduling, parallel programs, parallel programming, partitioning, automatic programming, high-level language, application programs, application generators, automatic generation, control structures, source-to-source transformation
38	Jingke Li, Marina C. Chen	Compiling Communication-Efficient Programs for Massively Parallel Machines.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	communication-efficient programs, parallel target code, explicit communication, massively parallel distributed-memory machines, source programs, explicit control structures, syntactic reference patterns, communication routines, target program text, communication metric, data layout strategies, scheduling, parallel programming, parallel machines, program compilers, storage management, shared address space, shared-memory parallel programs
38	Laura K. Dillon	Verifying General Safety Properties of Ada Tasking Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	safety properties verification, Ada tasking programs, isolation approach, automating partial correctness proofs, Ada, program verification, concurrent programs, deadlock, mutual exclusion, symbolic execution, multiprocessing programs
37	Young-Joo Kim, Daeyoung Kim 0001, Yong-Kee Jun	An Empirical Analysis of Intel Thread Checker for Detecting Races in OpenMP Programs.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Thread Checker, Parallel section programs, Parallel loop programs, Verification, OpenMP, Race
37	Anandasivam Gopal, Mayuram S. Krishnan, Tridas Mukhopadhyay, Dennis R. Goldenson	Measurement Programs in Software Development: Determinants of Success.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	Software metrics programs, determinants of success, software engineering, software development, survey, regression analysis, empirical methods, measurement programs
37	Ralph-Johan Back	Refinement Calculus, Part II: Parallel and Reactive Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	hiding, simulation, parallel programs, fairness, weakest preconditions, Stepwise refinement, reactive programs, action systems, parallel composition, total correctness, refinement mappings, stuttering
37	Shahid H. Bokhari	Partitioning Problems in Parallel, Pipelined, and Distributed Computing.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	optimal program module assignment, computational resource allocation, partition structure constraints, multiple-computer system, sum-bottleneck path algorithm, multiple chain-structures parallel programs, multiple arbitrarily structured serial programs, single-tree structured parallel programs, chain-connected systems, pipelined programs, scheduling, scheduling, distributed processing, programming theory, program partitioning
37	Dietrich Fahrenholtz, Volker Haarslev	Visualization of Strand(tm) Processes.	VL	1995	DBLP DOI BibTeX RDF	large call tree circular shaped layout, Strand programs, Strand process visualisation, parallel Strand programs, Polaranimation tool, debugging facilities, parallel programming, parallel programs, software tools, visual programming, visual languages, software performance evaluation, data visualisation, program debugging, tree data structures, performance tuning, visualization tool, polar coordinates
35	Annalisa Bossi, Sandro Etalle	Transforming Acyclic Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	acyclic programs, terminating programs, termination
35	Waleed A. Muhanna	Composite Programs: Hierarchical Construction, Circularity, and Deadlocks.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	hierarchical construction, nonprocedural development environment, composite programs, input ports, output ports, coupling graph, cycle enumeration, atomic programs, deadly cycles, graph theory, graph theory, concurrency control, interfaces, programming environments, decomposition, programming theory, necessary and sufficient conditions, circularity, communication behavior, cyclic, communication deadlocks
35	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Rule-Based Approaches for Representing Probabilistic Ontology Mappings.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF	Representing probabilistic ontology mappings, rule languages, probabilistic description logic programs, Bayesian probabilities, Bayesian description logic programs, Semantic Web, Bayesian networks, uncertainty, description logics, Datalog, inconsistency, disjunctive logic programs, answer set semantics
35	Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay	The Software Architect's Assistant-a visual environment for distributed programming.	HICSS (2)	1995	DBLP DOI BibTeX RDF	Software Architect's Assistant, software architectural view, informal program design, prototype visual programming environment, Regis distributed programs, textual views, graphical views, formatted reports, design diagrams, graphical monitoring, parallel programming, parallel programs, software development, software tools, programming environments, software reuse, visual programming, software reusability, distributed programming, distributed programs, diagrams, automatic programming, software libraries, intelligent assistance, visual techniques, visual environment, design information, automatic program generation, component libraries, software design process
34	Costas Courcoubetis, Mihalis Yannakakis	Verifying Temporal Properties of Finite-State Probabilistic Programs	FOCS	1988	DBLP DOI BibTeX RDF	finite-state probabilistic programs, concurrent programs, linear temporal logic, temporal properties, sequential programs, PSPACE, omega -automata
34	William F. Atchison, Samuel D. Conte, John W. Hamblen, Thomas E. Hull, Thomas A. Keenan, William B. Kehl, Edward J. McCluskey, Silvio O. Navarro, Werner C. Rheinboldt, Earl J. Schweppe, William Viavant, David M. Young	Curriculum 68: Recommendations for academic programs in computer science: a report of the ACM curriculum committee on computer science.	Commun. ACM	1968	DBLP DOI BibTeX RDF	computer science academic programs, computer science bibliographies, computer science courses, computer science graduate programs, computer science undergraduate programs, computer science education, computer science curriculum
33	Óscar Dieste Tubío, Natalia Juristo Juzgado, Ana María Moreno 0001	How Higher-Education Systems Influence Software Engineering Degree Programs.	IEEE Softw.	2004	DBLP DOI BibTeX RDF	software engineering programs, CS programs with SE tracks, software engineering education
33	Noé Lopez-Benitez	Dependability Modeling and Analysis of Distributed Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program reliability, program availability, distributed computing system environment, repair actions, global repair mode, centralized repair team, system status restoration, failure state, local repair model, program interruption, Petri nets, distributed algorithms, software reliability, distributed programs, stochastic processes, programming theory, dependability analysis, system recovery, stochastic Petri nets, program diagnostics, hardware support, multiprocessing programs, program execution, file distribution, dependability modeling, hardware faults
33	Moises Lejter, Scott Meyers, Steven P. Reiss	Support for Maintaining Object-Oriented Programs.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	semantics-based tools, C++ programs, interactive database interface, text editor, object-oriented programs, object-oriented programming, relational databases, software maintenance, inheritance, inheritance, object-oriented languages, object-oriented languages, C language, relational database system, dynamic binding, program maintenance
33	Leonardo Felician, Graziella Zalateu	Validating Halstead's Theory for Pascal Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Pascal programs, large programs, Halstead theory, Pascal, programming theory, operators
33	Lee Naish	Verification of Logic Programs and Imperative Programs.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
32	Anandasivam Gopal, Tridas Mukhopadhyay, Mayuram S. Krishnan	The Impact of Institutional Forces on Software Metrics Programs.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	metrics programs, institutional forces, metrics adaptation, metrics acceptance, software engineering, software development, Product metrics, process metrics
32	Foto N. Afrati, Manolis Gergatsoulis, Maria Katzouraki	On Transformations into Linear Database Logic Programs.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF	Datalog programs, program transformations, deductive databases, program optimization
32	M. R. K. Krishna Rao	Input-Termination of Logic Programs.	LOPSTR	2004	DBLP DOI BibTeX RDF
31	Jan Gustafsson	Eliminating annotations by automatic flow analysis of real-time programs.	RTCSA	2000	DBLP DOI BibTeX RDF	automatic flow analysis, path information, safe approximation, calculation cost, exact information, intractable problem, nontrivial programs, real-time systems, annotations, abstract interpretation, worst case execution time, WCET, automatic programming, program diagnostics, real time programs, infeasible paths
31	James L. Caldwell	Moving Proofs-As-Programs into Practice.	ASE	1997	DBLP DOI BibTeX RDF	proofs-as-programs, constructive type theory, correct-by-construction programs, inductive proofs, Nuprl rewrite system, fixed-point combinators, untyped lambda calculus, specifications, partial evaluation, lambda calculus, hierarchical verifications
31	Sekhar R. Sarukkai, Jerry C. Yan, Melisa Schmidt	Automated instrumentation and monitoring of data movement in parallel programs.	IPPS	1995	DBLP DOI BibTeX RDF	data-structure alignments, inter-processor data-structure interactions, compiler front end tools, tracking data-structure movements, NAS benchmarks, parallel programming, parallel programs, data structures, message passing, data flow analysis, software performance evaluation, program diagnostics, performance tools, message passing programs, inter-processor communications, data movement
31	James R. Larus	Loop-Level Parallelism in Numeric and Symbolic Programs.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	symbolic programs, speed improvement, parallelism analyzer, parallelperformance, programcompilers, performance evaluation, parallel programming, parallel computer, parallel execution, dynamic behavior, sequential program, loop level parallelism, numeric programs
31	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
31	Richard N. Taylor, David L. Levine, Cheryl D. Kelly	Structural Testing of Concurrent Programs.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	structural testing techniques, structural testing criteria, concurrency state coverage, state transition coverage, synchronization coverage, static concurrency analyzer, program transformation system, powerful run-time monitor, controllable run-time scheduler, CSP-like languages, static naming, tasking objects, scheduling, parallel programming, Ada, concurrency control, software metrics, program testing, concurrent programs, support tools, sequential programs
31	Eran Gabber	VMMP: A Practical Tool for the Development of Portable and Efficient Programs for Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	VMMP, practical tool, portable and efficient programs, parallel application programs, message passing multiprocessors, VROMP, parallel algorithms, synchronization, virtual machine, software tools, shared memory, multiprocessing systems, coding, software portability, software package
30	Manimegalai M. Subramaniam	The emergence of IT degree programs: when did it happen?	SIGITE Conference	2005	DBLP DOI BibTeX RDF	IT degree programs, emergence of IT education, IT curricula
30	Calvin Ko, Manfred Ruschitzka, Karl N. Levitt	Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach.	S&P	1997	DBLP DOI BibTeX RDF	security-critical program execution monitoring, specification-based approach, program vulnerabilities, security specifications, real-time intrusion detection system, Unix setuid root programs, system attack detection, security violations, distributed systems, synchronization, system monitoring, audit trails, formal framework
29	Thomas Linke, Hans Tompits, Stefan Woltran	On Acyclic and Head-Cycle Free Nested Logic Programs.	ICLP	2004	DBLP DOI BibTeX RDF
29	Marina De Vos, Dirk Vermeir	On the Role of Negation in Choice Logic Programs.	LPNMR	1999	DBLP DOI BibTeX RDF	unfounded sets, game-theory, Logic programming, choice
29	E. Allen Emerson, Jai Srinivasan	Branching time temporal logic.	REX Workshop	1988	DBLP DOI BibTeX RDF	Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
29	Thao Dang 0001, Philippe Gerner	Scheduling for multi-threaded real-time programs via path planning.	EMSOFT	2006	DBLP DOI BibTeX RDF	PV programs, multi-threaded real-time programs, scheduling, path planning
29	Kewen Wang 0001, Lizhu Zhou	Comparisons and computation of well-founded semantics for disjunctive logic programs.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	residual programs, semantics of logic programs and deductive databases, program transformations, argumentation, nonmonotonic reasoning, negation, Disjunctive logic programming, well-founded semantics
29	Vijaya K. Srivastava, William H. Farr, Walter Ellis	Experience with the use of standard IEEE 982.1 on software programs.	ECBS	1997	DBLP DOI BibTeX RDF	standard IEEE 982.1, software programs, software reliability measurement program, software procurement programs, site acceptance testing data, software reliability, reliability growth models
29	Xinan Tang, Rakesh Ghiya, Laurie J. Hendren, Guang R. Gao	Heap Analysis and Optimizations for Threaded Programs.	IEEE PACT	1997	DBLP DOI BibTeX RDF	threaded programs, traditional compiler optimizations, loop invariant removal, common sub-expression elimination, dynamically allocated data structures, heap pointer analyses, dependence testing, high quality code generation, EARTH-C compiler, generated multithreaded code, dynamic measurements, performance tradeoffs, optimizations, parallel programming, optimizing compilers, multithreaded architectures, multithreaded programs, heap analysis
29	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
29	Hiroaki Higaki	Extended group communication algorithm for updating distributed programs.	ICPADS	1996	DBLP DOI BibTeX RDF	extended group communication algorithm, distributed programs updating, protocol errors, distributed application programs, protocols, distributed processing, concurrency control, deadlocks, user requirements, dynamic updating
29	M. Miegler, Werner Wolz	Development of test programs in a virtual test environment.	VTS	1996	DBLP DOI BibTeX RDF	test programs development, virtual test environment, quality-assured mixed-signal test programs, standard test description language, VTML, Virtual Test Modelling Language, standardized description models, test system resources, equivalent simulation models, VLSI, integrated circuit testing, design for testability, integrated circuit design, circuit CAD, automatic test software
29	Kuei Yu Wang, Dan C. Marinescu	Correlation of the paging activity of individual node programs in the SPMD execution mode.	HICSS (1)	1995	DBLP DOI BibTeX RDF	paging activity, individual node programs, SPMD execution mode, parallel program monitoring, scheduling, scheduling, parallel programming, parallel programs, program diagnostics, paged storage
29	Krzysztof R. Apt, Alessandro Pellegrini 0002	On the Occur-Check-Free Prolog Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	PROLOG programs, moded programs, occur-check problem, Prolog, unification algorithm
28	Keshav Pingali	Data-parallel abstractions for irregular programs.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	set iterators, multicore programming, optimistic parallelism, irregular programs
28	Man Wong, Tuen Mun	Evolving Recursive Programs by Using Adaptive Grammar Based Genetic Programming.	Genet. Program. Evolvable Mach.	2005	DBLP DOI BibTeX RDF	grammar based genetic programming, recursive programs, logic grammars
28	Sandeep S. Kulkarni, Ali Ebnenasir	Enhancing The Fault-Tolerance of Nonmasking Programs.	ICDCS	2003	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
28	Sridhar Iyer, S. Ramesh 0001	Apportioning: A Technique for Efficient Reachability Analysis of Concurrent Object-Oriented Programs.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	object-oriented programming, static analysis, Concurrent programs, reachability analysis
28	Marina De Vos, Dirk Vermeir	Choice Logic Programs and Nash Equilibria in Strategic Games.	CSL	1999	DBLP DOI BibTeX RDF	game theory, logic programs, nondeterminism, choice, stable model semantics
28	Thomas Lukasiewicz	A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web.	IEEE Trans. Knowl. Data Eng.	2010	DBLP DOI BibTeX RDF	Description logic programs, normal logic programs, first-order rewritability, Semantic Web, algorithms, complexity, description logics, disjunctive logic programs, well-founded semantics, answer set semantics
28	Hanif D. Sherali, Leo Liberti	Reformulation-Linearization Technique for Global Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Tight relaxations, Model reformulation, Mixed-integer 0-1 program, Factorable programs, Reduced relaxations, Convex hull, Valid inequalities, Nonconvex programs, Lift-and-project, Reformulation-linearization technique, Polynomial programs, Convex envelopes
28	Hanif D. Sherali	Disjunctive Programming.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Polyhedral annexation, Facial disjunctive program, Nondominated cuts, Tight relaxations, Model reformulation, Mixed integer 0-1 programs, Convex hull, Cutting planes, Facet, Valid inequalities, Disjunctive programming, Nonconvex programs, Lift-and-project, Reformulation-linearization technique, Polynomial programs
27	Emad Saad	Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics.	SUM	2009	DBLP DOI BibTeX RDF
27	Annamaria Bria, Wolfgang Faber 0001, Nicola Leone	nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver.	LPNMR	2009	DBLP DOI BibTeX RDF
27	M. R. K. Krishna Rao	A Class of Prolog Programs with Non-linear Outputs Inferable from Positive Data.	ALT	2005	DBLP DOI BibTeX RDF
27	Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler	The Well Supported Semantics for Multidimensional Dynamic Logic Programs.	LPNMR	2005	DBLP DOI BibTeX RDF
27	Thomas Fahringer, A. Pozgaj, Hans Moritsch, J. Luitz	Evaluation of P3T+: A Performance Estimator for Distributed and Parallel Applications.	IPDPS	2000	DBLP DOI BibTeX RDF	Distributed Systems, Performance Analysis, Parallel Programs, Performance Prediction, Distributed Programs, Parallel Systems
27	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
27	Manish Gupta, Prithviraj Banerjee	Demonstration of Automatic Data Partitioning Techniques for Parallelizing Compilers on Multicomputers.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	automatic data partitioning, datadistribution, Eispack libraries, PerfectBenchmarks, scientific application programs, parallel programming, data structures, data structures, constraints, program compilers, parallelizing compilers, multicomputers, Linpack, Fortran programs
27	Alan C. Shaw	Reasoning About Time in Higher-Level Language Software.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	higher-level language software, program elements, time-related statements, timing invariants, periodic processes, real-time systems, real-time, formal specification, synchronization, specification, lower bounds, delay, concurrent programs, synchronisation, upper bounds, assertions, deadlines, execution times, computer times, formal logic, Hoare logic, timing bounds, sequential programs
27	Jean-Marie Jacquet	Verifying Logic Programs from Metric Semantic Characterizations.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
27	Laurent Fribourg	Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
27	Naji Habra	From Abstract Data Types to Logic Programs: A Transformational Approach.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
27	Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo	An OR-Compositional Semantics for Logic Programs.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
27	Paul Tarau, Michel Boyer	Nonstandard Answers of Elementary Logic Programs.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
27	Pierre Flener, Yves Deville	Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
27	David R. Gilbert, Christopher J. Hogger	Deriving Logic Programs from Observations.	ICLP Workshop on Construction of Logic Programs	1991	DBLP BibTeX RDF
27	A. J. Kfoury	Some Connections Between iterative Programs, Recursive Programs, and First-Order Logic.	Logic of Programs	1981	DBLP DOI BibTeX RDF
27	Andreas Podelski, Witold Charatonik, Martin Müller 0001	Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs.	ESOP	1999	DBLP DOI BibTeX RDF
27	Myun-Seok Cheon, Shabbir Ahmed 0001, Faiz A. Al-Khayyal	A branch-reduce-cut algorithm for the global optimization of probabilistically constrained linear programs.	Math. Program.	2006	DBLP DOI BibTeX RDF	Probabilistically Constrained Linear Programs, Chance Constrained Programs, Global Optimization, Branch-and-bound
27	Helmar Burkhart, Stephan Gutzwiller	Software reuse and portability of parallel programs.	HICSS (2)	1995	DBLP DOI BibTeX RDF	compute-intensive programs, regular process topologies, execution patterns, Basel Algorithm Classification Scheme, formal description language, prototype skeleton generator, C source code, parallel programming, parallel programs, parallel programming, virtual machines, software tools, software tools, software reuse, software reusability, automatic programming, parallel virtual machines, software portability, software portability
27	Ing-Ray Chen, Farokh B. Bastani	Warm Standby in Hierarchically Structured Process-Control Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	hierarchically structured process-control programs, standby redundancy design space, process-control programs, cold standby, warm standby, hot standby, long-lived unmaintainable systems, burst hardware failures, simulated chemical batch reactor system, fault tolerant computing, software maintenance, software reliability, redundancy, system reliability, computer integrated manufacturing, process computer control
27	Surya B. Yadav	Control and Definition Modularization: An Improved Software Design Technique for Organizing Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	definition modularization, software design technique, organizing programs, control and definition modularization, systematic program layout, conceptual data object, execution flow, programs maintainability, structured design methodology, software engineering
27	Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli	Some Consideration on Real-Time Bahavior of Concurrent Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	real-time behavior, semantic issues, real-time systems, parallel programming, program verification, concurrent programs, formal languages, programming theory, high level languages, real-time programs, guarded commands, real-time language
27	Michael B. Feldman, Melinda L. Moran	Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	demonstration tool, graphics-assisted debugging, Ada concurrent programs, static task-specification diagrams, communicating tasks, DEC GIGI terminal, VAX 11-780, partial Ada compiler, tasking programs, graphical debugger, parallel programming, Ada, computer graphics, software tools, program verification, program debugging, intertask communication
26	Kemal Altinkemer, Yasin Ozcelik	Cash-back rewards versus equity-based electronic loyalty programs in e-commerce.	Inf. Syst. E Bus. Manag.	2009	DBLP DOI BibTeX RDF	Electronic loyalty programs, e-commerce models, Switching costs
26	Fabrizio Riguzzi	Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics.	ICLP	2008	DBLP DOI BibTeX RDF	Topics Probabilistic Logic Programming, Logic Programs with Annotated Disjunctions, Well Founded Semantics, SLG resolution
26	Mi-Young Park, Su Jeong Shim, Yong-Kee Jun, Hyuk-Ro Park	MPIRace-Check: Detection of Message Races in MPI Programs.	GPC	2007	DBLP DOI BibTeX RDF	message races, MPIRace-Check, debugging, message-passing programs
26	Damien Sereni	Termination analysis and call graph construction for higher-order functional programs.	ICFP	2007	DBLP DOI BibTeX RDF	semantics, program analysis, functional programs, termination
26	Madanlal Musuvathi, Shaz Qadeer	Iterative context bounding for systematic testing of multithreaded programs.	PLDI	2007	DBLP DOI BibTeX RDF	context-bounding, model checking, concurrency, software testing, multithreading, partial-order reduction, shared-memory programs
26	Zaiyue Zhang, Yuefei Sui, Cungen Cao 0001	A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs.	TAMC	2006	DBLP DOI BibTeX RDF	double priority, tree method, logic programs
26	Stefan Brass, Jürgen Dix, Teodor C. Przymusinski	Super logic programs.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	logics of knowledge and beliefs, semantics of logic programs and deductive databases, Nonmonotonic reasoning, negation, static semantics, disjunctive logic programming, well-founded semantics, minimal models
26	Tapio Elomaa, Matti Kääriäinen	The Difficulty of Reduced Error Pruning of Leveled Branching Programs.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	reduced error pruning, approximability, NP-completeness, concept learning, branching programs
26	Enno Ohlebusch	Termination of Logic Programs: Transformational Methods Revisited.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Logic programs, Transformations, Termination, Term rewriting systems
26	Beate Bollig, Martin Sauerhoff, Ingo Wegener	On the Non-Approximability of Boolean Functions by OBDDs and Read-K-Times Branching Programs.	CCC	2001	DBLP DOI BibTeX RDF	Computational complexity, lower bounds, approximations, binary decision diagrams, branching programs
26	Kewen Wang 0001, Lizhu Zhou, Fangzhen Lin	Alternating Fixpoint Theory for Logic Programs with Priority.	Computational Logic	2000	DBLP DOI BibTeX RDF	alternating fixpoints, Logic programs, priority, answer sets, well-founded model
26	Masahiro Hirao, Ayumi Shinohara, Masayuki Takeda, Setsuo Arikawa	Fully Compressed Pattern Matching Algorithm for Balanced Straight-Line Programs.	SPIRE	2000	DBLP DOI BibTeX RDF	fully compressed pattern matching algorithm, balanced straight-line programs, fully compressed pattern matching problem, description size, faster fully compressed pattern matching algorithm, exponentially long strings, pattern matching, compression ratio, succinct representation
26	Haigeng Wang, Alexandru Nicolau, Stephen Keung, Kai-Yeung Siu	Computing Programs Containing Band Linear Recurrences on Vector Supercomputers.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Band linear recurrences (BLRs), parallel evaluation of BLRs with resource constraints, programs with BLRs, vector supercomputer, parallel programming
26	Isabelle Vernier-Mounier	Symbolic Executions of Symmetrical Parallel Programs.	PDP	1996	DBLP DOI BibTeX RDF	parameterized programs, Petri net, symbolic execution
26	Paul Tarau, Michel Boyer	Elementary Logic Programs.	PLILP	1990	DBLP DOI BibTeX RDF	logic program transformations, binary programs, fair evaluation, unfolding, metaprograms, OR-parallelism
26	Michael Kifer, Eliezer L. Lozinskii	SYGRAF: Implementing Logic Programs in a Database Style.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	SYGRAF, Horn logic programs, function symbols, parallel programming, logic programming, logic programming, query optimization, database theory, deductive databases, programming theory, formal logic, bottom-up evaluation
26	G. Octo Barnett	History of the development of medical information systems at the Laboratory of Computer Science at Massachusetts General Hospital.	History of Medical Informatics	1987	DBLP DOI BibTeX RDF