Suchergebnisse - program paths tutorial implementation https https

1

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

Veröffentlicht 2010

Inhaltsangabe: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Volltext

Elektronisch E-Book

2

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

Veröffentlicht 2006

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

Elektronisch E-Book

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 /

Veröffentlicht 2008

Inhaltsangabe: “... Prototype Implementation of MPI for SMARTMAP -- Gravel: A Communication Library to Fast Path MPI -- Message...”
Volltext

Elektronisch E-Book

4

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

Veröffentlicht 2008

Inhaltsangabe: “...-the-Box Attacks -- Invited Tutorials -- Assertion-Based Verification: Industry Myths to Realities (Invited...”
Volltext

Elektronisch E-Book

5

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

Veröffentlicht 2005

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

Elektronisch E-Book

6

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

Veröffentlicht 2005

Inhaltsangabe: “... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...”
Volltext

Elektronisch E-Book

7

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

Veröffentlicht 2005

Inhaltsangabe: “... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”
Volltext

Elektronisch E-Book

8

The Algorithm Design Manual

von Skiena, Steven S., Skiena, Steven S.
Veröffentlicht 2008

Inhaltsangabe: “... and Heuristic Methods -- Dynamic Programming -- Intractable Problems and Approximation Algorithms -- How...”
Volltext

Elektronisch E-Book

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-...

Veröffentlicht 2005

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

Elektronisch E-Book

10

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

Veröffentlicht 2008

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

Elektronisch E-Book

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...

Veröffentlicht 2006

Inhaltsangabe: “...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”
Volltext

Elektronisch E-Book

12

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

Veröffentlicht 2005

Inhaltsangabe: “... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...”
Volltext

Elektronisch E-Book

13

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

Veröffentlicht 2005

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

Elektronisch E-Book

14

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

Veröffentlicht 2006

Inhaltsangabe: “... Framework to Measure Robustness of Peer-to-Peer Networks -- Design and Implementation of a Network Processor...”
Volltext

Elektronisch E-Book

15

Distributed Computing and Internet Technology Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Networks -- Performance Study and Implementation of Self Organized Routing Algorithm for Mobile Ad Hoc...”
Volltext

Elektronisch E-Book

16

Trust Management 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... Solution Evaluation -- Trust-Based Route Selection in Dynamic Source Routing -- Implementing Credential...”
Volltext

Elektronisch E-Book

17

Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part I /

Veröffentlicht 2013

Inhaltsangabe: “...Shortest Path Computation over Disk-Resident Large Graphs Based on Extended Bulk Synchronous...”
Volltext

Elektronisch E-Book

18

Database Systems for Advanced Applications 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part II /

Veröffentlicht 2013

Inhaltsangabe: “...Shortest Path Computation over Disk -- Resident Large Graphs Based on Extended Bulk Synchronous...”
Volltext

Elektronisch E-Book

19

Embedded System Design: Topics, Techniques and Trends IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine (CA), USA /

Veröffentlicht 2007

Inhaltsangabe: “... -- Using a Runtime Measurement Device with Measurement-Based WCET Analysis -- Implementing Real-Time...”
Volltext

Elektronisch E-Book

20

Entertainment for Education. Digital Techniques and Systems 5th International Conference on E-learning and Games, Edutainment 2010, Changchun, China, August 16-18, 2010, Proceeding...

Veröffentlicht 2010

Inhaltsangabe: “... Writing and Speaking Performance -- Smap: To Generate the Personalized Learning Paths for Different...”
Volltext

Elektronisch E-Book

Suche einschränken