2192 search results - page 126 / 439 » Embedded function composition |
121
click to vote
SUTC
2006
IEEE
15 years 8 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, ...
133
Voted
RSP
2005
IEEE
15 years 7 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...
118
click to vote
AIA
2007
15 years 3 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 ...
102
click to vote
NETWORKING
2004
15 years 3 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...
111
Voted
CORR
2006
Springer
15 years 2 months 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...