11061 search results - page 279 / 2213 » Computer Architecture |
162
click to vote
CDES
2006
15 years 5 months ago
2006
Compilation has a long history of translating a programmer's human-readable code into machine instructions designed to make good use of a specific target computer. In this pa...
119
click to vote
TOG
2008
15 years 3 months ago
2008
We introduce a real-time interactive visual editing paradigm for shape grammars, allowing the creation of rulebases from scratch without text file editing. In previous work, shape...
143
click to vote
DSVIS
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...
135
click to vote
DAC
1998
ACM
15 years 8 months ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
126
click to vote
ASAP
2009
IEEE
15 years 10 months ago
2009
IEEE
—The Spectral Hash algorithm is one of the Round 1 candidates for the SHA-3 family, and is based on spectral arithmetic over a finite field, involving multidimensional discrete...