1539 search results - page 224 / 308 » Is it time for real-time functional programming |
112
Voted
ICCD
2002
IEEE
16 years 16 days ago
2002
IEEE
During the course of a program’s execution, a processor performs many trivial computations; that is, computations that can be simplified or where the result is zero, one, or equ...
111
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
A file data model for algorithmic skeletons is proposed, focusing on transparency and efficiency. Algorithmic skeletons correspond to a high-level programming model that takes a...
134
Voted
ICCAD
1994
IEEE
15 years 7 months ago
1994
IEEE
Application Specific Instruction-Set Processors (ASIPs) offer designers the ability for high-speed data and control processing with the added flexibility needed for late design sp...
134
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
145
click to vote
PLDI
2004
ACM
15 years 9 months ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...