1516 search results - page 133 / 304 » Trends in Software Verification |
154
Voted
ADAEUROPE
2007
Springer
15 years 9 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
143
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
A prominent trend in the software industry in the late 1990s was the development of the application service providing business model. Application service providers (ASP)1 offer th...
116
Voted
RE
2002
Springer
15 years 3 months ago
2002
Springer
Applying standard requirements engineering (RE) processes is a major trend in today's Enterprise Resource Planning (ERP) software engineering. It emerged five years ago with ...
160
click to vote
CGO
2011
IEEE
14 years 7 months ago
2011
IEEE
—The latest trend towards performance asymmetry among cores on a single chip of a multicore processor is posing new challenges. For effective utilization of these performanceasym...
112
click to vote
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Don't-care conditions provide additional flexibility in logic synthesis and optimization. However, most work only focuses on the gate level because it is difficult to handle ...