5196 search results - page 181 / 1040 » State of Application Assessment |
144
Voted
STTT
2010
14 years 10 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
148
Voted
TC
2010
14 years 10 months ago
2010
Abstract-- Scheduling problems are already difficult on traditional parallel machines, and they become extremely challenging on heterogeneous clusters. In this paper we deal with t...
97
Voted
IBPRIA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The assessment of Myocardial Blush Grade after primary angioplasty is a precious diagnostic tool to understand if the patient needs further medication or the use of speci...
118
Voted
IQ
2007
15 years 5 months ago
2007
: Futures research means observation and understanding of today’s operational environment as well as identification and positioning of future opportunities. Lots of technology fo...
134
Voted
SDL
2007
15 years 5 months ago
2007
Software metrics are an essential means to assess software quality. For the assessment of software quality, typically sets of complementing metrics are used since individual metric...