1131 search results - page 115 / 227 » Performance analysis of BSTs in system software |
154
click to vote
ECOOP
1994
Springer
15 years 8 months ago
1994
Springer
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...
124
click to vote
AOSD
2003
ACM
15 years 9 months ago
2003
ACM
The FreeBSD operating system more than doubled in size between version 2 and version 4. Many changes to primary modularity are easy to spot at a high-level. For example, new devic...
130
click to vote
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
164
click to vote
SEKE
1993
Springer
15 years 8 months ago
1993
Springer
Many reported difficulties with real-life applications of knowledge-based technology stem from the fact that the traditionally performed prototyping projects are hard to manage an...
109
click to vote
OSS
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a case study of introducing usability practices to a small open source project called Carrot2 . We describe our experiences from a point of view of an active Ca...