3809 search results - page 464 / 762 » Associative language descriptions |
169
Voted
ICCD
2000
IEEE
15 years 12 months ago
2000
IEEE
When proposing new architectural enhancements, it is also important to account for the hardware complexity. To achieve this goal, we propose to model the new design in a hardware ...
192
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
Programmable shading is a common technique for production animation, but interactive programmable shading is not yet widely available. We support interactive programmable shading ...
176
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
The actions of a robot like lifting an object are often best thought of as low-level processes with uncertain outcome. A highlevel robot plan can be seen as a description of a task...
160
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
210
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...