5241 search results - page 384 / 1049 » Embedded Programming with C |
129
click to vote
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
107
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
125
click to vote
USENIX
1990
15 years 4 months ago
1990
Dbx is the standard source-level debugger on most Unix1 workstations. Over the past six years Dbx has grown from a debugger for interpreted Pascal programs to a debugger for compi...
152
click to vote
SBCCI
2006
ACM
15 years 9 months ago
2006
ACM
The growing complexity and production cost of processor-based systems have imposed big constraints in SoC design of new systems. GPPs and ASICs are unable to fit the tight perform...
127
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Software-based self-test (SBST) is an emerging approach to address the challenges of high-quality, at-speed test for complex programmable processors and systems-on chips (SoCs) th...