2416 search results - page 43 / 484 » The design and implementation of typed scheme |
SAS
1994
Springer
14 years 22 days ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
DFT
1997
IEEE
14 years 27 days ago
1997
IEEE
Recent increases in the density and size of memory ICs made it ne cessary to search for new defect tolerance techniques since the traditional methods are no longer e ective enough...
DELTA
2006
IEEE
14 years 10 days ago
2006
IEEE
This paper describes the concept, architecture, development and demonstration of a real time, high performance, software defined 4-receiver system and a space time decoder to be i...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
– In IEEE 802.16e networks, the mobility of mobile stations (MSs) induces that energy saving becomes an important issue for the battery-powered MSs to extend their operational li...
JFP
2006
13 years 8 months ago
2006
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...