1855 search results - page 60 / 371 » A coding theorem for distributed computation |
110
click to vote
GI
2001
Springer
15 years 7 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
112
click to vote
ICS
2005
Tsinghua U.
15 years 8 months ago
2005
Tsinghua U.
Although unstructured mesh algorithms are a popular means of solving problems across a broad range of disciplines—from texture mapping to computational fluid dynamics—they ar...
115
Voted
CSFW
2007
IEEE
15 years 9 months ago
2007
IEEE
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
113
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes a process for the semi-automatic conversion of numerical and scientific routines written in the C programming language into Triana-based computational servic...
126
click to vote
CCGRID
2001
IEEE
15 years 6 months ago
2001
IEEE
Active networks allow computations to be performed innetwork at routers as messages pass through them. Active networks offer unique opportunities to optimize networkcentric applic...