translator of Java programs to TADDs
FREE-DOWNLOAD A Rataj, B Wozna… – Fundamenta Informaticae, 2009 Abstract. The model checking tools Uppaal and VerICS accept a description of a network of Timed Automata with Discrete Data (TADDs) as input. Thus, to verify a concurrent program written in Java by means of these tools, first a TADD model of the program must be […]
deterministic parallel java
Inferring method effect summaries for deterministic parallel java FREE-DOWNLOAD M Vakilian, D Dig, R Bocchino, J Overbey, V Adve… – 2009 – ABSTRACT In the multicores era, parallel programming will become mainstream. However, the dominant model of concur- rency is based on threads that share memory. Program- ming in this model is too error prone due […]
Learning based java
Learning based java for rapid development of nlp systems FREE-DOWNLOADN Rizzolo… – Language Resources and Evaluation, 2010 Today’s natural language processing systems are growing more complex with the need to incorporate a wider range of language resources and more sophisticated statistical methods. In many cases, it is necessary to learn a component with input that includes […]