3638 search results - page 601 / 728 » HEP@Home - A distributed computing system based on BOINC |
144
click to vote
ATAL
2010
Springer
15 years 6 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...
186
click to vote
JSW
2008
15 years 5 months ago
2008
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
200
click to vote
MOBISYS
2008
ACM
16 years 5 months ago
2008
ACM
A novel behavioral detection framework is proposed to detect mobile worms, viruses and Trojans, instead of the signature-based solutions currently available for use in mobile devi...
142
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
As processor speeds rapidly approach the Giga-Hertz regime, the disparity between process time and memory access time plays an increasing role in the overall limitation of processo...
191
click to vote
ICS
2010
Tsinghua U.
15 years 8 months ago
2010
Tsinghua U.
The growing influence of wire delay in cache design has meant that access latencies to last-level cache banks are no longer constant. Non-Uniform Cache Architectures (NUCAs) have ...