4166 search results - page 487 / 834 » A modular module system |
196
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
We show how to combine the two most powerful approaches for automated termination analysis of logic programs (LPs): the direct approach which operates directly on LPs and the trans...
192
click to vote
HASKELL
2009
ACM
16 years 1 months ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
153
click to vote
HOTI
2008
IEEE
16 years 1 months ago
2008
IEEE
-- We describe a telecentric optical system for free-space multichannel optical interconnects. The targeted aggregate data rate is 240Gb/s. We have a unique implementation of telec...
212
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Wireless Multimedia Sensor Networks (WMSNs) are networks of wirelessly interconnected devices that allow retrieving video and audio streams, still images, and scalar sensor data...
182
click to vote
ISMVL
2008
IEEE
16 years 1 months ago
2008
IEEE
The mathematical property of inheritance for certain unary fixed point operations has recently been exploited to enable the efficient formulation of arithmetic algorithms and circ...