428 search results - page 65 / 86 » Validating High-Level Synthesis |
CCS
2010
ACM
14 years 10 months ago
2010
ACM
Given a single program (i.e., bit string), one may assume that the program's behaviors can be determined by first identifying the native runtime architecture and then executi...
JSAC
2011
14 years 6 months ago
2011
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
3DPH
2009
15 years 1 months ago
2009
Disorientation induced by G-forces during aerobatic flight generates difficulties for the pilots to perfectly align their aerobatic maneuver. This paper presents a modular wearable...
CONSTRAINTS
2007
14 years 12 months ago
2007
The physical gestures that operate music instruments are responsible for the qualities of the sound being produced in a performance. Gestural information is thereby crucial for a ...
WCE
2007
15 years 1 months ago
2007
—This paper presents one of the outcomes of a research project concerned with the development of a method for synthesizing, under controlled conditions in the laboratory, the ran...