The preferred high-level design methodology proceeds from high-level code to RTL code. Good verification practice requires that the input to High-level Synthesis (HLS) be verified first, via simulation (or some other analytical means), and then the output of HLS be verified, again via simulation or some other means. Using SystemC as the input language to HLS enables this flow, but using C as th...

We present a concurrent programming language Cilk-5 in terms of semantics and implementation [1]. We show how it relies on both the compiler and the work stealing scheduler to produce efficient execution schedules of programs, and give a theoretical analysis of its perfomance. We then introduce the concept of dataflow programming [9] in which programs yield the same observable results regardles...

This paper presents an analysis employing the quantitative research method to study Vietnamese adult children’s obligation to parents. Using primary data gathered from 95 Vietnamese American adults, this study examines the relationship between obligation to parents and life satisfaction of Vietnamese American adults. The findings indicate that obligations to parents have been adapted among the ...

This paper deals with the enumeration of k-colored Motzkin paths with a fixed number of (left and right) peaks and valleys. Further enumeration results are obtained when peaks and valleys are counted at low and high level. Many well-known results for Dyck paths are obtained as special cases.

The superior performance and cost-eeectiveness of scalable, distributed memory parallel computers will only then become generally exploitable if the programming diiculties with such machines are overcome. We see the ultimate solution in high-level programming models and appropriate parallelizing compilers that allow the user to formulate a parallel program in terms of application-speciic concep...

The compiler COMRADE accepts full ANSI C and compiles it into hybrid hardware/software applications for execution on a reconfigurable adaptive computer system. After defining the model-of-computation underlying the flow, we describe the general compilation process as well as some specific techniques. These include path-based partitioning, module-generator based datapath and controller synthesis...

Programmers spend a significant part of their time debugging, yet most of them simply add print statements and avoid debugging tools. Although the user interface of debuggers has improved significantly in the past decade, their basic debugging methodologies have changed little. This thesis examines single-process sequential debuggers and attempts to elucidate their weaknesses. Target-state expl...

The game of Poker has been, in the past years, one of the most interesting subjects in Artificial Intelligence because it is a game were players don’t have complete information about the entire state of the game and where the element of chance is always present. With its continuous growth, it also became clear the importance that Artificial Intelligence can have in the game of poker. Building p...

Translation of assembly code to high-level language code is of importance in the maintenance of legacy code, as well as in the areas of program understanding, port-ing, and recovery of code. We present techniques used in the asm2c translator, a SPARC assembly to C translator. The techniques involve data and control ow analyses. The data ow analysis eliminates machine dependencies from the assem...

Specifications and implementations of complex physical systems tend to differ as low level effects such as sampling are often ignored when high level models are created. Thus, the low level models are often not exact refinements of the high level specification. However, they are similar to those. To bridge the gap between those models, we study robust simulation relations for hybrid systems. We...