260 search results - page 43 / 52 » Hardness of Parameterized Resolution |
136
click to vote
RTSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Static timing analysis safely bounds worst-case execution times to determine if tasks can meet their deadlines in hard real-time systems. However, conventional timing analysis req...
154
click to vote
SIGMOD
2005
ACM
15 years 10 months ago
2005
ACM
If presented with inaccurate statistics, even the most sophisticated query optimizers make mistakes. They may wrongly estimate the output cardinality of a certain operation and th...
154
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
159
click to vote
FPGA
2005
ACM
15 years 9 months ago
2005
ACM
Floating-point Sparse Matrix-Vector Multiplication (SpMXV) is a key computational kernel in scientific and engineering applications. The poor data locality of sparse matrices sig...
156
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...