8398 search results - page 1496 / 1680 » Optimal Software Testing |
179
Voted
ASAP
2008
IEEE
16 years 24 days ago
2008
IEEE
Many complex systems require the use of floating point arithmetic that is exceedingly time consuming to perform on personal computers. However, floating point operators are also h...
152
click to vote
CEC
2008
IEEE
16 years 24 days ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
182
click to vote
DATE
2008
IEEE
16 years 24 days ago
2008
IEEE
Embedded systems are becoming increasingly complex. Besides the additional processing capabilities, they are characterized by high diversity of computational models coexisting in ...
146
click to vote
ETFA
2008
IEEE
16 years 23 days ago
2008
IEEE
We present a method for fine grain QoS control of multimedia applications. This method takes as input an application software composed of actions. The execution times are unknown...
247
click to vote
HPDC
2008
IEEE
16 years 23 days ago
2008
IEEE
The emergence of heterogeneous many core architectures presents a unique opportunity for delivering order of magnitude performance increases to high performance applications by ma...