2607 search results - page 484 / 522 » On the Architecture of System Verification Environments |
ICRA
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper describes the progress of the BIP2000 project. This project, in which four laboratories are involved for 4 years, as uimed at the realization of the lower part of an an...
DAC
2008
ACM
14 years 8 months ago
2008
ACM
The computer industry has a problem. As Moore's law marches on, we will be exploiting it to double cores, not frequencies. But all those cores ... 2 to 4 today growing to 8, ...
HPCA
2005
IEEE
14 years 7 months ago
2005
IEEE
With the increasing concern of the security on high performance multiprocessor enterprise servers, more and more effort is being invested into defending against various kinds of a...
ECTEL
2007
Springer
14 years 1 months ago
2007
Springer
Currently national digital library of educational resources and services (DLE) for primary and secondary education is under implementation in Lithuania. The article aims to analyse...
NETGAMES
2006
ACM
14 years 1 months ago
2006
ACM
Pervasive games provide a new type of game combining new technologies with the real environment of the players. While this already poses new challenges to the game developer, requ...