8582 search results - page 335 / 1717 » Here or There |
164
click to vote
SOFTVIS
2006
ACM
16 years 23 days ago
2006
ACM
Visualizations of program executions are often generated on the fly. This has many advantages relative to off-line generation of animated video files. Video files, however, trivia...
162
click to vote
WOWMOM
2006
ACM
16 years 23 days ago
2006
ACM
RTS-CTS handshake based protocols achieve “reliable unicast” by eliminating the hidden node problem effectively, however, these solutions are not directly or efficiently gene...
172
click to vote
ACSD
2005
IEEE
16 years 14 days ago
2005
IEEE
Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a...
199
Voted
APSEC
2005
IEEE
16 years 14 days ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
161
click to vote
ARITH
2005
IEEE
16 years 14 days ago
2005
IEEE
Recent research has demonstrated the vulnerability of certain smart card architectures to power and electromagnetic analysis when multiplier operations are insufficiently shielde...