614 search results - page 68 / 123 » The Power of Methods With Parallel Semantics |
206
Voted
POPL
2006
ACM
16 years 26 days ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
130
Voted
IEEECGIV
2009
IEEE
14 years 10 months ago
2009
IEEE
Social tagging systems provide users with the ability to share information and extend their field of knowledge. The purpose of this paper is to explore the tag relations of user in...
118
click to vote
ICMCS
2006
IEEE
15 years 6 months ago
2006
IEEE
To bridge the gap between high level semantic concepts and low level visual features in content-based image retrieval (CBIR), online feature selection is really required. An effec...
98
Voted
ISSS
2002
IEEE
15 years 5 months ago
2002
IEEE
Fast distributed cosimulation is a challenging problem for the embedded system design. The main theme of this paper is to increase simulation speed by reducing the frequency of in...
107
click to vote
FMCO
2009
Springer
14 years 10 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...