13101 search results - page 2406 / 2621 » The design and implementation of microdrivers |
198
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
184
Voted
ICDCS
1995
IEEE
15 years 10 months ago
1995
IEEE
— IP-based solutions to accommodate mobile hosts within existing internetworks do not address the distinctive features of wireless mobile computing. IP-based transport protocols ...
150
click to vote
ISCAS
1995
IEEE
15 years 10 months ago
1995
IEEE
Abstract -- Work in progress at the University of Missouri-Rolla on hardware assists for high performance computing is presented. This research consists of a novel field programmab...
263
click to vote
PLDI
1995
ACM
15 years 10 months ago
1995
ACM
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
157
click to vote
ASPLOS
1991
ACM
15 years 10 months ago
1991
ACM
Multiprocessor memory reference traces provide a wealth of information on the behavior of parallel programs. We have used this information to explore the relationship between kern...