8627 search results - page 349 / 1726 » Software Engineering Using RATionale |
163
click to vote
HASKELL
2007
ACM
15 years 10 months ago
2007
ACM
We describe the design, implementation and use of HPC, a toolkit to record and display Haskell Program Coverage. HPC includes tools that instrument Haskell programs to record prog...
162
click to vote
AVI
2010
15 years 8 months ago
2010
This paper reports on an empirical study designed as a follow-up of a theoretical model intended to support reasoning about the composition of smart artifacts by end-users. We hav...
186
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
In prior work we have developed an escape analysis to help developers identify sources of object churn (i.e., excessive use of temporaries) in large framework-based applications. ...
176
click to vote
CGO
2009
IEEE
16 years 1 months ago
2009
IEEE
—Most research into high-performance software transactional memory (STM) assumes that transactions will run on a processor with a relatively strict memory model, such as Total St...
140
click to vote
ISPW
2007
IEEE
16 years 1 months ago
2007
IEEE
The economic benefit of a certain development process or particular activity is usually unknown and indeed hard to predict. However, the cost-effectiveness of process improvement...