5600 search results - page 1021 / 1120 » Synthesizing robust systems |
128
click to vote
CLOUD
2010
ACM
15 years 5 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
173
Voted
HCW
2000
IEEE
15 years 5 months ago
2000
IEEE
Management of large-scale parallel and distributed applications is an extremely complex task due to factors such as centralized management architectures, lack of coordination and ...
99
Voted
ECOOP
1998
Springer
15 years 5 months ago
1998
Springer
This paper will lead you into the world of mobile agents, an emerging technology that makes it very much easier to design, implement, and maintain distributed systems. You will fin...
129
click to vote
POPL
1997
ACM
15 years 5 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
86
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
We report on our ongoing practical experience in designing, implementing, and deploying PTIME, a personalized agent for time management and meeting scheduling in an open, multi-ag...