942 search results - page 96 / 189 » Interrupt Timed Automata |
CSR
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...
SIGSOFT
2008
ACM
13 years 8 months ago
2008
ACM
If an organization depends on the service quality provided by another organization it often enters into a bilateral service level agreement (SLA), which mitigates outsourcing risk...
IAT
2006
IEEE
14 years 3 months ago
2006
IEEE
This is an investigation into the feasibility of agentprovided assistance for two specific situations, (1) when a previously-interrupted task is resumed, offer to open previously-...
VLDB
1998
ACM
14 years 1 months ago
1998
ACM
With today's demands for continuous availability of mission-critical databases, on-line reorganization is a necessity. In this paper we present a new on-Iine reorganization a...
MICRO
1993
IEEE
14 years 1 months ago
1993
IEEE
In this paper, we present a novel mechanism that implements register renaming, dynamic speculation and precise interrupts. Renaming of registers is performed during the instructio...