5451 search results - page 1068 / 1091 » Typed Operational Semantics |
176
Voted
VDA
2010
15 years 4 months ago
2010
While there have been intensive efforts in developing better 3D flow visualization techniques, little attention has been paid to the design of better user interfaces and more effe...
124
Voted
AAAI
2008
15 years 4 months ago
2008
Unlike English, where unfamiliar words can be queried for its meaning by typing out its letters, the analogous operation in Chinese is far from trivial due to the nature of its wr...
136
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
An agent-based tool for micro-level simulation of transport chains (TAPAS) is described. It is more powerful than traditional approaches as it is able to capture the interactions ...
149
click to vote
CCS
2008
ACM
15 years 4 months ago
2008
ACM
Recent work has established the importance of automatic reverse engineering of protocol or file format specifications. However, the formats reverse engineered by previous tools ha...
128
Voted
ISCA
2010
IEEE
15 years 4 months ago
2010
IEEE
Two broad classes of memory models are available today: models with hardware cache coherence, used in conventional chip multiprocessors, and models that rely upon software to mana...