1686 search results - page 243 / 338 » Higher Order Deforestation |
140
click to vote
KBSE
2007
IEEE
16 years 19 hour ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
143
click to vote
KBSE
2007
IEEE
16 years 19 hour ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
155
click to vote
MMM
2007
Springer
16 years 18 hour ago
2007
Springer
This paper presents a fragile watermarking technique to tamper proof (Mocap) motion capture data. The technique visualizes 3D Mocap data as a series of cluster of points. Watermark...
164
click to vote
QEST
2007
IEEE
16 years 16 hour ago
2007
IEEE
Previous studies have shown that buffering packets in DRAM is a performance bottleneck. In order to understand the impediments in accessing the DRAM, we developed a detailed Petri...
159
click to vote
VTC
2007
IEEE
16 years 10 hour ago
2007
IEEE
Current Driver Assistance Systems merely use a minimum set of information. By using additional information of the environment hazardous situations can be detected earlier, more re...