481 search results - page 73 / 97 » Executing Higher Order Logic |
110
click to vote
CAMP
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— The promise of next-generation computer technologies, such as nano-electronics, implies a number of serious alterations to the design flow of digital circuits. One of ...
105
Voted
ECOOP
2000
Springer
15 years 5 months ago
2000
Springer
The goal of research in programming languages should be to develop languages that integrates the best of concepts and constructs from the various programming paradigms. We do not a...
104
click to vote
FPL
2006
Springer
15 years 4 months ago
2006
Springer
FPGA devices exhibit manufacturing variability. Device ratings and Timing margins are typically used in order to cope with inter-device and intra-device variability respectively. ...
95
Voted
MICRO
2000
IEEE
15 years 4 months ago
2000
IEEE
Data, addresses, and instructions are compressed by maintaining only significant bytes with two or three extension bits appended to indicate the significant byte positions. This s...
134
Voted
ICFP
2002
ACM
16 years 19 days ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...