7189 search results - page 130 / 1438 » Connecting Design with Code |
108
Voted
COMBINATORICS
2006
15 years 2 months ago
2006
In this paper, we prove the existence of a cyclic (v, 4, 1)-BIBD for v = 12t + 4, 3 t 50 using computer programs, which are useful in recursive constructions for cyclic designs....
69
Voted
CODES
2003
IEEE
15 years 8 months ago
2003
IEEE
In this article we present an approach to object-oriented hardware design and synthesis based on SystemC. We will
116
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
142
Voted
CODES
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes a hardware-software co-design approach for flexible programmable Galois Field Processing for applications which require operations over GF(2m ), such as RS an...
108
click to vote
LCPC
1998
Springer
15 years 6 months ago
1998
Springer
This report discusses some design and implementation issues in the HPJava language. Through example codes, we will illustrate how various language features have been designed to f...