Examples with "Java Pathfinder" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Den här rapporten undersöker olikheterna mellan två liknande modell kontrollerare med olika implementationer av den partiella order reduktionen, Java Pathfinder och Moonwalker, genom att fokusera på deras tillståndsreduktion och tiden det tar att göra reduktionen.
This report examines the differences between two similar model checkers with different implementations of the partial order reductions, Java Pathfinder and Moonwalker, by focusing on its state reduction feature and the time it takes to do the reduction.
Genom att göra en teoretisk jämförelse kommer den här rapporten att försöka svara på vilken partiell order reduktion är bäst och testa Java Pathfinder för ett antagande om hur Moonwalker skulle bete sig i relevant kod.
By doing a theoretical comparison this paper tries to answer the questions stated and the testing of Java Pathfinder will deduce how Moonwalker would behave compared to Java Pathfinder for a relevant code.
Resultatet var att Moonwalker reducerar likvärdigt antal tillstånd som Java Pathfinder, men att Java Pathfinder överträffar Moonwalker en aning.
The result was that both Moonwalker and Java Pathfinder reduces most of the states, where Java Pathfinder outperforms Moonwalker slightly.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
