1294 search results - page 158 / 259 » FFT Compiler Techniques |
ICESS
2007
Springer
14 years 4 months ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
ASPDAC
2006
ACM
14 years 4 months ago
2006
ACM
– In real-time multimedia processing systems a very large part of the power consumption is due to the data storage and data transfer. Moreover, the area cost is often largely dom...
ICTAI
2005
IEEE
14 years 3 months ago
2005
IEEE
A large number of practical applications rely on effective algorithms for propositional model enumeration and counting. Examples include knowledge compilation, model checking and ...
IEEESCC
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper presents Abacus, a service-oriented programming language designed for the development of grid applications. Abacus considers that all the grid resources constitute a un...
SP
2005
IEEE
14 years 3 months ago
2005
IEEE
Self-checking software tamper resistance mechanisms employing checksums, including advanced systems as recently proposed by Chang and Atallah (2002) and Horne et al. (2002), have ...