Cache consistency in adaptive page-server database systems
ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/LATW.2014.6841903
کلیدواژه(گان): C++ language,n circuit complexity,n electronic design automation,n formal verification,n hardware description languages,n high level synthesis,n industrial property,n system-on-chip,n time to market,n ABV,n RTL IP assertions reusability,n SystemC TLM verification,n TLM-based design flow,n assertion-based verification,n intellectual property model,n modern SoC designing complexity,n register transfer level,n system level design,n system-on-chi
کالکشن
:
-
آمار بازدید
Cache consistency in adaptive page-server database systems
Show full item record
| contributor author | Jaluta, Ibrahim | |
| contributor author | Bazina, Naji | |
| date accessioned | 2020-03-12T21:59:55Z | |
| date available | 2020-03-12T21:59:55Z | |
| date issued | 2014 | |
| identifier other | 6970098.pdf | |
| identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/1067868 | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Cache consistency in adaptive page-server database systems | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8202741 | |
| subject keywords | C++ language | |
| subject keywords | n circuit complexity | |
| subject keywords | n electronic design automation | |
| subject keywords | n formal verification | |
| subject keywords | n hardware description languages | |
| subject keywords | n high level synthesis | |
| subject keywords | n industrial property | |
| subject keywords | n system-on-chip | |
| subject keywords | n time to market | |
| subject keywords | n ABV | |
| subject keywords | n RTL IP assertions reusability | |
| subject keywords | n SystemC TLM verification | |
| subject keywords | n TLM-based design flow | |
| subject keywords | n assertion-based verification | |
| subject keywords | n intellectual property model | |
| subject keywords | n modern SoC designing complexity | |
| subject keywords | n register transfer level | |
| subject keywords | n system level design | |
| subject keywords | n system-on-chi | |
| identifier doi | 10.1109/LATW.2014.6841903 | |
| journal title | omputer & Information Technology (GSCIT), 2014 Global Summit on | |
| filesize | 632936 | |
| citations | 0 |