1318 search results - page 235 / 264 » The formal semantics of the timeER model |
115
click to vote
AISB
2008
Springer
15 years 1 months ago
2008
Springer
According to the traditional conception of the mind, semantical content is perhaps the most important feature distinguishing mental from non-mental systems. And this traditional co...
130
click to vote
POPL
2011
ACM
14 years 2 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
106
click to vote
JHSN
2000
14 years 11 months ago
2000
In order to achieve the best application-level Quality-of-Service (QoS), multimedia applications need to be dynamically tuned and reconfigured to adapt to fluctuating computing an...
104
click to vote
TSE
1998
14 years 11 months ago
1998
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
103
click to vote
PPOPP
2012
ACM
13 years 7 months ago
2012
ACM
The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...