326 search results - page 46 / 66 » Tailoring and Verifying Software Process |
151
click to vote
SCESM
2006
ACM
15 years 8 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
133
Voted
DSD
2009
IEEE
15 years 9 months ago
2009
IEEE
—As CMOS process technology advances towards 32nm, SoC complexity continuously grows but its dependability significantly decreases. In this paper, a beamforming chip 1 is designe...
110
Voted
ICFEM
2005
Springer
15 years 8 months ago
2005
Springer
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...
122
Voted
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
The Simulink/Stateflow toolset is an integrated suite enabling model-based design and has become popular in the automotive and aeronautics industries. We have previously developed...
110
click to vote
CASES
2008
ACM
15 years 4 months ago
2008
ACM
While soft processors are increasingly common in FPGAbased embedded systems, it remains a challenge to scale their performance. We propose extending soft processor instruction set...