1729 search results - page 67 / 346 » Deterministic Expressions in C |
INFOCOM
1994
IEEE
15 years 4 months ago
1994
IEEE
We consider the ring network with spatial reuse. Tra c streams may enter and exit the network at any node. We adopt an arrival tra c model with deterministic constraints on its sa...
111
click to vote
CASES
2009
ACM
15 years 6 months ago
2009
ACM
Coarse-grained reconfigurable architectures (CGRAs) present an appealing hardware platform by providing programmability with the potential for high computation throughput, scalab...
129
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
SPIN
2000
Springer
15 years 3 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
MFCS
2009
Springer
15 years 6 months ago
2009
Springer
We study visibly pushdown automata (VPA) models for expressing and evaluating queries, expressed using MSO formulas, on words with a nesting structure (like XML documents). We de...