2192 search results - page 126 / 439 » Embedded function composition |
109
click to vote
SUTC
2006
IEEE
15 years 6 months ago
2006
IEEE
Energy efficient office lighting systems can save 40% in electricity consumption in areas that receive significant amounts of daylight. In spite of the savings they can generate, ...
119
click to vote
RSP
2005
IEEE
15 years 6 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
106
Voted
AIA
2007
15 years 2 months ago
2007
This paper presents a parallel hardware implementation of a well-known navigation control method on reconfigurable digital circuits. Trajectories are estimated after an iterated ...
91
Voted
NETWORKING
2004
15 years 2 months ago
2004
We consider the utility of two key properties of network-embedded storage: programmability and network-awareness. We describe two extensive applications, whose performance and fun...
104
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in t...