9049 search results - page 220 / 1810 » The New C Standard |
163
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
176
click to vote
JOLLI
2008
15 years 6 months ago
2008
In this paper, consistency is understood in the standard way, i.e. as the absence of a contradiction. The basic constructive logic BK c4 , which is adequate to this sense of consis...
202
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
We define the harmonic evolution of states of a graph by iterative application of the harmonic operator (Laplacian over Z2). This provides graphs with a new geometric context and...
169
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes a novel design methodology to implement a secure DPA resistant crypto processor. The methodology is suitable for integration in a common automated standard ce...
180
click to vote
ICS
2009
Tsinghua U.
16 years 1 months ago
2009
Tsinghua U.
To sustain emerging data-intensive scientific applications, High Performance Computing (HPC) centers invest a notable fraction of their operating budget on a specialized fast sto...