5415 search results - page 981 / 1083 » The Implementation of Functional Programming Languages |
182
click to vote
IFIP
2004
Springer
16 years 21 days 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...
215
click to vote
ISQED
2003
IEEE
16 years 19 days 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...
214
click to vote
SIGSOFT
2003
ACM
16 years 18 days 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...
190
click to vote
IFIP
2003
Springer
16 years 16 days 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...
206
Voted
DAC
2009
ACM
16 years 1 days 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...