5241 search results - page 144 / 1049 » Embedded Programming with C |
WOTUG
2008
14 years 6 days ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...
ESTIMEDIA
2004
Springer
14 years 4 months ago
2004
Springer
— Workload design is a well recognized problem in the domain of microprocessor design. Different program characteristics that influence the selection of a representative workloa...
COMPSAC
2000
IEEE
14 years 3 months ago
2000
IEEE
Java programs distributed through Internet are now suffering from program theft. It is because Java programs can be easily decomposed into reusable class files and even decompiled...
ISVLSI
2007
IEEE
14 years 5 months ago
2007
IEEE
The new design challenges imposed by the increasing difficulties of today’s electronic systems obligated designers to develop new methodologies. System-level design and Platfor...
AICCSA
2008
IEEE
14 years 5 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...