5415 search results - page 981 / 1083 » The Implementation of Functional Programming Languages |
100
click to vote
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
We consider the problem of computing the optimal swap edges of a shortest-path tree. This theoretical problem arises in practice in systems that offer point-offailure shortest-path...
121
click to vote
ISQED
2003
IEEE
15 years 6 months ago
2003
IEEE
The nature of IC design has is necessarily evolving to a more data-centric design flow in which EDA tools share a common information in a design database without the negative cost...
122
click to vote
SIGSOFT
2003
ACM
15 years 6 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
114
click to vote
IFIP
2003
Springer
15 years 6 months ago
2003
Springer
The use of directional antenna in wireless ad hoc networks potentially increases simultaneous communication by directing the transmitting and receiving beams towards the receiver a...
113
click to vote
DAC
2009
ACM
15 years 6 months ago
2009
ACM
Stream processing represents an important class of applications that spans telecommunications, multimedia and the Internet. The implementation of streaming programs in FPGAs has a...