7404 search results - page 445 / 1481 » Software performance antipatterns |
160
click to vote
OSS
2007
Springer
16 years 1 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...
182
click to vote
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
149
click to vote
AUIC
2006
IEEE
16 years 28 days ago
2006
IEEE
We performed a usability evaluation of four New Zealand university online library catalogues. The evaluation found severe usability problems with online catalogues—we found so m...
313
click to vote
DELTA
2006
IEEE
16 years 28 days ago
2006
IEEE
The co-design of hardware and software systems with object oriented design languages like SystemC has become very popular. Static analysis of those descriptions allows to conduct ...
175
click to vote
SCAM
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper discusses an approach to linking separate analysis and transformation tools, such that analysis results can be used to guide transformations. Our approach consists of t...