Results for:
"
Cadence-lypso
" in Documents
- Voluntary changes in leg cadence modulate arm cadence during simultane...
- Although there is some evidence showing that neural coupling plays an important role in regulating coordination between the upper and lower limbs during walking, it is unclear how tightly the upper an...
-
Rating:
Views: (3)
Pages: ()
Uploaded: 2006-10-25
- Comparative speeds of a simple movement carried out in spontaneous ca...
-
Rating:
Views: ()
Pages: ()
Uploaded: 1965-9-1
- Factors affecting cadence choice during submaximal cycling and cadence...
- Cadence choice during cycling has been of considerable interest among cyclists, coaches, and researchers for nearly 100 years. The present review examines and summarizes the current knowledge of facto...
-
Rating:
Views: (3)
Pages: ()
Uploaded: 2009-10-21
- Energetically optimal cadence vs. freely-chosen cadence during cycling...
- The purpose of this study was to examine the relationship between cadence and oxygen consumption with exercise duration. Ten triathletes who trained regularly were examined. The first test was always ...
-
Rating:
Views: ()
Pages: ()
Uploaded: 2000-2-22
- Formally Verifying a Microprocessor Using a Simulation Methodology
- Abstract Formal verification is becoming a useful means of validating designs. We have developed a methodology for formally verifying dataintensive circuits (e.g., processors) with sophisticated timi...
-
Rating:
Views: (2004)
Pages: (0)
Uploaded: Publication Date: 6-10 June 1994
- Using SAT for combinational equivalence checking
- Abstract This paper addresses the problem of combinational equivalence checking (CEC) which forms one of the key components of the current verification methodology for digital systems. A number of re...
-
Rating:
Views: (2004)
Pages: (0)
Uploaded: Publication Date: 2001
- An integrated environment for HDL verification
- Abstract The functional verification of a digital design is an expensive step in the design process. As designs become more complex, simulation is challenged throughout the design and verification pr...
-
Rating:
Views: (2008)
Pages: (0)
Uploaded: Publication Date: 27-29 Mar 1995
- Simulation approaches for strongly coupled interconnect systems
- Abstract Shrinking feature sizes and increasing speeds of operation make interconnect-related effects very relevant for current circuit verification methodologies. Reliable and accurate system verifi...
-
Rating:
Views: (2003)
Pages: (0)
Uploaded: Publication Date: 2001