376 search results - page 6 / 76 » Constraint modules: An introduction |
ICCD
2004
IEEE
15 years 6 months ago
2004
IEEE
ACG (Adjacent Constraint Graph) is invented as a general floorplan representation. It has advantages of both adjacency graph and constraint graph of a floorplan: edges in an ACG...
CADE
2005
Springer
15 years 10 months ago
2005
Springer
We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is...
75
Voted
ISSAC
2001
Springer
15 years 2 months ago
2001
Springer
Maple’s evaluator, together with a feature that is usually known as the assume facility, is a combination of modules with specialised reasoning capabilities. These modules are i...
ISORC
2008
IEEE
15 years 4 months ago
2008
IEEE
A real-time database is a database in which both the data and the operations upon the data may have timing constraints. The design of this kind of database requires the introducti...
75
Voted
Publication
We propose a method to accurately measure the shape
of objects by suppressing the effect of indirect reflection caused by the interreflection
and subsurface scattering. We use a ...