2296 search results - page 141 / 460 » The Expressive Power of Synchronizations |
138
click to vote
ATVA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
361
click to vote
Publication
Global Positioning System (GPS) Technology allows precise determination of location, velocity, direction, and time. The price of GPS receivers is falling rapidly and the applicatio...
137
Voted
WCNC
2008
IEEE
15 years 11 months ago
2008
IEEE
—UWB technology can reach centimetre level ranging and positioning accuracy in LOS propagation when time of arrival techniques are used. However, in a real positioning system, th...
118
click to vote
ISLPED
2003
ACM
15 years 10 months ago
2003
ACM
A significant fraction of the total power in highly synchronous systems is dissipated over clock networks. Hence, low-power clocking schemes would be promising approaches for futu...
155
Voted
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a co-synthesis approach that accelerates reactive software processing by moving the calculation of complex expressions into external combinational hardware. The startin...