4615 search results - page 352 / 923 » Virtual Classes and Their Implementation |
177
click to vote
APLAS
2003
ACM
15 years 10 months ago
2003
ACM
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...
168
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents a practical approach to communication synthesis for hardware/software system specified as tasks communicating through lossless blocking channels. It relies on ...
154
click to vote
USENIX
2007
15 years 9 months ago
2007
—People increasingly put more than one OSes into their computers and devices like mobile phones. Multi-boot and virtualization are two common technologies for this purpose. In th...
184
click to vote
ASYNC
2005
IEEE
15 years 8 months ago
2005
IEEE
Guaranteed services (GS) are important in that they provide predictability in the complex dynamics of shared communication structures. This paper discusses the implementation of G...
172
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
In recent times, information presentation has evolved towards sophisticated approaches that involve multi-modal aspects and character-based mediation. This paper presents a novel ...