1654 search results - page 114 / 331 » Comparing Two Software Design Process Theories |
149
Voted
WCRE
2007
IEEE
15 years 11 months ago
2007
IEEE
As the useful life expectancy of software continues to increase, the task of maintaining the source code has become the dominant phase of the software life-cycle. In order to impr...
178
click to vote
JCPHY
2011
14 years 7 months ago
2011
The calculation of radial distribution functions (RDFs) from molecular dynamics trajectory data is a common and computationally expensive analysis task. The rate limiting step in ...
143
click to vote
SPIN
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
114
Voted
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we address the problem of designing very high throughput finite state machines (FSMs). The presence of loops in sequential circuits prevents a straightforward and g...
213
click to vote
ECOOP
1998
Springer
15 years 9 months ago
1998
Springer
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...