3926 search results - page 510 / 786 » A Logic of Object-Oriented Programs |
150
click to vote
SPAA
2004
ACM
16 years 21 days ago
2004
ACM
A key capability of data-race detectors is to determine whether one thread executes logically in parallel with another or whether the threads must operate in series. This paper pr...
235
click to vote
OOPSLA
2004
Springer
16 years 19 days ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
209
click to vote
DAC
2009
ACM
16 years 8 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
197
click to vote
DALT
2003
Springer
16 years 15 days ago
2003
Springer
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...
215
click to vote
CLOUD
2010
ACM
16 years 11 days ago
2010
ACM
Over the last 10–15 years, our industry has developed and deployed many large-scale Internet services, from e-commerce to social networking sites, all facing common challenges i...