4015 search results - page 304 / 803 » The Future of Software Performance Engineering |
177
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
143
click to vote
AGILEDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Companies today are attempting to lower costs and increase their staffing flexibility by taking some [or even all] of their development activities overseas. Simultaneously, many o...
177
Voted
CSMR
2007
IEEE
16 years 1 months ago
2007
IEEE
The diffusion of service oriented architectures is slowed down by the lack of enough services available for satisfying service integrator needs. Nevertheless, many features desire...
149
click to vote
ICESS
2007
Springer
16 years 27 days ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
166
click to vote
ASWEC
2006
IEEE
16 years 24 days ago
2006
IEEE
In order to determine a success criterion for open-source software projects, we analyzed 122,205 projects in the SourceForge database. There were 80,597 projects with no downloads...