4067 search results - page 306 / 814 » Programs for Applying Symmetries |
191
click to vote
C5
2003
IEEE
16 years 2 days ago
2003
IEEE
A machine cycle CPU simulator is developed on the Squeak environment for educational use. The developed simulator is able to show hardware behavior in CPU at each system clock. An...
174
click to vote
BIRTHDAY
2003
Springer
16 years 12 hour ago
2003
Springer
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and it...
180
Voted
IEEEPACT
2002
IEEE
15 years 11 months ago
2002
IEEE
Optimizations performed at link time or directly applied to final program executables have received increased attention in recent years. Such low-level optimizations can benefit...
197
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
195
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
GRM and PROVE were originally designed and implemented as part of the P-GRADE graphical parallel program development environment running on clusters. In the framework of the bigges...