1342 search results - page 98 / 269 » Ordered Programs as Abductive Systems |
ISVLSI
2008
IEEE
14 years 4 months ago
2008
IEEE
Scalability of architecture, programming model and task control management will be a major challenge for future VLSI systems. In this context, homogeneous MPSOC is a seducing appr...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
We consider multiprocessor distributed real-time systems where concurrency control is managed using software transactional memory (or STM). For such a system, we propose an algori...
SIGUCCS
2000
ACM
14 years 2 months ago
2000
ACM
In order to keep on the leading edge of technology and to take advantage of new administrative features, we at University of Wyoming decided to upgrade our Windows NT 4.0 lab syst...
TLCA
2007
Springer
14 years 3 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
CADE
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...