1855 search results - page 152 / 371 » Composing model programs for analysis |
205
Voted
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-...
134
click to vote
TCS
2008
15 years 3 months ago
2008
The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although livi...
135
Voted
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Software developers spend a significant portion of their resources handling user-submitted bug reports. For software that is widely deployed, the number of bug reports typically ...
170
Voted
WAN
1998
Springer
15 years 7 months ago
1998
Springer
We present a model for the parallel performance of algorithms that consist of concurrent, two-dimensional wavefronts implemented in a message passing environment. The model combine...
142
Voted
SERP
2007
15 years 4 months ago
2007
Model driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the...