1636 search results - page 322 / 328 » Reasoning About Quantum Systems |
ICPP
1994
IEEE
15 years 3 months ago
1994
IEEE
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...
114
click to vote
LATA
2010
Springer
15 years 3 months ago
2010
Springer
Automated reasoning about systems with infinite domains requires an extension of regular automata to infinite alphabets. Existing formalisms of such automata cope with the infinite...
112
click to vote
CGO
2009
IEEE
15 years 3 months ago
2009
IEEE
Message passing is a very popular style of parallel programming, used in a wide variety of applications and supported by many APIs, such as BSD sockets, MPI and PVM. Its importance...
101
click to vote
SOUPS
2010
ACM
15 years 3 months ago
2010
ACM
Home computer systems are frequently insecure because they are administered by untrained, unskilled users. The rise of botnets has amplified this problem; attackers can compromis...
104
Voted
EUROPAR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Computer mobility allows people to use computers in varied and changing environments. This variability forces applications to adapt thus requiring awareness of the comput...