200 search results - page 11 / 40 » A Protocol for Execution of Distributed Logic Programs |
101
Voted
FMSD
2006
15 years 14 days ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
92
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
119
Voted
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
EUROPAR
2000
Springer
15 years 4 months ago
2000
Springer
In this paper we discuss the behavior of the replacement mechanism of well-known COMA protocols applied to a loosely-coupled multicomputer system sharing a common bus. We also pres...
107
Voted
HPCA
2008
IEEE
16 years 25 days ago
2008
IEEE
The continued scaling of device dimensions and the operating voltage reduces the critical charge and thus natural noise tolerance level of transistors. As a result, circuits can p...