Bilaketaren emaitzak - abstraction efficient generation (polymorphism or polymorphic)

1

Contemporary Computing Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part II /

Argitaratua 2010

Aurkibidea: “...Technical Session-12: System-1 (S-1) -- Automatic Test Data Generation for Data Flow Testing Using...”
Testu osoa

Baliabide elektronikoa eBook

2

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

Argitaratua 2007

Aurkibidea: “... Repairing Strategy -- Design of a Cell in Embryonic Systems with Improved Efficiency and Fault-Tolerance...”
Testu osoa

Baliabide elektronikoa eBook

3

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

Argitaratua 2010

Aurkibidea: “...-Efficient Scheduling of Stochastically Generated Tasks -- Exponential Lower Bounds for Policy Iteration...”
Testu osoa

Baliabide elektronikoa eBook

4

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

Argitaratua 2010

Aurkibidea: “... by Means of Pattern Mining -- Sentences Generation by Frequent Parsing Patterns -- Gallbladder Boundary...”
Testu osoa

Baliabide elektronikoa eBook

5

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

Argitaratua 2005

Aurkibidea: “...-Level Polymorphic Digital Circuits -- A Biological Development Model for the Design of Robust Multiplier...”
Testu osoa

Baliabide elektronikoa eBook

6

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings /

Argitaratua 2007

Aurkibidea: “...: Abstracting Away Higher-Orderness for Program Verification -- Local Reasoning for Storable Locks and Threads...”
Testu osoa

Baliabide elektronikoa eBook

7

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

Argitaratua 2013

Aurkibidea: “... with Constraints -- Using SQL for Efficient Generation and Querying of Provenance Information -- Bounds...”
Testu osoa

Baliabide elektronikoa eBook

8

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 /

Argitaratua 2014

Aurkibidea: “... in Isabelle/HOL -- Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code...”
Testu osoa

Baliabide elektronikoa eBook

9

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

Argitaratua 2005

Aurkibidea: “... -- A Modal Logic for Role-Based Access Control -- Unique User-Generated Digital Pseudonyms...”
Testu osoa

Baliabide elektronikoa eBook

10

Principles and Practice of Constraint Programming - CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings /

Argitaratua 2007

Aurkibidea: “... Programming to Generating Detailed Operations Schedules for Steel Manufacturing -- An Efficient Model...”
Testu osoa

Baliabide elektronikoa eBook

Emaitzak murriztu