1237 search results - page 69 / 248 » Strictness and Totality Analysis |
159
click to vote
HYPERTEXT
2009
ACM
16 years 3 months ago
2009
ACM
Annotations represent an increasingly popular means for organizing, categorizing and finding resources on the “social” web. Yet, only a small portion of the total resources av...
144
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The preemptive real-time scheduling of sporadic parallel task systems is studied. We present an algorithm, called Gang EDF, which applies the Earliest Deadline First (EDF) policy ...
156
click to vote
DDECS
2007
IEEE
16 years 20 days ago
2007
IEEE
– The implementation and the fault simulation technique for the highly reliable digital design using two FPGAs under a processor control is presented. Two FPGAs are used for dupl...
177
click to vote
WIOPT
2006
IEEE
16 years 9 days ago
2006
IEEE
We consider the problem of optimizing the number of replicas for event information in wireless sensor networks, when queries are disseminated using expanding rings. We obtain clos...
157
click to vote
CEC
2005
IEEE
15 years 12 months ago
2005
IEEE
Many retailers run loyalty card schemes for their customers offering incentives in the form of money off coupons. The total value of the coupons depends on how much the customer ha...