3436 search results - page 249 / 688 » Software Tools for Performance Modeling of Parallel Programs |
128
click to vote
IEE
2010
15 years 1 months ago
2010
Popular code coverage measures, such as branch coverage, are indicators of the thoroughness rather than the fault detection capability of test suites. Mutation testing is a fault-...
221
click to vote
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
Even though graphics processors (GPUs) are becoming increasingly popular for general purpose computing, current (and likely near future) generations of GPUs do not provide hardwar...
137
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
139
click to vote
SPC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
125
click to vote
CMPB
2010
14 years 10 months ago
2010
Steady state flux balance analysis (FBA) for cellular metabolism is used, e.g., to seek information on the activity of the different pathways under equilibrium conditions, or as a...