6201 search results - page 89 / 1241 » Implementation of Axiomatic Language |
147
click to vote
JAVA
2001
Springer
15 years 8 months ago
2001
Springer
Rapid commoditization of advanced hardware and progress of networking technology is now making wide area high-performance computing a.k.a. the ‘Grid’ Computing a reality. Sinc...
170
click to vote
SOSP
2009
ACM
16 years 28 days ago
2009
ACM
Data-intensive applications are increasingly designed to execute on large computing clusters. Grouped aggregation is a core primitive of many distributed programming models, and i...
115
click to vote
ESOP
2003
Springer
15 years 9 months ago
2003
Springer
We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the cont...
108
click to vote
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
The standard CORBA operation invocation model supports synchronous, one-way, and deferred synchronous interactions between clients and servers. However, this model is too restrict...
146
Voted
DAC
2005
ACM
15 years 6 months ago
2005
ACM
This paper focuses on designing network processing software for embedded processors. Our design flow CRACC represents an efficient path to implementation based on a modular applic...