1291 search results - page 198 / 259 » Arithmetic program paths |
108
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
FAA's NextGen program aims at increasing the capacity of the national airspace, while ensuring the safety of aircraft. This paper provides a distributed merging and spacing al...
162
Voted
CAV
2012
Springer
13 years 3 months ago
2012
Springer
We present Joogie, a tool that detects infeasible code in Java programs. Infeasible code is code that does not occur on feasible controlflow paths and thus has no feasible executi...
106
Voted
MOBIHOC
2007
ACM
16 years 10 days ago
2007
ACM
We address the problem of balancing the traffic load in multi-hop wireless networks. We consider a point-to-point communicating network with a uniform distribution of source-sink ...
111
Voted
MOBIHOC
2005
ACM
16 years 10 days ago
2005
ACM
Location information is very useful in the design of sensor network infrastructures. In this paper, we study the anchor-free 2D localization problem by using local angle measureme...
97
Voted
INFOCOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— Service Composition is a promising technology for providing on-demand services in dynamic and loosely coupled peerto-peer (P2P) networks. Because of system dynamics, such as th...