7835 search results - page 438 / 1567 » Software are Processes Too |
223
click to vote
COMPSAC
2007
IEEE
16 years 2 months ago
2007
IEEE
Wormhole attack is a severe attack in wireless ad-hoc networks. Most of the previous work eliminate the effect of wormhole attack by examining the distance or communication time o...
178
click to vote
PEPM
2007
ACM
16 years 1 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
221
click to vote
CODES
2005
IEEE
16 years 1 months ago
2005
IEEE
Instruction-set extensible processors allow an existing processor core to be extended with application-specific custom instructions. In this paper, we explore a novel application...
186
click to vote
IPPS
2005
IEEE
16 years 1 months ago
2005
IEEE
As energy consumption in high-performance systems has increased, thermal management has become a big challenge. Providing a cost-effective and detailed temperature sensing mechani...
215
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...