Interesting paper from Marinov's group
[PDF] X10X: Model Checking a New Programming Language with an
“Old” Model Checker
<http://scholar.google.com/scholar_url?hl=en&q=https://ti.arc.nasa.gov/m/groups/rse/papers/Mehlitz-X10X_ModelChecker.pdf&sa=X&scisig=AAGBfm0kFWrziWbh2YYypWc5Bbp1XRy0Xw&oi=scholaralrt>
M Gligoric, PC Mehlitz, D Marinov
Abstract—Parallel and distributed computing is becoming a norm with the
advent of multi-
core, networked, and cloud computing platforms. New programming
languages are
emerging for these platforms, eg, the X10 language from IBM. While these
languages *...*
------------------------------------------------------------------------------
LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial
Remotely access PCs and mobile devices and provide instant support
Improve your efficiency, and focus on delivering more value-add services
Discover what IT Professionals Know. Rescue delivers
http://p.sf.net/sfu/logmein_12329d2d
_______________________________________________
X10-users mailing list
X10-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/x10-users
