3238 search results - page 595 / 648 » On the Computational Interpretation of Negation |
154
click to vote
EMSOFT
2007
Springer
16 years 10 days ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
211
click to vote
HASKELL
2006
ACM
16 years 4 days ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
181
click to vote
SAC
2006
ACM
16 years 3 days ago
2006
ACM
Traditional semantic web query languages support a logicbased access to the semantic web. They offer a retrieval (or reasoning) of data based on facts. On the traditional web and...
146
click to vote
ACSC
2005
IEEE
15 years 11 months ago
2005
IEEE
Curriculum based on internetworking devices is primarily based on the Command Line Interface (CLI) and case studies. However a single CLI command may produce output that is not on...
161
click to vote
ICDCS
2005
IEEE
15 years 11 months ago
2005
IEEE
A pass-through server such as an NFS server backed by an iSCSI[1] storage server only passes data between the storage server and NFS clients. Ideally it should require at most one...