1113 search results - page 18 / 223 » Counter Systems for Data Logics |
97
Voted
FDL
2003
IEEE
15 years 2 months ago
2003
IEEE
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
IPPS
2007
IEEE
15 years 3 months ago
2007
IEEE
NFS is considered to be the bottleneck in cluster computing environment because of its limited resources and centralized data management. With the development of hardware, NFS ser...
66
Voted
WISE
2008
Springer
15 years 3 months ago
2008
Springer
We have developed a system for helping users to determine the trustworthiness of uncertain facts based on sentiment and temporal viewpoints by aggregating information from the Web....
83
Voted
CLUSTER
2003
IEEE
15 years 2 months ago
2003
IEEE
Debugging the performance of parallel and distributed systems remains a difficult task despite the widespread use of middleware packages for automatic distribution, communication...
TCS
2008
14 years 9 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...