1.
|
Runtime techniques and interprocedural analysis in Java virtual machines Qian, Feng, 1973-
|
2.
|
Shimple : and investigation of static single assignment form Umanee, Navindra.
|
3.
|
Using inter-procedural side-effect information in JIT optimizations Le, Anatole
|
4.
|
Program analysis using binary decision diagrams Lhoták, Ondřej.
|
5.
|
A practical MHP information computation for concurrent Java programs / Li, Lin, 1971-
|
6.
|
Minueto, an undergraduate teaching development framework Denault, Alexandre
|
7.
|
Measuring and improving the runtime behaviour of aspectJ programs Goard, Christopher.
|
8.
|
Hydrogeochemistry of the upper Banyu Pahit River valley, Kawah Ijen volcano, Indonesia Palmer, Stephanie
|
9.
|
Verifying finite-state properties of large-scale programs Bodden, Eric
|
10.
|
TORNADO: an automated pipeline for de novo hybrid genome assembly based on free software packages for sanger and next generation sequencing technologies (NGS). HERAI, R. H. - COSTA, G. G. D. L. - R. JÚNIOR, O. - VIDAL, R. O. - NASCIMENTO, L. C. - PARIZZI, L. P. - PEREIRA, G. G. A. - CARAZZOLLE, M. F.
|