716 search results - page 141 / 144 » Algorithmic Issues in Coding Theory |
137
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
152
click to vote
SASO
2007
IEEE
15 years 11 months ago
2007
IEEE
With the rapidly falling price of hardware, and increasingly available bandwidth, the storage technology is seeing a paradigm shift from centralized and managed mode to distribute...
152
click to vote
VTC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Hydra is a flexible wireless network testbed being developed at UT Austin. Our focus is networks that support multiple wireless hops and where the network, especially the MAC,...
177
click to vote
FASE
2007
Springer
15 years 11 months ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
146
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...