Hakutulokset - program path program using java https

1

Distributed Programming Theory and Practice /

Tekijä Shankar, A. Udaya., Shankar, A. Udaya.
Julkaistu 2013

Sisällysluettelo: “... for Time-Constrained Programs -- Lock using Peterson's Algorithm -- Lock using the Bakery Algorithm...”
Hae kokoteksti

Elektroninen E-kirja

2

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2010

Sisällysluettelo: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
Hae kokoteksti

Elektroninen E-kirja

4

Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams /

Tekijä Sharan, Kishori., Sharan, Kishori.
Julkaistu 2014

Aiheet: “...Java (Computer program language)....”
Hae kokoteksti

Elektroninen E-kirja

5

Stripes by Example

Tekijä Watson, Brent., Watson, Brent.
Julkaistu 2015

Aiheet: “...Java (Computer program language)....”
Hae kokoteksti

Elektroninen E-kirja

6

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

Julkaistu 2006

Sisällysluettelo: “...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”
Hae kokoteksti

Elektroninen E-kirja

7

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

Julkaistu 2008

Sisällysluettelo: “... the Absence of Errors -- Protocol Inference Using Static Path Profiles -- Solving Multiple Dataflow Queries...”
Hae kokoteksti

Elektroninen E-kirja

8

Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... Manipulations in Critical Embedded C Programs -- Session 2 -- Abstract Regular Tree Model Checking of Complex...”
Hae kokoteksti

Elektroninen E-kirja

9

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

Julkaistu 2006

Sisällysluettelo: “... of an Operating System Using Separation Logic -- A Statically Verifiable Programming Model for Concurrent Object...”
Hae kokoteksti

Elektroninen E-kirja

10

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

Julkaistu 2005

Sisällysluettelo: “... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...”
Hae kokoteksti

Elektroninen E-kirja

11

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /

Julkaistu 2006

Sisällysluettelo: “... Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing...”
Hae kokoteksti

Elektroninen E-kirja

12

Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 2...

Julkaistu 2010

Sisällysluettelo: “... -- Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs -- Register Allocation...”
Hae kokoteksti

Elektroninen E-kirja

13

Pro HTML5 Games

Tekijä Shankar, Aditya Ravi., Shankar, Aditya Ravi.
Julkaistu 2012

Aiheet: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Hae kokoteksti

Elektroninen E-kirja

14

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

Julkaistu 2005

Sisällysluettelo: “... Programs -- The Use of Traces for Inlining in Java Programs -- A Practical MHP Information Analysis...”
Hae kokoteksti

Elektroninen E-kirja

15

Foundations of Atlas Rapid Ajax Development with ASP.NET 2.0 /

Tekijä Moroney, Laurence., Moroney, Laurence.
Julkaistu 2006

Sisällysluettelo: “...Introducing Ajax -- Atlas: Taking Ajax to the Next Level -- Atlas: Making Client-Side Java...”
Hae kokoteksti

Elektroninen E-kirja

16

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Julkaistu 2014

Sisällysluettelo: “... of Touch Develop Scripts -- Efficient Incremental Static Analysis Using Path Abstraction -- Type-Based...”
Hae kokoteksti

Elektroninen E-kirja

17

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, Marc...

Julkaistu 2008

Sisällysluettelo: “... Using Dynamic Instrumentation -- Compiler-Guaranteed Safety in Code-Copying Virtual Machines -- Hardware...”
Hae kokoteksti

Elektroninen E-kirja