3792 search results - page 254 / 759 » Techniques for Trusted Software Engineering |
160
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we report on our experience in designing and delivering two new software design courses in the Informatics major at UC Irvine. When the major was created in 2004, i...
204
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Basic retiming is an algorithm originally developed for hardware optimization. Software pipelining is a technique proposed to increase instruction-level parallelism for parallel p...
189
click to vote
ICEBE
2007
IEEE
16 years 27 days ago
2007
IEEE
Due to the dramatic increase in intrusive activities architecture security analysis and design has emerged as an important aspect of the development of software services. It is a ...
153
click to vote
DRM
2004
Springer
15 years 12 months ago
2004
Springer
Recently, there is a growing interest in the research community to use tamper-resistant processors for software copy protection. Many of these tamper-resistant systems rely on a s...
197
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...