1052 search results - page 93 / 211 » Understanding POWER multiprocessors |
TACAS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
SDM
2007
SIAM
13 years 10 months ago
2007
SIAM
The Web is a very large social network. It is important and interesting to understand the “ecology” of the Web: the general relations of Web pages to their environment. The un...
CII
2008
13 years 9 months ago
2008
Because of the current trend of integration and interoperability of industrial systems, their size and complexity continue to grow making it more difficult to analyze, to understa...
ICMT
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
SIGCSE
2004
ACM
14 years 2 months ago
2004
ACM
This paper describes two design patterns that are powerful tools to help teach how semaphores are used to solve synchronization problems. The patterns are general enough to be use...