Sciweavers

1237 search results - page 69 / 248
» Strictness and Totality Analysis
Sort
View
HYPERTEXT
2009
ACM
16 years 3 months ago
Automatically annotating textual resources with human intentions
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...
Markus Strohmaier, Mark Kröll, Christian K&ou...
RTSS
2009
IEEE
16 years 1 months ago
Gang EDF Scheduling of Parallel Task Systems
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 ...
Shinpei Kato, Yutaka Ishikawa
DDECS
2007
IEEE
143views Hardware» more  DDECS 2007»
16 years 20 days ago
Fault Injection and Simulation for Fault Tolerant Reconfigurable Duplex System
– 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...
Pavel Kubalík, Jirí Kvasnicka, Hana ...
WIOPT
2006
IEEE
16 years 9 days ago
Optimizing data replication for expanding ring-based queries in wireless sensor networks
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...
Bhaskar Krishnamachari, Joon Ahn
CEC
2005
IEEE
15 years 12 months ago
ICARUS: intelligent coupon allocation for retailers using search
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...
Stephen Swift, Amy Shi, Jason Crampton, Allan Tuck...