6781 search results - page 988 / 1357 » Processors for Mobile Applications |
158
click to vote
SIGADA
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
161
click to vote
WMPI
2004
ACM
16 years 6 days ago
2004
ACM
Current trends suggest that the number of memory chips per processor chip will increase at least a factor of ten in seven years. This will make DRAM cost, the space and the power i...
179
click to vote
ESOP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
161
click to vote
FPGA
2004
ACM
16 years 5 days ago
2004
ACM
This paper shows a method to verifying the thermal status of complex FPGA-based circuits like microprocessors. Thus, the designer can evaluate if a particular block is working bey...
191
click to vote
GRID
2004
Springer
16 years 5 days ago
2004
Springer
This paper reports on the design, implementation and performance evaluation of a suite of GridRPC programming middleware called Ninf-G Version 2 (Ninf-G2). NinfG2 is a reference i...