1
Julkaistu 2006
Sisällysluettelo: ...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2006
Sisällysluettelo: ... Manipulations in Critical Embedded C Programs -- Session 2 -- Abstract Regular Tree Model Checking of Complex...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2005
Sisällysluettelo: ... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...
Hae kokoteksti
Elektroninen E-kirja
4
Sisällysluettelo: ... -- Graph Traversal -- Shortest Paths -- Minimum Spanning Trees -- Generic Approaches to Optimization....
Hae kokoteksti
Elektroninen E-kirja
5
Aiheet: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Hae kokoteksti
Elektroninen E-kirja
6
Tekijä Skiena, Steven S., Skiena, Steven S.
Julkaistu 2008
Sisällysluettelo: ... and Heuristic Methods -- Dynamic Programming -- Intractable Problems and Approximation Algorithms -- How...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2008
Sisällysluettelo: ... -- An Operational Approach to Validate the Path of BGP -- 1-Persistent Collision-Free CSMA Protocols...
Hae kokoteksti
Elektroninen E-kirja
8
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
9
Julkaistu 2007
Sisällysluettelo: ... Extension to Java PathFinder -- Markov Chains and Real-Time Systems -- A Symbolic Algorithm for Optimal...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2005
Sisällysluettelo: ... Study -- Model Checking Real Time Java Using Java PathFinder -- Infinite-State and Parameterized Systems...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2005
Sisällysluettelo: ... Program Path Locality for Real-Time Embedded Systems -- Advanced Resource Management and Scheduling...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2006
Sisällysluettelo: ... by Reuse Path Analysis -- Integrating TAU with Eclipse: A Performance Analysis System in an Integrated...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2010
Sisällysluettelo: ... or Class Size#x003F; -- An Empirical Study of #x201C;Removed#x201D; Classes in Java Open-Source Systems...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2007
Sisällysluettelo: ...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2010
Sisällysluettelo: ...Tables: A Spreadsheet-Inspired Programming Model for Sensor Networks -- Optimized Java Binary...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2007
Sisällysluettelo: ... Cooperative Diversity in Wireless Network -- Modified Widest Disjoint Paths Algorithm for Multipath Routing...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2007
Sisällysluettelo: ... Routing Algorithm Using Evolution Program for Multiple Shortest Paths in DRGS -- Particle Swarm...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2007
Sisällysluettelo: ... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2008
Sisällysluettelo: ... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2013
Sisällysluettelo: ... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...
Hae kokoteksti
Elektroninen E-kirja