4880 search results - page 827 / 976 » Manuals as Structured Programs |
148
click to vote
IPPS
2007
IEEE
16 years 24 days ago
2007
IEEE
The Cell processor offers substantial computational power which can be effectively utilized only if application design and implementation are tuned to the Cell architecture. In th...
160
click to vote
ISCA
2007
IEEE
16 years 24 days ago
2007
IEEE
While Sequential Consistency (SC) is the most intuitive memory consistency model and the one most programmers likely assume, current multiprocessors do not support it. Instead, th...
159
click to vote
LICS
2007
IEEE
16 years 23 days ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
201
click to vote
LICS
2007
IEEE
16 years 23 days ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
170
click to vote
SEMCO
2007
IEEE
16 years 23 days ago
2007
IEEE
A clustering method is presented which can be applied to knowledge bases storing semantically annotated resources. The method can be used to discover groupings of structured objec...