8719 search results - page 1499 / 1744 » A Categorical Approach to Simulations |
153
click to vote
ENTCS
2007
15 years 6 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
147
click to vote
JSAC
2006
15 years 6 months ago
2006
The symbol error probability (SEP) performance of time-hopping (TH) ultra-wideband (UWB) systems in the presence of multiuser interference (MUI) and timing jitter is considered wit...
184
click to vote
JSAC
2006
15 years 6 months ago
2006
Protecting the network layer from malicious attacks is an important yet challenging security issue in mobile ad hoc networks. In this paper we describe SCAN, a unified networklayer...
173
click to vote
ENTCS
2007
15 years 6 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
170
click to vote
JUCS
2006
15 years 6 months ago
2006
: To many people, home is a sanctuary. For those people who need special medical care, they may need to be pulled out of their home to meet their medical needs. As the population a...