10674 search results - page 1960 / 2135 » The Virtual Environment - Another Approach |
135
click to vote
ASE
2008
15 years 4 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
148
click to vote
BIOSYSTEMS
2008
15 years 4 months ago
2008
The world's objective pattern is formed through consistent histories of quantum measurements originating as different branches of the same wave function. When we come close t...
BMCBI
2010
15 years 4 months ago
2010
Background: Investigation of metagenomes provides greater insight into uncultured microbial communities. The improvement in sequencing technology, which yields a large amount of s...
150
click to vote
COMCOM
2010
15 years 4 months ago
2010
In recent years, IPTV has received an increasing amount of interest from the industry, commercial providers and the research community, alike. In this context, standardization bod...
124
click to vote
CONCURRENCY
2010
15 years 4 months ago
2010
Over the past decade the number of processors in the high performance facilities went up to hundreds of thousands. As a direct consequence, while the computational power follow th...