3056 search results - page 156 / 612 » Open Implementation Analysis and Design |
159
Voted
FDTC
2009
Springer
15 years 10 months ago
2009
Springer
—Last year we were able to break KeeLoq, which is a 64 bit block cipher that is popular for remote keyless entry (RKE) systems. KeeLoq RKEs are widely used for access control pur...
128
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
125
Voted
FUIN
2008
15 years 4 months ago
2008
This paper is concerned with the universality problem for timed automata: given a timed automaton A, does A accept all timed words? Alur and Dill have shown that the universality p...
100
Voted
WSC
2004
15 years 5 months ago
2004
This paper describes the creation of a new analytical modeling capability by bringing together the Naval Simulation System (NSS) for sea strike and COMBATXXI for littoral and land...
143
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— KNTU CDRPM is a cable driven redundant parallel manipulator, which is under investigation for possible high speed and large workspace applications. This newly developed mechani...