1635 search results - page 215 / 327 » DIPC: A System Software Solution for Distributed Programming |
145
click to vote
ISSTA
2009
ACM
16 years 20 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
164
Voted
HPCN
1995
Springer
15 years 9 months ago
1995
Springer
In the global economy, proper organisation and planning of production and storage locations, transportation and scheduling are vital to retain the competitive edge of companies. Th...
171
click to vote
IEEEPACT
2007
IEEE
16 years 14 days ago
2007
IEEE
There has recently been much interest in stream processing, both in industry (e.g., Cell, NVIDIA G80, ATI R580) and academia (e.g., Stanford Merrimac, MIT RAW), with stream progra...
156
click to vote
EDOC
2007
IEEE
16 years 15 days ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
179
Voted
DEBS
2010
ACM
15 years 9 months ago
2010
ACM
Operator-based programming languages provide an effective development model for large scale stream processing applications. A stream processing application consists of many runtim...