846 search results - page 118 / 170 » Separating Designs from Implementations: Role-Based Software... |
170
click to vote
HPDC
1998
IEEE
15 years 5 months ago
1998
IEEE
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...
119
click to vote
ICDCS
2002
IEEE
15 years 6 months ago
2002
IEEE
Process migration has been used to perform specialized tasks, such as load sharing and checkpoint/restarting long running applications. Implementation typically consists of modifi...
116
click to vote
AAAI
2000
15 years 2 months ago
2000
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
108
click to vote
ML
2006
ACM
15 years 7 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
117
click to vote
ICDCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Record and Replay (RR) is a software based state replication solution designed to support recording and subsequent replay of the execution of unmodified applications running on mu...