Zoekresultaten - program path tutorial implementation https https

1

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Volledige tekst

Elektronisch E-boek

2

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European /

Gepubliceerd in 2006

Inhoudsopgave: “... Analysis in k-Bits -- Path Optimization in Programs and Its Application to Debugging -- Inference of User...”
Volledige tekst

Elektronisch E-boek

3

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Prototype Implementation of MPI for SMARTMAP -- Gravel: A Communication Library to Fast Path MPI -- Message...”
Volledige tekst

Elektronisch E-boek

4

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “...-the-Box Attacks -- Invited Tutorials -- Assertion-Based Verification: Industry Myths to Realities (Invited...”
Volledige tekst

Elektronisch E-boek

5

Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21-23, 2004, Beijing, China /

Gepubliceerd in 2005

Inhoudsopgave: “... -- Limitations in Auml’s Roles Specification -- The Research of Geometric Constraint Soving Based on the Path...”
Volledige tekst

Elektronisch E-boek

6

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...”
Volledige tekst

Elektronisch E-boek

7

Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers /

Gepubliceerd in 2005

Inhoudsopgave: “... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”
Volledige tekst

Elektronisch E-boek

8

The Algorithm Design Manual

door Skiena, Steven S., Skiena, Steven S.
Gepubliceerd in 2008

Inhoudsopgave: “... and Heuristic Methods -- Dynamic Programming -- Intractable Problems and Approximation Algorithms -- How...”
Volledige tekst

Elektronisch E-boek

9

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-...

Gepubliceerd in 2005

Inhoudsopgave: “... Languages with Modest Programming Effort -- Compilation of Generic Regular Path Expressions Using C++ Class...”
Volledige tekst

Elektronisch E-boek

10

Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Agia Napa, Cyprus, June 9-11, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... -- An Operational Approach to Validate the Path of BGP -- 1-Persistent Collision-Free CSMA Protocols...”
Volledige tekst

Elektronisch E-boek

11

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March...

Gepubliceerd in 2006

Inhoudsopgave: “...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”
Volledige tekst

Elektronisch E-boek

12

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...”
Volledige tekst

Elektronisch E-boek

13

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

Gepubliceerd in 2005

Inhoudsopgave: “... in MIPv6 -- QoS Support in TLMM: Three Level Mobility Model for IP-Based Networks -- Path Stability Based...”
Volledige tekst

Elektronisch E-boek

14

Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... Framework to Measure Robustness of Peer-to-Peer Networks -- Design and Implementation of a Network Processor...”
Volledige tekst

Elektronisch E-boek