2142 search results - page 393 / 429 » Representing Time in Multimedia Systems |
141
Voted
ISPASS
2007
IEEE
15 years 10 months ago
2007
IEEE
— The design trend towards CMPs has made the simulation of multiprocessor systems a necessity and has also made multiprocessor systems widely available. While a serial multiproce...
116
Voted
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Several credential systems have been proposed in which users can authenticate to services anonymously. Since anonymity can give users the license to misbehave, some variants allow...
144
Voted
HPDC
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper describes WOW, a distributed system that combines virtual machine, overlay networking and peerto-peer techniques to create scalable wide-area networks of virtual wor...
151
Voted
SERA
2004
Springer
15 years 9 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
134
Voted
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...