107 search results - page 22 / 22 » Using Abstraction in Modular Verification of Synchronous Ada... |
HIPEAC
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Network processors are programmable devices that can process packets at a high speed. A network processor is typified by multithreading and heterogeneous multiprocessing...
EUROPAR
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Computer mobility allows people to use computers in varied and changing environments. This variability forces applications to adapt thus requiring awareness of the comput...