11716 search results - page 178 / 2344 » Computable symbolic dynamics |
175
click to vote
DATE
1999
IEEE
1999
IEEE
Accounting for Various Register Allocation Schemes During Post-Synthesis Verification of RTL Designs
15 years 10 months ago
This paper reports a formal methodology for verifying a broad class of synthesized register-transfer-level (RTL) designs by accommodating various register allocation/optimization ...
142
click to vote
BSL
2008
15 years 6 months ago
2008
This is an introductory survey of the emerging theory of two new classes of (discrete, countable) groups, called hyperlinear and sofic groups. They can be characterized as subgroup...
139
click to vote
IJBC
2007
15 years 6 months ago
2007
A particularly simple and mathematically elegant example of chaos in a threedimensional flow is examined in detail. It has the property of cyclic symmetry with respect to intercha...
160
click to vote
IJBC
2007
15 years 6 months ago
2007
Abstract. The stable and unstable invariant manifolds associated with Lyapunov orbits about the libration point L1 between the primaries in the planar circular restricted three-bod...
148
click to vote
NGC
2010
Springer
15 years 4 months ago
2010
Springer
The Cloud computing emerges as a new computing paradigm which aims to provide reliable, customized and QoS guaranteed dynamic computing environments for end-users. In this paper, w...