5407 search results - page 989 / 1082 » The Software Engineering Global Model |
187
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Variable-bandwidth servers (VBS) control process execution speed by allocating variable CPU bandwidth to processes. VBS enables temporal isolation of EDF-scheduled processes in th...
174
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
Data quality is critical for many information-intensive applications. One of the best opportunities to improve data quality is during entry. USHER provides a theoretical, data-dri...
159
click to vote
ISPASS
2010
IEEE
16 years 1 months ago
2010
IEEE
—The ongoing move to chip multiprocessors (CMPs) permits greater sharing of last-level cache by processor cores but this sharing aggravates the cache contention problem, potentia...
151
click to vote
ISPASS
2009
IEEE
16 years 1 months ago
2009
IEEE
In temperature-aware design, the presence or absence of a heatsink fundamentally changes the thermal behavior with important design implications. In recent years, chip-level infra...
177
click to vote
PPDP
2007
Springer
16 years 13 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...