Výsledky vyhledávání - "Automatic Programming—program transformation General Terms"

Implementing fault-tolerance in real-time systems by program transformations

Autoři: Tolga Ayav Pascal Fradet Alain Girault a další

Přispěvatelé: Tolga Ayav Pascal Fradet Alain Girault a další

Zdroj: http://www.cs.york.ac.uk/rts/docs/CODES-EMSOFT-CASES-2006/emsoft/p205.pdf.

Témata: Categories and Subject Descriptors C.3 [Computer Systems Organization, Special-Purpose and Application-Based Systems, Real-time and embedded systems, D.4.5 [Software, Operating Systems, Reliability [Checkpoint/restart, Fault-tolerance, I.2.2 [Computing Methodologies, Artificial Intelligence, Automatic Programming[Program transformation] General Terms Reliability, Languages. Keywords Fault-tolerance, Heartbeating, Checkpointing, Program transformations

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.5916

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.5916
http://www.cs.york.ac.uk/rts/docs/CODES-EMSOFT-CASES-2006/emsoft/p205.pdf

Core role-based access control: Efficient implementations by transformations

Autoři: Yanhong A. Liu Chen Wang Michael Gorbovitski a další

Přispěvatelé: Yanhong A. Liu Chen Wang Michael Gorbovitski a další

Zdroj: http://ftp.cs.sunysb.edu/pub/liu/ImplCRBAC-PEPM06.pdf.

Témata: Systems, Security and Protection—access controls, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms Design, Languages, Performance, Security Keywords access control, complexity guarantees, incrementalization, optimization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.341

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.341
http://ftp.cs.sunysb.edu/pub/liu/ImplCRBAC-PEPM06.pdf

Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Programs

Autoři: J. Guadalupe Ramos The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: J. Guadalupe Ramos The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf.

Témata: evaluation, program analysis, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms algorithms, performance, theory Keywords narrowing, quasi-termination, offline partial evaluation

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.4892; http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.4892
http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf

Automatic Program Specialization for Java

Autoři: Ulrik P. Schultz Julia L. Lawall Charles Consel a další

Přispěvatelé: Ulrik P. Schultz Julia L. Lawall Charles Consel a další

Zdroj: http://www.cs.ucsb.edu/~ckrintz/papers/schultz-specialization.pdf.gz.

Témata: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors—Optimization, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms, Design, Experimentation Additional Key Words and Phrases, Automatic program specialization, object-oriented languages, partial evaluation, Java, optimization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.1203

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.1203
http://www.cs.ucsb.edu/~ckrintz/papers/schultz-specialization.pdf.gz

From Datalog rules to efficient programs with time and space guarantees

Autoři: Yanhong A. Liu Scott D. Stoller The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Yanhong A. Liu Scott D. Stoller The Pennsylvania State University CiteSeerX Archives

Zdroj: http://ftp.cs.sunysb.edu/pub/liu/Rules-TOPLAS09.pdf.

Témata: and logic languages, D.3.4 [Programming Languages, Processors—code generation, optimization, E.1 [Data, Data Structures—arrays, lists, queues, records, E.2 [Data, Data Storage Representations—linked representations, F.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—computations on discrete structures, H.2.3 [Information Systems, Database Management—query languages, H.2.4 [Information Systems, Systems—query processing, rule-based databases, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms, Algorithms, Languages, Performance Additional Key Words and Phrases, Complexity analysis, Datalog, data structure design, incremental computation, indexing, indexed representations, linked representations

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.8989

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.8989
http://ftp.cs.sunysb.edu/pub/liu/Rules-TOPLAS09.pdf

Cost-Augmented Narrowing-Driven Specialization

Autoři: Germán Vidal The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Germán Vidal The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.dsic.upv.es/users/elp/german/pepm02/vidal.pdf.

Témata: I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms Languages, Performance

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.1605; http://www.dsic.upv.es/users/elp/german/pepm02/vidal.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.1605
http://www.dsic.upv.es/users/elp/german/pepm02/vidal.pdf

Partial Redundancy Elimination in SSA Form

Autoři: Robert Kennedy Sun Chan Shin-ming Liu a další

Přispěvatelé: Robert Kennedy Sun Chan Shin-ming Liu a další

Zdroj: http://reality.sgi.com/dehnert_engr/papers/KCLLTC99.ps.

Témata: gramming Languages, Processors---compilers, optimization, I.1.2 [Algebraic Manipulation, Algorithms---analysis of algorithms, I.2.2 [Artificial Intelligence, Automatic Programming---program transformation General Terms, Partial Redundancy, Code Motion, Static Single Assignment Form Additional Key Words and Phrases, common subexpressions, data flow analysis, program optimization

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.9783; http://reality.sgi.com/dehnert_engr/papers/KCLLTC99.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.9783
http://reality.sgi.com/dehnert_engr/papers/KCLLTC99.ps

Partial Evaluation of Functional Logic Programs

Autoři: Maria Alpuente Moreno Falaschi German Vidal a další

Přispěvatelé: Maria Alpuente Moreno Falaschi German Vidal a další

Zdroj: http://www.dsic.upv.es/users/elp/german/toplas/paper.pdf.

Témata: Categories and Subject Descriptors, D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.1.6 [Programming Techniques, Logic Programming, D.3.3 [Language Classifications, Multiparadigm Languages, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms, Languages, Performance, Theory Additional Key Words and Phrases, Conditional term-rewriting systems, integration of functional and logic programming, narrowing strategies, partial evaluation

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.6018; http://www.dsic.upv.es/users/elp/german/toplas/paper.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.6018
http://www.dsic.upv.es/users/elp/german/toplas/paper.pdf

Compiler Transformations for High-Performance Computing

Autoři: David F. Bacon Susan L. Graham Oliver J. Sharp a další

Přispěvatelé: David F. Bacon Susan L. Graham Oliver J. Sharp a další

Zdroj: http://www.cs.berkeley.edu/~yelick/titanium/papers/bacon.ps.

Témata: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors--compilers, optimization, D.1.3 [Programming Techniques, Concurrent Programming, I.2.2 [Artificial Intelligence, Automatic Programming--program transformation General Terms, Compilation, Parallelism Additional Key Words and Phrases, Vectorization, multiprocessors, superscalar processors, dependence analysis Technical

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.6233; http://www.cs.berkeley.edu/~yelick/titanium/papers/bacon.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.6233
http://www.cs.berkeley.edu/~yelick/titanium/papers/bacon.ps

Compiling Real Time Functional Reactive Programming

Autoři: Dana N. Xu Siau-cheng Khoo The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Dana N. Xu Siau-cheng Khoo The Pennsylvania State University CiteSeerX Archives

Zdroj: http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf.

Témata: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors – optimization, I.2.2 [Artificial Intelligence, Automatic Programming – Program transformation. General Terms Algorithm, Performance, Languages Keywords Reactive System, Partial Evaluation, Tupling

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.4563; http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.4563
http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf

Abstract Efficient Trust Management Policy Analysis from Rules ∗

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.sunysb.edu/~katia/HriTekLiu07.pdf.

Témata: lists, queues, records, F.2 [Analysis of Algorithms and Problems Complexity, Nonnumerical Algorithms and Problems— computations on discrete structures, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms security, algorithms, languages, performance Keywords access control, policy analysis, security, algorithm, time

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.9016; http://www.cs.sunysb.edu/~katia/HriTekLiu07.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.9016
http://www.cs.sunysb.edu/~katia/HriTekLiu07.pdf

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Oct82, Vol. 25 Issue 10, p748-753, 6p

Témata: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p

Témata: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

From Datalog Rules to Efficient Programs with Time and Space Guarantees.

Autoři: LIU, YANHONG A. STOLLER, SCOTT D.

Zdroj: ACM Transactions on Programming Languages & Systems; Aug2009, Vol. 31 Issue 6, p21-21:38, 38p, 2 Diagrams, 7 Charts, 3 Graphs

Témata: DATA structures, INDEXING, PROGRAM transformation, RECURSION theory, ALGORITHMS, COMPUTATIONAL complexity

Constructor-based Conditional Narrowing

Autoři: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Sergio Antoy The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.pdx.edu/~antoy/homepage/./papers/ppdp01-A/paper.ps.gz.

Témata: Algorithms, Languages, Performance, Theory Keywords Functional Logic Programming Languages, Rewrite Systems, Narrowing

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.8483

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.8483
http://www.cs.pdx.edu/~antoy/homepage/./papers/ppdp01-A/paper.ps.gz

Incremental Algorithms on Lists

Autoři: Johan Jeuring The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Johan Jeuring The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.uu.nl/~johanj/publications/formatting.ps.

Témata: Bird-Meertens calculus for program construction

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.9459; http://www.cs.uu.nl/~johanj/publications/formatting.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.9459
http://www.cs.uu.nl/~johanj/publications/formatting.ps