|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 27725 occurrences of 7304 keywords
|
|
|
Results
Found 48201 publication records. Showing 48201 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
58 | Robert Law |
Using student blogs for documentation in software development projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, 2011, pp. 366, 2011, ACM, 978-1-4503-0697-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
43 | George R. Ribeiro-Justo |
A rigorous method for the constructive design of parallel and distributed programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 319-328, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(9), pp. 911-921, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, Washington, DC, USA, May 26-28, 1993., pp. 393-397, 1993, ACM Press, 978-0-89791-592-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 232-238, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(12), pp. 1615-1629, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics XII, pp. 95-130, 2009, Springer, 978-3-642-00684-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Eighth Conference, Pune, India, December 21-23, 1988, Proceedings, pp. 304-328, 1988, Springer, 3-540-50517-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 245-255, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 2(1), pp. 68-78, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 2(3), pp. 361-376, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(1), pp. 51-63, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008, 14-16 May 2008, Portland, Oregon, USA, pp. 409-414, 2008, IEEE Computer Society, 978-0-7695-3131-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(9), pp. 863-875, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 67-93, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(1), pp. 48-57, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 114-115, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(4), pp. 1081-1096, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
acyclic programs, terminating programs, termination |
35 | Waleed A. Muhanna |
Composite Programs: Hierarchical Construction, Circularity, and Deadlocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(4), pp. 320-333, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
URSW (LNCS Vol.) ![In: Uncertainty Reasoning for the Semantic Web I, ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers, pp. 66-87, 2008, Springer, 978-3-540-89764-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 254-263, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 29th Annual Symposium on Foundations of Computer Science, White Plains, New York, USA, 24-26 October 1988, pp. 338-345, 1988, IEEE Computer Society, 0-8186-0877-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(3), pp. 151-197, 1968. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 21(4), pp. 78-85, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(5), pp. 345-352, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(12), pp. 1045-1052, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(12), pp. 1630-1632, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Construction of Logic Programs ![In: Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP, pp. 143-164, 1991, Wiley, 0-471-93789-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
32 | Anandasivam Gopal, Tridas Mukhopadhyay, Mayuram S. Krishnan |
The Impact of Institutional Forces on Software Metrics Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(8), pp. 679-694, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings, pp. 433-444, 1996, Springer, 3-540-62064-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Datalog programs, program transformations, deductive databases, program optimization |
32 | M. R. K. Krishna Rao |
Input-Termination of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers, pp. 215-230, 2004, Springer, 3-540-26655-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Jan Gustafsson |
Eliminating annotations by automatic flow analysis of real-time programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 511-516, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 10-17, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 621-629, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(7), pp. 812-826, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(3), pp. 277-296, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(3), pp. 206-215, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 1(3), pp. 304-317, 1990. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 6th Conference on Information Technology Education, SIGITE 2005, Newark, NJ, USA, October 20-22, 2005, pp. 31-35, 2005, ACM, 1-59593-252-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 1997 IEEE Symposium on Security and Privacy, May 4-7, 1997, Oakland, CA, USA, pp. 175-187, 1997, IEEE Computer Society, 0-8186-7828-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings, pp. 225-239, 2004, Springer, 3-540-22671-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Marina De Vos, Dirk Vermeir |
On the Role of Negation in Choice Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings, pp. 236-246, 1999, Springer, 3-540-66749-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
unfounded sets, game-theory, Logic programming, choice |
29 | E. Allen Emerson, Jai Srinivasan |
Branching time temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 123-172, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea, pp. 282-291, 2006, ACM, 1-59593-542-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(2), pp. 295-327, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA, pp. 121-, 1997, IEEE Computer Society, 0-8186-7889-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1997 Conference on Parallel Architectures and Compilation Techniques (PACT '97), San Francisco, CA, USA, October 11-15, 1997, pp. 14-25, 1997, IEEE Computer Society, 0-8186-8090-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 2-9, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 386-, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 14th IEEE VLSI Test Symposium (VTS'96), April 28 - May 1, 1996, Princeton, NJ, USA, pp. 99-105, 1996, IEEE Computer Society, 0-8186-7304-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 61-73, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(3), pp. 687-726, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
PROLOG programs, moded programs, occur-check problem, Prolog, unification algorithm |
28 | Keshav Pingali |
Data-parallel abstractions for irregular programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the 5th Conference on Computing Frontiers, 2008, Ischia, Italy, May 5-7, 2008, pp. 117-118, 2008, ACM, 978-1-60558-077-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Genet. Program. Evolvable Mach. ![In: Genet. Program. Evolvable Mach. 6(4), pp. 421-455, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 19-22 May 2003, Providence, RI, USA, pp. 441-449, 2003, IEEE Computer Society, 0-7695-1920-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(11), pp. 1037-1056, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 266-276, 1999, Springer, 3-540-66536-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 22(11), pp. 1577-1592, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3263-3268, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 784-787, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management, Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings, pp. 223-239, 2009, Springer, 978-3-642-04387-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Annamaria Bria, Wolfgang Faber 0001, Nicola Leone |
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, pp. 477-482, 2009, Springer, 978-3-642-04237-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | M. R. K. Krishna Rao |
A Class of Prolog Programs with Non-linear Outputs Inferable from Positive Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings, pp. 312-326, 2005, Springer, 3-540-29242-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings, pp. 356-368, 2005, Springer, 3-540-28538-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000, pp. 229-234, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(6), pp. 424-431, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(2), pp. 179-193, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(7), pp. 875-889, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Construction of Logic Programs ![In: Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP, pp. 189-211, 1991, Wiley, 0-471-93789-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
27 | Laurent Fribourg |
Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Construction of Logic Programs ![In: Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP, pp. 39-66, 1991, Wiley, 0-471-93789-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
27 | Naji Habra |
From Abstract Data Types to Logic Programs: A Transformational Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Construction of Logic Programs ![In: Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP, pp. 251-278, 1991, Wiley, 0-471-93789-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
27 | Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
An OR-Compositional Semantics for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Construction of Logic Programs ![In: Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP, pp. 215-240, 1991, Wiley, 0-471-93789-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
27 | Paul Tarau, Michel Boyer |
Nonstandard Answers of Elementary Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Construction of Logic Programs ![In: Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP, pp. 279-300, 1991, Wiley, 0-471-93789-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
27 | Pierre Flener, Yves Deville |
Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Construction of Logic Programs ![In: Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP, pp. 67-96, 1991, Wiley, 0-471-93789-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
27 | David R. Gilbert, Christopher J. Hogger |
Deriving Logic Programs from Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Construction of Logic Programs ![In: Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP, pp. 113-126, 1991, Wiley, 0-471-93789-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
27 | A. J. Kfoury |
Some Connections Between iterative Programs, Recursive Programs, and First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic of Programs ![In: Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, pp. 150-166, 1981, Springer, 3-540-11212-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, pp. 177-192, 1999, Springer, 3-540-65699-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 108(2-3), pp. 617-634, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 289-298, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(8), pp. 658-663, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(1), pp. 92-99, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(3), pp. 356-359, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(3), pp. 305-313, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. E Bus. Manag. ![In: Inf. Syst. E Bus. Manag. 7(1), pp. 39-55, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 667-671, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPC ![In: Advances in Grid and Pervasive Computing, Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, Proceedings, pp. 322-333, 2007, Springer, 978-3-540-72359-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 71-84, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 446-455, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings, pp. 588-600, 2006, Springer, 3-540-34021-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
double priority, tree method, logic programs |
26 | Stefan Brass, Jürgen Dix, Teodor C. Przymusinski |
Super logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(1), pp. 129-176, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 41(1), pp. 111-124, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 12(1/2), pp. 73-116, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 16th Annual IEEE Conference on Computational Complexity, Chicago, Illinois, USA, June 18-21, 2001, pp. 172-183, 2001, IEEE Computer Society, 0-7695-1053-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 164-178, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIRE ![In: Seventh International Symposium on String Processing and Information Retrieval, SPIRE 2000, A Coruña, Spain, September 27-29, 2000, pp. 132-138, 2000, IEEE Computer Society, 0-7695-0746-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 7(8), pp. 769-782, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 327-335, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
parameterized programs, Petri net, symbolic execution |
26 | Paul Tarau, Michel Boyer |
Elementary Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings, pp. 159-173, 1990, Springer, 3-540-53010-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(7), pp. 922-935, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
History of Medical Informatics ![In: Proceedings of the ACM Conference on History of Medical Informatics, Bethesda, Maryland, USA, November 5-6, 1987, pp. 43-49, 1987, ACM, 0-89791-248-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 48201 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|