1042 search results - page 140 / 209 » Embedded Systems Design: Optimization Challenges |
175
click to vote
RTAS
1997
IEEE
15 years 7 months ago
1997
IEEE
ÐWith effective packet-scheduling mechanisms, modern integrated networks can support the diverse quality-of-service requirements of emerging applications. However, arbitrating bet...
135
click to vote
CCS
2007
ACM
15 years 7 months ago
2007
ACM
Trusted Computing (TC) is an emerging technology towards building trustworthy computing platforms. The Trusted Computing Group (TCG) has proposed several specifications to impleme...
119
click to vote
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
124
Voted
MOBIHOC
2006
ACM
16 years 2 months ago
2006
ACM
Message ferrying is a networking paradigm where a special node, called a message ferry, facilitates the connectivity in a mobile ad hoc network where the nodes are sparsely deploy...
110
click to vote
CEC
2009
IEEE
15 years 7 months ago
2009
IEEE
Landing on distant planets is always a challenging task due to the distance and hostile environments found. In the design of autonomous hazard avoidance systems we find the particu...