5630 search results - page 94 / 1126 » Computability in Specification |
126
Voted
ECCC
2010
15 years 4 months ago
2010
We give two time- and space-efficient simulations of quantum computations with intermediate measurements, one by classical randomized computations with unbounded error and the oth...
137
click to vote
FCCM
2007
IEEE
15 years 8 months ago
2007
IEEE
While medium- and large-sized computing centers have increasingly relied on clusters of commodity PC hardware to provide cost-effective capacity and capability, it is not clear th...
141
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Trusted Computing (TC) is an emerging technology towards building trustworthy computing platforms. The Trusted Computing Group (TCG) has proposed several specifications to impleme...
122
click to vote
DIGRA
2003
Springer
15 years 9 months ago
2003
Springer
During the Gulf War of 1991, the television coverage was frequently observed to be ‘just like a video game’. This analogy primarily derived from the specific, ‘bombs-eye’ ...
136
click to vote
INTERNET
2010
15 years 2 months ago
2010
abstractions, concepts, and actions that characterize human experiences. This will herald computing for human experience (CHE). The CHE vision is built on a suite of technologies t...