10910 search results - page 146 / 2182 » Input modeling using a computer algebra system |
CISIS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is significantly lower than the maxi...
ICAC
2007
IEEE
15 years 4 months ago
2007
IEEE
—A promising method of automating management tasks in computing systems is to formulate them as control or optimization problems in terms of performance metrics. For an online op...
110
click to vote
OSDI
2008
ACM
15 years 10 days ago
2008
ACM
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
107
click to vote
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
The peer-to-peer approach to design large-scale systems has significant benefits including scalability, low cost of ownership, robustness, and ability to provide site autonomy. ...