1304 search results - page 249 / 261 » Model Checking C Programs Using F-SOFT |
119
click to vote
MOBICOM
2004
ACM
15 years 5 months ago
2004
ACM
Recent years have seen the growing popularity of multi-rate wireless network devices (e.g., 802.11a cards) that can exploit variations in channel conditions and improve overall ne...
103
click to vote
SIGMOD
1996
ACM
15 years 3 months ago
1996
ACM
While much recent research has focussed on extending databases beyond the traditional relational model, relatively little has been done to develop database tools for querying data...
CC
2009
Springer
15 years 6 months ago
2009
Springer
Software systems typically exploit only a small fraction of the realizable performance from the underlying microprocessors. While there has been much work on hardware-aware optimiz...
NSPW
2003
ACM
15 years 5 months ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...
109
click to vote
COR
2007
14 years 11 months ago
2007
We present a framework for solving multistage pure 0–1 programs for a widely used sequencing and scheduling problem with uncertainty in the objective function coefficients, the...