123 search results - page 11 / 25 » ATOM - A System for Building Customized Program Analysis Too... |
129
click to vote
SCAM
2008
IEEE
15 years 9 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
142
Voted
ICSE
2000
IEEE-ACM
15 years 6 months ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
118
Voted
FSTTCS
2003
Springer
15 years 7 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
119
Voted
POPL
2011
ACM
14 years 5 months ago
2011
ACM
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
164
Voted
RV
2010
Springer
15 years 15 days ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...