concurrency - sheckman on Faves

Permalink

sheckman on concurrency

Faves
Tags
concurrency

vote
4
A general-purpose algorithm for analyzing concurrent programs
sheckman | Shared With: Everyone - Aug 09 2007 | static analysis, concurrency
1 Faver Add CommentShareViewed: 3 TimesSend This!Permalink
vote
4
Data flow analysis for checking properties of concurrent Java programs
sheckman | Shared With: Everyone - Aug 09 2007 | data flow analysis, static analysis, concurrency
1 Faver Add CommentShareViewed: 3 TimesSend This!Permalink
vote
2
Data flow analysis for verifying properties of concurrent programs
sheckman | Shared With: Everyone - Aug 09 2007 | data flow analysis, static analysis, concurrency
1 Faver Add CommentShareViewed: 1 TimeSend This!Permalink
vote
2
A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel
sheckman | Shared With: Everyone - Aug 09 2007 | data flow analysis, static analysis, concurrency
1 Faver Add CommentShareViewed: 1 TimeSend This!Permalink
vote
2
ScienceDirect - Science of Computer Programming : Observations on the assured evolution of concurrent Java programs
sheckman | Shared With: Everyone - Aug 09 2007 | java, concurrency, static analysis
1 Faver Add CommentShareViewed: 1 TimeSend This!Permalink
vote
1
The code of many colors
sheckman | Shared With: Everyone - Aug 09 2007 | static analysis, concurrency
1 Faver Add CommentShareSend This!Permalink
vote
1
Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent
sheckman | Shared With: Everyone - Aug 09 2007 | static analysis, eclipse, concurrency
1 Faver Add CommentShareSend This!Permalink
vote
2
A practical algorithm for static analysis of parallel programs
sheckman | Shared With: Everyone - Aug 09 2007 | static analysis, concurrency
1 Faver Add CommentShareViewed: 1 TimeSend This!Permalink
vote
2
A generic approach to the static analysis of concurrent programs with procedures
sheckman | Shared With: Everyone - Aug 09 2007 | static analysis, concurrency
1 Faver Add CommentShareViewed: 1 TimeSend This!Permalink
vote
1
A Static Analysis of CSP Programs
sheckman | Shared With: Everyone - Aug 09 2007 | static analysis, concurrency, cps
1 Faver Add CommentShareSend This!Permalink

Related Content from Around Faves

eclipse

SSVChecker - An Eclipse plug-in interface static security vulnerability checkers
sheckman
Apr 07 2008
1 FaverViewed: 6 Times
Checkstyle - Checkstyle 4.3
sheckman - Dec 05 2007
2 FaversViewed: 5 Times
Python Perspective for Eclipse
mike - Jun 17 2008
1 FaverViewed: 4 Times

java

SourceForge.net: OpenProj - Project Management
neko-zou
Jun 18 2008
Quoted: The world's largest development and download repository of Open Source code and applications
2 FaversViewed: 19 Times
Aditya Dada's Blog: Selenium-ANT-TestNG (SAT) Framework
talios - May 20 2008
1 FaverViewed: 5 Times
OZACC.blog: ServiceCapture vs Charles
jshin - Jan 09 2007
1 FaverViewed: 20 Times

What is Faves?

Browse Faves to find the most popular web pages on any topic. Our community is finding new web sites every day.

Related Tags

1 - 17 of 17

x concurrency

sheckman's Friends