877 search results - page 128 / 176 » Full Abstraction for HOPLA |
157
click to vote
ICCAD
2000
IEEE
15 years 10 months ago
2000
IEEE
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
151
click to vote
LICS
2009
IEEE
16 years 23 days ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
119
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
onograph will be also published in Spanish (full version printed; summary, abstracts, and some articles online) by Novática, journal of the Spanish CEPIS society ATI (Asociación ...
169
click to vote
SG
2009
Springer
16 years 20 days ago
2009
Springer
Abstract. Most information visualisation methods are based on abstract visual representations without any concrete manifestation in the “real world”. However, a variety of abst...
188
click to vote
CBMS
2004
IEEE
15 years 10 months ago
2004
IEEE
Page >> Table of Contents >> Abstract 17th IEEE Symposium on Computer-Based Medical Systems (CBMS'04) p. 420 Online Medical Teaching Case Database Susan Kansagra, ...