2700 search results - page 483 / 540 » The role of abstraction in software engineering |
159
click to vote
ISPASS
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract—We generate and provide miniature synthetic benchmark clones for modern workloads to solve two pre-silicon design challenges, namely: 1) huge simulation time (weeks to m...
161
click to vote
ISPASS
2009
IEEE
16 years 29 days ago
2009
IEEE
Abstract—Developing CPU scheduling algorithms and understanding their impact in practice can be difficult and time consuming due to the need to modify and test operating system ...
157
click to vote
ICSM
2009
IEEE
16 years 24 days ago
2009
IEEE
Modeling the navigation structure of a dynamic web application is a challenging task because of the presence of dynamic pages. In particular, there are two problems to be dealt wi...
168
click to vote
ICST
2009
IEEE
16 years 24 days ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
209
click to vote
ICFEM
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...