1737 search results - page 236 / 348 » On Interpolation in Existence Logics |
158
click to vote
INFOCOM
2007
IEEE
16 years 19 days ago
2007
IEEE
— We introduce a low-complexity distributed slotted MAC protocol that can support all feasible arrival rates in a wireless backhaul network (WBN). For arbitrary wireless networks...
164
click to vote
STACS
2007
Springer
16 years 13 days ago
2007
Springer
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. Performances of an MDP are evaluated by a payoff function. The controller of ...
154
click to vote
ISPD
2006
ACM
16 years 9 days ago
2006
ACM
Physical Design of modern systems on chip is extremely challenging. Such digital integrated circuits often contain tens of millions of logic gates, intellectual property blocks, e...
178
click to vote
GPCE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
143
click to vote
ICOIN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In our previous work, we have proposed a new VPN architecture for enabling user-based multiply associated VPNs [1]. Almost all existing VPN technologies assume that users...