6355 search results - page 1017 / 1271 » From Logic to Games |
177
click to vote
PDP
2003
IEEE
15 years 12 months ago
2003
IEEE
File I/O data is interpreted by high performance parallel/distributed applications mostly as a sequence of arbitrary bits. This leads to the situation where data is ’volatile’...
188
click to vote
SCAM
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a flexible way in which a deisgn model extracted from Java programs can remain unified with the source code. Each entity declaration and reference in the Java ...
169
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
151
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
—In order for Semantic Web applications to be successful a key component should be their ability to take advantage of rich content descriptions in meaningful ways. Reasoning cons...
171
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Advancing technology drives design technology and thus design automation EDA . How to model interconnect, how to handle degradation of signal integrity and increasing power densi...