Search Results - program path program problems java https

1

Distributed Programming Theory and Practice /

by Shankar, A. Udaya., Shankar, A. Udaya.
Published 2013

Table of Contents: “... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
View full text

Electronic eBook

2

Linear Programming Foundations and Extensions /

by Vanderbei, Robert J., Vanderbei, Robert J.
Published 2014

Table of Contents: “... Applications -- Network-Type Problems -- Applications -- Structural Optimization -- The Central Path -- A Path...”
View full text

Electronic eBook

3

Linear Programming Foundations and Extensions /

by Vanderbei, Robert J., Vanderbei, Robert J.
Published 2008

Table of Contents: “... Analyses -- Implementation Issues -- Problems in General Form -- Convex Analysis -- Game Theory...”
View full text

Electronic eBook

4

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Published 2005

Table of Contents: “... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”
View full text

Electronic eBook

5

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

Published 2006

Table of Contents: “... Modeling of Music -- Using Dominators for Solving Constrained Path Problems -- JQuery: A Generic Code...”
View full text

Electronic eBook

6

Regular Expression Recipes for Windows Developers A Problem-Solution Approach /

by Good, Nathan., Good, Nathan.
Published 2005

Table of Contents: “...Words and Text -- URLs and Paths -- CSV and Tab-Delimited Files -- Formatting and Validating...”
View full text

Electronic eBook

7

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Published 2006

Table of Contents: “... of Deterministic Blocks in Java PathFinder -- Tools -- A Tool for a Formal Pattern Modeling Language -- An Open...”
View full text

Electronic eBook

8

Algorithms and Data Structures The Basic Toolbox /

by Mehlhorn, Kurt., Mehlhorn, Kurt., Sanders, Peter.
Published 2008

Table of Contents: “... -- Graph Traversal -- Shortest Paths -- Minimum Spanning Trees -- Generic Approaches to Optimization....”
View full text

Electronic eBook

9

The Algorithm Design Manual

by Skiena, Steven S., Skiena, Steven S.
Published 2008

Table of Contents: “... and Heuristic Methods -- Dynamic Programming -- Intractable Problems and Approximation Algorithms -- How...”
View full text

Electronic eBook

10

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

Published 2008

Table of Contents: “... Family Problems -- Examining the Feasibility of Reconfigurable Models for Molecular Dynamics Simulation...”
View full text

Electronic eBook

11

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

Published 2007

Table of Contents: “... Extension to Java PathFinder -- Markov Chains and Real-Time Systems -- A Symbolic Algorithm for Optimal...”
View full text

Electronic eBook

12

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

Published 2006

Table of Contents: “...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”
View full text

Electronic eBook

13

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005, Proceedings /

Published 2005

Table of Contents: “... Program Path Locality for Real-Time Embedded Systems -- Advanced Resource Management and Scheduling...”
View full text

Electronic eBook

14

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings /

Published 2006

Table of Contents: “... by Reuse Path Analysis -- Integrating TAU with Eclipse: A Performance Analysis System in an Integrated...”
View full text

Electronic eBook

15

Information Systems Development Reflections, Challenges and New Directions /

Published 2013

Table of Contents: “... An Enterprise Software System Didn't Work As Planned -- Problems in the interplay of IS development...”
View full text

Electronic eBook

16

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /

Published 2005

Table of Contents: “... Challenge -- A Structured Set of Higher-Order Problems -- Formal Modeling of a Slicing Algorithm for Java...”
View full text

Electronic eBook

17

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Published 2007

Table of Contents: “... -- Solving a Problem in Grid Applications: Using Aspect Oriented Programming -- Energy-Aware QoS Adjustment...”
View full text

Electronic eBook

18

Distributed Computing in Sensor Systems 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010, Proceedings /

Published 2010

Table of Contents: “...Tables: A Spreadsheet-Inspired Programming Model for Sensor Networks -- Optimized Java Binary...”
View full text

Electronic eBook

19

Network and Parallel Computing IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007, Proceedings /

Published 2007

Table of Contents: “... Cooperative Diversity in Wireless Network -- Modified Widest Disjoint Paths Algorithm for Multipath Routing...”
View full text

Electronic eBook

20

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

Published 2005

Table of Contents: “... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...”
View full text

Electronic eBook

Narrow Search