2227 search results - page 123 / 446 » Reversibility and Models for Concurrency |
186
Voted
CODES
2008
IEEE
16 years 16 days ago
2008
IEEE
Software-controlled scratchpad memory is increasingly employed in embedded systems as it offers better timing predictability compared to caches. Previous scratchpad allocation alg...
169
click to vote
POPL
2004
ACM
15 years 11 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
144
click to vote
LICS
2006
IEEE
16 years 2 days ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
142
click to vote
CERA
2008
15 years 6 months ago
2008
er.sagepub.com/cgi/content/abstract/16/2/121 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:Concurrent Engineerin...
129
click to vote
CERA
2006
15 years 6 months ago
2006
er.sagepub.com/cgi/content/abstract/14/4/283 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:Concurrent Engineerin...