4930 search results - page 935 / 986 » Learning minimal abstractions |
111
Voted
HIPC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract— In this work, we demonstrate the power of providing a common set of operating system services to Grid Architectures, including high-performance I/O, communication, reso...
115
Voted
ICICS
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. For the application of large-scale mobile agents in a distributed environment, where a large number of computers are connected together to enable the large-scale sharing ...
108
click to vote
HYBRID
2010
Springer
15 years 5 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Reducing resource usage is one of the most important optimization objectives in behavioral synthesis due to its direct impact on power, performance and cost. The datapat...
114
click to vote
CLOUD
2010
ACM
15 years 5 months ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...