8874 search results - page 1542 / 1775 » A New Implementation of Automath |
189
click to vote
MTV
2005
IEEE
16 years 25 days ago
2005
IEEE
Abstract— Owing to the recent trend of using applicationspecific instruction-set processors (ASIP), many Architecture Description Languages (ADLs) have been created. They specif...
219
click to vote
ASPDAC
2005
ACM
16 years 25 days ago
2005
ACM
The progressive trend of fabrication technologies towards the nanometer regime has created a number of new physical design challenges for computer architects. Design complexity, u...
234
click to vote
MSWIM
2005
ACM
16 years 25 days ago
2005
ACM
Wireless Local Area Networks (WLAN) are being deployed at a rapid pace and in different environments. As a result, the demand for supporting a diverse range of applications over w...
192
click to vote
SC
2005
ACM
16 years 25 days ago
2005
ACM
The last decade has witnessed a rapid proliferation of superscalar cache-based microprocessors to build high-end computing (HEC) platforms, primarily because of their generality, ...
223
click to vote
SIGCSE
2005
ACM
16 years 25 days ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...