Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"Parallel computation will become the norm in the coming decades. Unfortunately, advances in parallel hardware have far outpaced parallel applications of software. There are currently two approaches to applying parallelism to applications. One is to write completely new applications in new languages. But abandoning applications that work is unacceptable to most nonacademic users of high-performance computers. The other approach is to convert existing applications to a parallel form. This can be done manually or automatically. Even partial success in doing the job automatically has obvious economic advantages." "This book describes a fundamentally new theoretical framework for finding poor algorithms in an application program and replacing them with ones that parallelize the code."--Jacket.

Computer algorithms --- Computer programming --- 681.3*F2 --- 681.3*I12 --- 681.3*I22 --- 681.3*I12 Algorithms: algebraic algorithms; nonalgebraic algorithms; analysis of algorithms (Algebraic manipulation; computing methodologies) --- Algorithms: algebraic algorithms; nonalgebraic algorithms; analysis of algorithms (Algebraic manipulation; computing methodologies) --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Algorithms --- Programming --- Computer algorithms. --- Computer programming. --- COMPUTER SCIENCE/High Performance Computing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Présenté en deux volumes, "Logique" propose une mise au point complète sur l'utilisation de la logique, à partir des résultats et des méthodes d'exposition les plus récents. Le premier volume, "Méthodes pour l'informatique fondamentale", contient un exposé des calculs des propositions et des prédicats, ainsi qu'une introduction aux théories du premier ordre. L'accent est mis sur l'aspect calculatoire, essentiel pour l'application en informatique et intelligence artificielle. L'une des originalités du livre, premier manuel complet de logique en langue française, est de combiner le souci pratique avec une réelle rigueur conceptuelle. Cet ouvrage peut dès lors être un outil indispensable à tout approfondissement théorique.

Logic, Symbolic and mathematical --- Set theory --- Computer logic --- Logique symbolique et mathématique --- Théorie des ensembles --- Logique informatique --- 681.3*I22 --- Specifying anf verifying and reasoning about programs: assertions invariants mechanical verification pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21} {681.3*D24} {681.3*D31} {681.3*E1} --- Automatic programming: automatic analysis of algorithms program modification program synthesis program transformation program verification (Artificialintelligence)--See also {681.3*D12} {681.3*F31} --- Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- Knowledge representation formalisms and methods: frames and scripts predicate logic relation systems representation languages procedural and rule-based representations semantic networks (Artificial intelligence) --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts predicate logic relation systems representation languages procedural and rule-based representations semantic networks (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- 681.3*I22 Automatic programming: automatic analysis of algorithms program modification program synthesis program transformation program verification (Artificialintelligence)--See also {681.3*D12} {681.3*F31} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions invariants mechanical verification pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21} {681.3*D24} {681.3*D31} {681.3*E1} --- Predicat (Logique) --- 681.3*F31 --- 681.3*I23 --- 681.3*I24 --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Logique symbolique et mathématique. --- AA / International- internationaal --- 654 --- 16 --- 51 --- NBB multivolumes --- Informatieverwerking. Bureautica. --- Logica. Dialectiek. --- Wiskunde. --- Informatieverwerking. Bureautica --- Logica. Dialectiek --- Wiskunde --- Informatique --- Computer science --- Probabilités. --- Prédicat (logique) --- Théorie de la démonstration. --- Théorie des ensembles. --- Ordinateurs --- Intelligence artificielle. --- Logique. --- Logique mathématique. --- Modalité (logique) --- Programmation. --- Artificial intelligence. --- Logique mathématique --- Computer science. --- Logique mathématique --- Data processing --- Logic