3801 search results - page 424 / 761 » An Approach to Modeling Software Safety |
168
click to vote
ACHI
2009
IEEE
16 years 1 months ago
2009
IEEE
In today’s continuously changing markets newly developed products often do not meet the demands and expectations of customers. Research on this problem identified a large gap b...
170
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Spreadsheets have grown up and became very powerful and easy to use tools in applying analytical techniques for solving business problems. Operations managers, production managers...
197
click to vote
ECBS
2010
IEEE
15 years 4 months ago
2010
IEEE
Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematic...
180
click to vote
CGO
2007
IEEE
16 years 1 months ago
2007
IEEE
Emerging microprocessors offer unprecedented parallel computing capabilities and deeper memory hierarchies, increasing the importance of loop transformations in optimizing compile...
189
click to vote
VMCAI
2005
Springer
16 years 7 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...