478 search results - page 56 / 96 » Some Existence and Preservation Results for Optimal Fixpoint... |
ISSS
1997
IEEE
14 years 2 months ago
1997
IEEE
Integer Linear Programming ILP is commonly used in high level and system level synthesis. It is an NP-Complete problem in general cases . There exists some tools that give an o...
FOCS
2010
IEEE
13 years 8 months ago
2010
IEEE
Generalized Second Price Auction, also knows as Ad Word auctions, and its variants has been the main mechanism used by search companies to auction positions for sponsored search l...
RTS
2010
13 years 5 months ago
2010
Safety-critical real-time standards define several criticality levels for the tasks (e.g., DO-178B - Software Considerations in Airborne Systems and Equipment Certification). Clas...
ICPP
2009
IEEE
13 years 8 months ago
2009
IEEE
Peer-to-peer (P2P) storage systems rely on data redundancy to obtain high levels of data availability. Among the existing data redundancy schemes, erasure coding is a widely adopte...
COMPSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
Several operations of Web-based applications are optimized with respect to the set of resources that will receive the majority of requests in the near future, namely the hot set. U...