2673 search results - page 468 / 535 » Guided Static Analysis |
121
click to vote
C++
1994
15 years 5 months ago
1994
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...
130
click to vote
CN
2008
15 years 4 months ago
2008
We study the throughput of multi-hop routes and stability of forwarding queues in a wireless ad-hoc network with random access channel. We focus on a wireless network with static ...
162
click to vote
COMCOM
2006
15 years 3 months ago
2006
In this paper we consider a distributed and efficient information dissemination and retrieval system for wireless sensor networks. In such a system each sensor node operates auton...
142
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
In a previous paper [16], the sup-interpretation method was proposed as a new tool to control memory resources of first order functional programs with pattern matching by static an...
126
Voted
ISCA
2008
IEEE
15 years 3 months ago
2008
IEEE
First Come First Served is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems [28, 11], scheduling web ...