1523 search results - page 232 / 305 » Software Development Improvement with SFIM |
150
click to vote
CGO
2003
IEEE
15 years 11 months ago
2003
IEEE
Dynamic optimization is emerging as a promising approach to overcome many of the obstacles of traditional static compilation. But while there are a number of compiler infrastructu...
173
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before ...
154
click to vote
IWSSD
2000
IEEE
15 years 10 months ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
151
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
178
click to vote
GROUP
2009
ACM
16 years 24 days ago
2009
ACM
Scientific peer review, open source software development, wikis, and other domains use distributed review to improve quality of created content by providing feedback to the work...