1880 search results - page 311 / 376 » A Static Analysis for Beta-Binders |
175
click to vote
ICIAR
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. A major problem in surveillance systems is the storage requirements for video archival; videos are recorded continuously for long periods of time, resulting in large amou...
144
click to vote
SAT
2009
Springer
16 years 15 days ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
152
click to vote
SEKE
2009
Springer
16 years 15 days ago
2009
Springer
Code review is often suggested as a means of improving code quality. Since humans are poor at repetitive tasks, some form of tool support is valuable. To that end we developed a p...
155
click to vote
WOWMOM
2009
ACM
16 years 14 days ago
2009
ACM
It is well known that channel-dependent OFDMA resource assignment algorithms provide a significant performance improvement compared to static (i.e. channelunaware) approaches. Su...
151
click to vote
ACSAC
2008
IEEE
16 years 13 days ago
2008
IEEE
A new class of stealthy kernel-level malware, called transient kernel control flow attacks, uses dynamic soft timers to achieve significant work while avoiding any persistent ch...