2138 search results - page 364 / 428 » Logical Step-Indexed Logical Relations |
158
click to vote
EDBTW
2010
Springer
15 years 11 months ago
2010
Springer
There has been lately an increased activity of publishing structured data in RDF due to the activity of the Linked Data community1 . The presence on the Web of such a huge informa...
150
click to vote
ASAP
2008
IEEE
15 years 11 months ago
2008
IEEE
Many complex systems require the use of floating point arithmetic that is exceedingly time consuming to perform on personal computers. However, floating point operators are also h...
118
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
157
click to vote
DSN
2008
IEEE
15 years 11 months ago
2008
IEEE
Multi-Instance-Precommit (MIP) has been recently presented as an innovative transaction management scheme in support of reliability for Atomic Transactions in multitier (e.g. Web-...
141
click to vote
ETFA
2008
IEEE
15 years 11 months ago
2008
IEEE
Power consumption and thermal problems limit the single-core processors to be faster. Processor architects are therefore moving toward multi-core processors. Developers of embedde...