1855 search results - page 100 / 371 » Composing model programs for analysis |
130
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
105
click to vote
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents a new method to automatically generate posynomial symbolic expressions for the performance characteristics of analog integrated circuits. The coefficient set ...
118
click to vote
FPGA
1997
ACM
15 years 7 months ago
1997
ACM
We present a general approach to the FPGA technology mapping problem that applies to any logic block composed of lookup tables LUTs and can yield optimal solutions. The connecti...
100
click to vote
CP
2007
Springer
15 years 9 months ago
2007
Springer
Visualization is often invaluable to understand the behavior of optimization algorithms, identify their bottlenecks or pathological behaviors, and suggest remedial techniques. Yet ...
120
click to vote
3DOR
2009
15 years 4 months ago
2009
The objective of the Shape Retrieval Contest '09 (SHREC'09) of Partial Models is to compare the performances of algorithms that accept a range image as the query and ret...