1528 search results - page 70 / 306 » Implementing Generalized Operator Overloading |
118
Voted
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
Filinski showed that callcc and a single mutable reference cell are sufficient to express the delimited control operators shift and reset. However, this implementation interacts p...
132
click to vote
ECSQARU
2007
Springer
15 years 10 months ago
2007
Springer
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
168
click to vote
ICDE
2007
IEEE
15 years 8 months ago
2007
IEEE
Preserving privacy has become a crucial requirement for operating a business that manages personal data. Hippocratic databases have been proposed to answer this requirement throug...
116
Voted
FPL
2000
Springer
15 years 8 months ago
2000
Springer
Many applications can be modeled as subgraph isomorphism problems. However, this problem is generally NP-complete and difficult to compute. A custom computing circuit is a prospect...
128
click to vote
WCET
2008
15 years 6 months ago
2008
WCET analysis models for superscalar out-of-order CPUs generally need to be pessimistic in order to account for a wide range of possible dynamic behavior. CPU hardware modificatio...