6293 search results - page 376 / 1259 » Information Flow Testing |
144
click to vote
KIVS
2009
Springer
15 years 11 months ago
2009
Springer
We introduce an adaptive pacing scheme to overcome the drawbacks of TCP in wireless mesh networks with Internet connectivity. The pacing scheme is implemented at the wireless TCP s...
120
Voted
IWIA
2005
IEEE
15 years 10 months ago
2005
IEEE
1 Intrusion detection in MANETs is challenging because these networks change their topologies dynamically; lack concentration points where aggregated traffic can be analyzed; utili...
145
Voted
ISPAN
2002
IEEE
15 years 10 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
136
click to vote
KI
1999
Springer
15 years 9 months ago
1999
Springer
In modern societies the demand for mobility is increasing daily. Hence, one challenge to researchers dealing with traffic and transportation is to find efficient ways to model and ...
143
click to vote
CODES
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper concerns automatic hardware synthesis from data flow graph (DFG) specification for fast HW/SW cosynthesis. A node in DFG represents a coarse grain block such as FIR and...