2137 search results - page 312 / 428 » Proving Abstract Non-interference |
116
Voted
APCSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract. Power-balanced instruction scheduling for Very Long Instruction Word (VLIW) processors is an optimization problem which requires a good instruction-level power model for ...
116
Voted
IAT
2005
IEEE
15 years 8 months ago
2005
IEEE
The BDI agent model comprises a simple but efficient folk psychological framework of mentalistic notions usable for modeling rational agent behaviour. Nevertheless, despite its u...
282
Voted
INFOCOM
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— We present a model for the joint design of congestion control and media access control (MAC) for ad hoc wireless networks. Using contention graph and contention matrix,...
119
Voted
INFOCOM
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— Existing random membership management algorithms provide each node with a small, uniformly random subset of global participants. However, many applications would bene...
113
click to vote
RTCSA
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— Time-critical jobs in many real-time applications have multiple feasible intervals. Such a job is constrained to execute from start to completion in one of its feasible...