4352 search results - page 288 / 871 » A Representation Theorem and Applications |
248
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
204
click to vote
ICPP
2005
IEEE
16 years 1 months ago
2005
IEEE
In wireless ad hoc networks, clustering is one of the most important approaches for many applications. A connected k-hop clustering network is formed by electing clusterheads in k...
213
click to vote
EUC
2005
Springer
16 years 27 days ago
2005
Springer
Some sensor applications are interested in collecting data from multiple regions. For supporting such applications with multiple target regions, most conventional protocols are bas...
200
click to vote
ESOP
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
241
click to vote
ICFEM
2003
Springer
16 years 18 days ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...