8874 search results - page 309 / 1775 » A New Implementation of Automath |
183
click to vote
ICW
2005
IEEE
16 years 10 days ago
2005
IEEE
Realistic simulation scenarios are critical to correctly assess the performance of mobile ad hoc networks. This paper presents a tool to generate realistic mobility traces for MAN...
176
click to vote
IV
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper contains details of new criteria for graph layout, based on the concepts used in graphical design. Current graph layout criteria have been shown to be effective in meas...
184
click to vote
SCAM
2005
IEEE
16 years 9 days ago
2005
IEEE
When a new technology is introduced, the migration of existing applications to the new technology must be carefully considered. Automation can make some migrations feasible that o...
165
click to vote
WMPI
2004
ACM
16 years 5 days ago
2004
ACM
User-controllable coherence revives the idea of cooperation between software and hardware in an attempt to bridge the gap between efficient small-scale shared memory machines and m...
196
click to vote
UPP
2004
Springer
16 years 2 days ago
2004
Springer
The chemical reaction metaphor describes computation in terms of a chemical solution in which molecules interact freely according to reaction rules. Chemical solutions are represen...