495 search results - page 89 / 99 » Extensible Proof-Producing Compilation |
ICASSP
2008
IEEE
14 years 1 months ago
2008
IEEE
Multiple memory banks design is employed in many high performance DSP processors. This architectural feature supports higher memory bandwidth by allowing multiple data memory acce...
ICTAI
2008
IEEE
14 years 1 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
SCAM
2008
IEEE
14 years 1 months ago
2008
IEEE
The usefulness and usability of programming tools (for example, languages, libraries, and frameworks) may greatly impact programmer productivity and software quality. Ideally, the...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
When we have multiple users compiling a single message, including shared contents, metadata, policy, and so on, the integrity of the contents created by individual users needs to ...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
OpenMP has emerged as an important model and language extension for shared-memory parallel programming. On shared-memory platforms, OpenMP offers an intuitive, incremental approac...