703 search results - page 87 / 141 » Automatic Generation of Block-Recursive Codes |
DAC
1999
ACM
15 years 10 months ago
1999
ACM
Abstract { This paper presents the machine description language LISA for the generation of bitand cycle accurate models of DSP processors. Based on a behavioral operation descripti...
IEEECIT
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper proposes a new visual modeling environment for embedded component systems that improves the productivity of application developers. This embedded component system decre...
ECOOPW
1999
Springer
15 years 2 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
PVM
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. PVM is a succesfull programming environment for distributed computing in the languages C and Fortran. Recently several implementations of PVM for Java have been added, ma...
COMPSAC
2009
IEEE
15 years 1 months ago
2009
IEEE
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...