4520 search results - page 731 / 904 » Algebraic Techniques for Timed Systems |
163
click to vote
TVCG
2008
15 years 6 months ago
2008
Traditional geospatial information visualizations often present views that restrict the user to a single perspective. When zoomed out, local trends and anomalies become suppressed ...
169
click to vote
TWC
2008
15 years 6 months ago
2008
In this paper we introduce a novel linear precoding technique. The approach used for the design of the precoding matrix is general and the resulting algorithm can address several o...
175
click to vote
CL
2002
Springer
15 years 6 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
165
click to vote
TVLSI
2002
15 years 6 months ago
2002
In this paper, we propose a low-power approach to the design of embedded very long instruction word (VLIW) processor architectures based on the forwarding (or bypassing) hardware, ...
158
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Packaging costs of Micro-Electro-Mechanical System (MEMS) are still contributing with >50% to the total costs of most devices. Aligned wafer bonding techniques for Wafer-level ...