检索结果 - abstraction efficient general (polymorphisms or polymorphic)

1

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings /

出版 2008

书本目录: “... and Polymorphic Circuits: A Comparative Study -- Investigating the Suitability of FPAAs for Evolved Hardware...”
获取全文

电子电子书

2

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings /

出版 2007

书本目录: “... Repairing Strategy -- Design of a Cell in Embryonic Systems with Improved Efficiency and Fault-Tolerance...”
获取全文

电子电子书

3

Distributed Computing 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings /

出版 2005

书本目录: “...-Free Algorithms Can Be Practically Wait-Free -- Efficient Reduction for Wait-Free Termination Detection...”
获取全文

电子电子书

4

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /

出版 2010

书本目录: “... Efficient Can Gossip Be? (On the Cost of Resilient Information Exchange) -- Efficient Information Exchange...”
获取全文

电子电子书

5

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

出版 2005

书本目录: “...-Level Polymorphic Digital Circuits -- A Biological Development Model for the Design of Robust Multiplier...”
获取全文

电子电子书

6

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers /

出版 2014

书本目录: “... Functional Programs over General Polymorphic Lists....”
获取全文

电子电子书

7

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

出版 2010

书本目录: “... Random Fields and Their Application to Intrusion Detection -- Generalized Derivative Based Kernelized...”
获取全文

电子电子书

8

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

出版 2010

书本目录: “... Linearizability Proofs with Reduction and Abstraction -- A Polymorphic Intermediate Verification Language: Design...”
获取全文

电子电子书

9

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

出版 2014

书本目录: “... of Touch Develop Scripts -- Efficient Incremental Static Analysis Using Path Abstraction -- Type-Based...”
获取全文

电子电子书

10

In Search of Elegance in the Theory and Practice of Computation Essays dedicated to Peter Buneman /

出版 2013

书本目录: “... Trust and Judgments in a Curated Database with Explicit Provenance -- An Abstract, Reusable...”
获取全文

电子电子书

11

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

出版 2014

书本目录: “... in Isabelle/HOL -- Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code...”
获取全文

电子电子书

12

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice o...

出版 2013

书本目录: “... Proving -- Structural Counter Abstraction -- Extending Quantifier Elimination to Linear Inequalities...”
获取全文

电子电子书

13

Computer Network Security Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, Sept...

出版 2005

书本目录: “... to Information Flow -- Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis...”
获取全文

电子电子书

缩小搜索