2593 search results - page 417 / 519 » constraints 2007 |
179
click to vote
ISCA
2007
IEEE
16 years 21 days ago
2007
IEEE
The recently released SPEC CPU2006 benchmark suite is expected to be used by computer designers and computer architecture researchers for pre-silicon early design analysis. Partia...
177
click to vote
ISORC
2007
IEEE
16 years 20 days ago
2007
IEEE
In service-based systems, services from various providers can be integrated following specific workflows to achieve users’ goals. These workflows are often executed and coordina...
163
click to vote
LCN
2007
IEEE
16 years 20 days ago
2007
IEEE
— Placing multicast proxies on the Internet can largely reduce the delivery delay of Internet live media streaming using overlay multicast mechanisms. In this paper, we propose a...
170
click to vote
LICS
2007
IEEE
16 years 20 days ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
194
click to vote
MEMOCODE
2007
IEEE
16 years 20 days ago
2007
IEEE
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...