7557 search results - page 1294 / 1512 » Modeling Timed Concurrent Systems |
212
click to vote
ICS
2010
Tsinghua U.
16 years 4 months ago
2010
Tsinghua U.
Computation in the physical world is restricted by the following spatial locality constraint: In a single unit of time, information can only travel a bounded distance in space. A ...
185
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Many web links mislead human surfers and automated crawlers because they point to changed content, out-of-date information, or invalid URLs. It is a particular problem for large, ...
195
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
250
click to vote
PADS
2003
ACM
16 years 10 days ago
2003
ACM
We describe two major developments in the General Network Simulation Integration System (Genesis): the support for BGP protocol in large network simulations and distribution of th...
189
click to vote
CC
2007
Springer
15 years 7 months ago
2007
Springer
We initiate a study of tradeoffs between communication and computation in well-known communication models and in other related models. The fundamental question we investigate is t...