4722 search results - page 737 / 945 » Encoding Program Executions |
131
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
Hangal et. al. [3] have developed a procedure to check if an instance of the execution of a shared memory multiprocessor program, is consistent with the Total Store Order (TSO) mem...
121
click to vote
DFKI
2005
Springer
15 years 4 months ago
2005
Springer
It is widely accepted in Distributed Artificial Intelligence that a crucial property of artificial agents is their autonomy. Whereas agent autonomy enables features of agent-base...
121
click to vote
DALT
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In order to facilitate the development of agent-based software, several agent programming languages and architectures, have been created. Plans in these architectures are...
113
click to vote
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "on-thefly" during their execution. We are devel...
130
click to vote
CDES
2006
15 years 4 months ago
2006
Recently, several loop buffer designs have been proposed to reduce instruction fetch energy due to size and location advantage of loop buffer. Nevertheless, on design complexity di...