4917 search results - page 329 / 984 » Software Engineering is Not Computer Science |
213
click to vote
Book
"The purpose of this book is to provide a tutorial overview on the subject of computerized tomographic imaging. We expect the book to be useful for practicing engineers and sc...
150
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
146
Voted
EDCC
2008
Springer
15 years 5 months ago
2008
Springer
This work addresses the problem of software fault diagnosis in complex safety critical software systems. The transient manifestations of software faults represent a challenging is...
139
Voted
GROUP
2007
ACM
15 years 7 months ago
2007
ACM
Most empirical studies of peer production have focused on the final products of these efforts (such as software in Free/Open Source projects), but there are also many other knowle...
142
click to vote
DAC
2005
ACM
15 years 5 months ago
2005
ACM
This paper focuses on designing network processing software for embedded processors. Our design flow CRACC represents an efficient path to implementation based on a modular applic...