10182 search results - page 1846 / 2037 » Case Studies |
182
click to vote
ISPAN
2009
IEEE
16 years 23 days ago
2009
IEEE
— Scientific computing often requires the availability of a massive number of computers for performing large scale experiments. Traditionally, these needs have been addressed by ...
165
click to vote
MICRO
2009
IEEE
16 years 22 days ago
2009
IEEE
Network-on-Chips (NoCs) are likely to become a critical shared resource in future many-core processors. The challenge is to develop policies and mechanisms that enable multiple ap...
186
click to vote
TPHOL
2009
IEEE
16 years 22 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
189
click to vote
EMSOFT
2009
Springer
16 years 20 days ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
171
click to vote
ESWS
2009
Springer
16 years 20 days ago
2009
Springer
This proposal explores the promotion of existing relational databases to Semantic Web Endpoints. It presents the benefits of ontologybased read and write access to existing relati...