1342 search results - page 208 / 269 » Ordered Programs as Abductive Systems |
IEEEPACT
2009
IEEE
14 years 3 months ago
2009
IEEE
Increasing demand for performance and efficiency has driven the computer industry toward multicore systems. These systems have become the industry standard in almost all segments...
GD
1998
Springer
14 years 29 days ago
1998
Springer
We demonstrate the H3Viewer graph drawing library, which can be run from a standalone program or in conjunction with other programs such as SGI's Site Manager application. Our...
SIGGRAPH
1997
ACM
14 years 28 days ago
1997
ACM
This paper describes the integration of the Berkeley Architectural Walkthrough Program with the National Institute of Standards and Technology’s CFAST fire simulator. The integ...
POS
1987
Springer
14 years 7 days ago
1987
Springer
Conventional paging systems do not perform well with large object-oriented environments (such as Smalltalk-801 [GR83]) due to the fine granularity of objects and the persistence o...
IISWC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—Transactional Memory (TM) is emerging as a promising technology to simplify parallel programming. While several TM systems have been proposed in the research literature,...