5863 search results - page 1091 / 1173 » On Model-Checking of P Systems |
110
click to vote
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
VisTrails is a new system that enables interactive multiple-view visualizations by simplifying the creation and maintenance of visualization pipelines, and by optimizing their exe...
151
click to vote
MOBIDE
2005
ACM
15 years 9 months ago
2005
ACM
In the context of mobile data access, data caching is fundamental for both performance and functionality. For this reason there have been many studies into developing energy-effi...
160
click to vote
ICN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by prov...
155
click to vote
FLOPS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This article is a brief and subjective survey of quantum programming language research. 1 Quantum Computation Quantum computing is a relatively young subject. It has its ...
160
click to vote
PVG
2003
IEEE
15 years 9 months ago
2003
IEEE
Parallel volume rendering offers a feasible solution to the large data visualization problem by distributing both the data and rendering calculations among multiple computers con...