593 search results - page 92 / 119 » Semantics-Preserving Procedure Extraction |
102
click to vote
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
110
click to vote
IMR
1999
Springer
15 years 4 months ago
1999
Springer
Considerable progress has been made on automatic hexahedral mesh generation in recent years. Several automatic meshing algorithms have proven to be very reliable on certain classe...
129
click to vote
RT
1998
Springer
15 years 4 months ago
1998
Springer
Most current image-based rendering methods operate under the assumption that all of the visible surfaces in the scene are opaque ideal diffuse (Lambertian) reflectors. This paper i...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we present a new protocol to address multilateral multi-issue negotiation in a cooperative context. We consider complex dependencies between multiple issues by mode...
CAV
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...