๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Slicing concurrent Java programs using Indus and Kaveri

โœ Scribed by Venkatesh Prasad Ranganath; John Hatcliff

Publisher
Springer
Year
2007
Tongue
English
Weight
819 KB
Volume
9
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A deadlock detection tool for concurrent
A deadlock detection tool for concurrent Java programs
โœ Claudio Demartini; Radu Iosif; Riccardo Sisto ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 160 KB ๐Ÿ‘ 2 views

This paper presents some issues related to the design and implementation of a concurrency analysis tool able to detect deadlock situations in Java programs that make use of multithreading mechanisms. An abstract formal model is generated from the Java source using the Java2Spin translator. The model

Using Java and JavaScript in the Virtual
Using Java and JavaScript in the Virtual Programming Laboratory: a Web-based parallel programming environment
โœ Dincer, Kivanc; Fox, Geoffrey C. ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 277 KB ๐Ÿ‘ 2 views

The Virtual Programming Laboratory (VPL) is a Web-based virtual programming environment built based on a client-server architecture. The system can be accessed on any platform (Unix, PC or Mac) using a standard Java-enabled browser. Software delivery over the Web imposes a novel set of constraints o

Concurrent correction of geometric disto
Concurrent correction of geometric distortion and motion using the map-slice-to-volume method in echo-planar imaging
โœ Desmond T.B. Yeo; Jeffrey A. Fessler; Boklye Kim ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 967 KB

The accuracy of measuring voxel intensity changes between stimulus and rest images in fMRI echo-planar imaging (EPI) data is severely degraded in the presence of head motion. In addition, EPI is sensitive to susceptibility-induced geometric distortions. Head motion causes image shifts and associated