4067 search results - page 456 / 814 » Programs for Applying Symmetries |
155
click to vote
ACMMSP
2004
ACM
16 years 4 days ago
2004
ACM
Instruction combining is an optimization to replace a sequence of instructions with a more efficient instruction yielding the same result in a fewer machine cycles. When we use it...
219
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
195
click to vote
C5
2004
IEEE
15 years 10 months ago
2004
IEEE
Skeleton is a visual scripting environment as an extension of Squeak etoy [1] with Connectors [2] system to make mathematical and physical simulation for non professional computer...
182
click to vote
C5
2004
IEEE
15 years 10 months ago
2004
IEEE
information technologies as "the ability to reformulate knowledge, to express oneself creatively and appropriately, and to produce and generate information (rather than simply...
213
click to vote
CF
2006
ACM
15 years 8 months ago
2006
ACM
The growing speed gap between memory and processor makes an efficient use of the cache ever more important to reach high performance. One of the most important ways to improve cac...