188 search results - page 38 / 38 » Automatic Generation of Model Checking Scripts Based on Envi... |
CLUSTER
2003
IEEE
15 years 2 months ago
2003
IEEE
— Large Clusters, high availability clusters and Grid deployments often suffer from network, node or operating system faults and thus require the use of fault tolerant programmin...
CASES
2005
ACM
14 years 11 months ago
2005
ACM
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
BIBE
2003
IEEE
15 years 2 months ago
2003
IEEE
The tertiary (3D) structure of a protein contains the essential information for understanding the biological function of the protein at the molecular and cellular levels. Traditio...