13109 search results - page 401 / 2622 » The design and implementation of AspectC |
147
Voted
RSP
1999
IEEE
15 years 11 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
208
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
178
Voted
ICCAD
1993
IEEE
15 years 11 months ago
1993
IEEE
In this paper, we present an integrated approach to synthesis and mapping to go beyond the combinatorial limit set up by the depth-optimal FlowMap algorithm. The new algorithm, na...
231
Voted
ENC
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a hardware architecture for an Elliptic Curve Cryptography System performing the three basic cryptographic schemes: DH key generation, encryption and digital signature....
221
Voted
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
Our goal is to develop an autonomous robot that will fit within a two-inch cube and will locomote by walking and jumping. The robot will be based on the kinematics of a cricket. I...