887 search results - page 45 / 178 » A pattern-based approach to model software performance |
101
click to vote
SNPD
2008
15 years 1 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
129
click to vote
AC
2002
Springer
15 years 10 days ago
2002
Springer
Measuring structural design properties of a software system, such as coupling, cohesion, or complexity, is a promising approach towards early quality assessments. To use such meas...
116
Voted
BMCBI
2007
15 years 17 days ago
2007
Background: Combinatorial complexity is a challenging problem in detailed and mechanistic mathematical modeling of signal transduction. This subject has been discussed intensively...
103
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
This paper describes and evaluates various general stemming approaches for the French, Portuguese (Brazilian), German and Hungarian languages. Based on the CLEF test-collections, ...
121
click to vote
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Multicore designs have emerged as the mainstream design paradigm for the microprocessor industry. Unfortunately, providing multiple cores does not directly translate into performa...