2632 search results - page 226 / 527 » Alternating Timed Automata |
179
click to vote
TC
2010
14 years 11 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
145
click to vote
DCC
2010
IEEE
15 years 11 months ago
2010
IEEE
We introduce an alternative Lempel-Ziv text parsing, LZ-End, that converges to the entropy and in practice gets very close to LZ77. LZ-End forces sources to finish at the end of ...
119
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— An alternative to the conventional quantization for occupied voxel lists in both 2D and 3D is presented. The performance metrics of the hexagonal lattice in 2D and the face cen...
133
click to vote
ISVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
As CMOS technology continues to scale, copper interconnect (CuI) will hinder the performance and reliability of Field Programmable Gate Arrays (FPGA) motivating the need for alter...
117
click to vote
ATS
2005
IEEE
15 years 10 months ago
2005
IEEE
: This paper addresses the challenges imposed on current testing with the advent of Nanotechnologies. It shows why existing measurement solutions embedded in ATE systems are not ad...