9264 search results - page 1286 / 1853 » Space Between Languages |
248
click to vote
JELIA
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
212
click to vote
SIGADA
2004
Springer
16 years 15 days ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
194
click to vote
TACAS
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
209
click to vote
PLDI
2003
ACM
16 years 12 days ago
2003
ACM
Compiler writers have crafted many heuristics over the years to approximately solve NP-hard problems efficiently. Finding a heuristic that performs well on a broad range of applic...
206
click to vote
PLDI
2003
ACM
16 years 12 days ago
2003
ACM
Many important applications, such as those using sparse data structures, have memory reference patterns that are unknown at compile-time. Prior work has developed runtime reorderi...