23413 search results - page 4462 / 4683 » or 2005 |
203
click to vote
FOSSACS
2005
Springer
16 years 23 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
232
click to vote
FOSSACS
2005
Springer
16 years 23 days ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
222
click to vote
FPGA
2005
ACM
16 years 23 days ago
2005
ACM
Creating a new FPGA is a challenging undertaking because of the significant effort that must be spent on circuit design, layout and verification. It currently takes approximately ...
176
click to vote
FPGA
2005
ACM
16 years 23 days ago
2005
ACM
This paper describes the Altera Stratix II™ logic and routing architecture. This architecture features a novel adaptive logic module (ALM) that is based on a 6-LUT, but can be p...
187
click to vote
FPGA
2005
ACM
16 years 23 days ago
2005
ACM
Recent works demonstrate several benefits of synthesizing software binaries onto FPGA hardware, including incorporating hardware design into established software tool flows with m...