Søgeresultater - detection computational programming logic array

1

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Udgivet 2015

Indholdsfortegnelse: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Få fuldtekst

Electronisk eBog

2

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...”
Få fuldtekst

Electronisk eBog

3

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... and Accurate Static Data-Race Detection for Concurrent Programs -- Parametric and Sliced Causality -- Spade...”
Få fuldtekst

Electronisk eBog

4

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Udgivet 2005

Indholdsfortegnelse: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Få fuldtekst

Electronisk eBog

5

Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers /

Udgivet 2006

Indholdsfortegnelse: “... Logic Programming -- A Method for Characterizing Tractable Subsets of Qualitative Fuzzy Temporal...”
Få fuldtekst

Electronisk eBog

6

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
Få fuldtekst

Electronisk eBog

7

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Udgivet 2005

Indholdsfortegnelse: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Få fuldtekst

Electronisk eBog

8

Local Pattern Detection International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers /

Udgivet 2005

Indholdsfortegnelse: “...Pushing Constraints to Detect Local Patterns -- From Local to Global Patterns: Evaluation Issues...”
Få fuldtekst

Electronisk eBog

9

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “...-Time Reversible Iterative Arrays -- The Computational Complexity of Monotonicity in Probabilistic...”
Få fuldtekst

Electronisk eBog

10

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”
Få fuldtekst

Electronisk eBog

11

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “...: Distributed Systems -- Complexity of Compositional Model Checking of Computation Tree Logic on Simple...”
Få fuldtekst

Electronisk eBog

12

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

Udgivet 2010

Indholdsfortegnelse: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Få fuldtekst

Electronisk eBog

13

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...”
Få fuldtekst

Electronisk eBog

14

Computational Intelligence, Cyber Security and Computational Models Proceedings of ICC3, 2013 /

Udgivet 2014

Indholdsfortegnelse: “.../Subtractor with Overflow Detection Logic for Quantum Computer based Systems -- An Algorithm for Construction...”
Få fuldtekst

Electronisk eBog

15

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

Udgivet 2014

Indholdsfortegnelse: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Få fuldtekst

Electronisk eBog

16

Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... Scheme for Maximizing Logical Arrays -- An Efficient Crosstalk-Free Routing Algorithm Based...”
Få fuldtekst

Electronisk eBog

17

Applications of Soft Computing Recent Trends /

Udgivet 2006

Indholdsfortegnelse: “... Combined with Fuzzy Logic to Remove Salt and Pepper Noise in Digital Images -- Computing Optimized NURBS...”
Få fuldtekst

Electronisk eBog

18

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... Envelope -- Uniform Interpolation of ALC-Ontologies Using Fixpoints -- Abduction in Logic Programming...”
Få fuldtekst

Electronisk eBog

19

Reconfigurable Computing: Architectures and Applications Second International Workshop, ARC 2006...

Udgivet 2006

Indholdsfortegnelse: “... Reconfigurable Gate Array VLSI -- PISC: Polymorphic Instruction Set Computers -- Networks and Communication...”
Få fuldtekst

Electronisk eBog

20

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Udgivet 2012

Indholdsfortegnelse: “... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning