11718 search results - page 2083 / 2344 » Testing database applications |
128
Voted
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
117
click to vote
SP
2010
IEEE
15 years 6 months ago
2010
IEEE
—Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example applications of dynamic taint analysis and forward sym...
133
Voted
GLOBECOM
2007
IEEE
15 years 6 months ago
2007
IEEE
Spatial scheduling in a heterogeneous WiMax Downlink channel, based on partial Channel State Information at the Transmitter (CSIT), is carried out through a multibeam opportunistic...
137
Voted
EMMCVPR
2009
Springer
15 years 6 months ago
2009
Springer
An edge-sensitive variational approach for the restoration of optical flow fields is presented. Real world optical flow fields are frequently corrupted by noise, reflection artifac...
129
click to vote
GLVLSI
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...