3693 search results - page 448 / 739 » Splitting a Logic Program |
163
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
171
Voted
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
157
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
165
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Writes via unchecked pointer dereferences rank high among vulnerabilities most often exploited by malicious code. The most common attacks use an unchecked string copy to cause a b...
154
Voted
COMSWARE
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Wireless sensor networks consist of small, inexpensive devices which interact with the environment, communicate with each other, and perform distributed computations in...