4854 search results - page 44 / 971 » It's the Programming, Stupid |
170
click to vote
WIOPT
2010
IEEE
15 years 3 months ago
2010
IEEE
Building a campus-wide wireless LAN measurement system faces many efficiency, scalability and security challenges. To address these challenges, we developed a distributed Wi-Fi sni...
249
click to vote
DLS
2009
15 years 3 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
200
click to vote
TACAS
2012
Springer
14 years 1 months ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
175
click to vote
JSC
2010
15 years 4 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
153
click to vote
NA
2010
15 years 4 months ago
2010
In the past decade or so, semi-definite programming (SDP) has emerged as a powerful tool capable of handling a remarkably wide range of problems. This article describes an innovat...