1237 search results - page 89 / 248 » Strictness and Totality Analysis |
141
click to vote
MICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction ...
171
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
One of the major overheads that prohibits the wide spread deployment of parallel discrete event simulation PDES is the need to synchronize the distributed processes in the simulat...
145
click to vote
SRDS
1999
IEEE
15 years 10 months ago
1999
IEEE
We study how to efficiently diffuse updates to a large distributed system of data replicas, some of which may exhibit arbitrary (Byzantine) failures. We assume that strictly fewer...
212
click to vote
BROADNETS
2007
IEEE
15 years 10 months ago
2007
IEEE
Multimedia applications have unique characteristics that can be leveraged to design energy-efficient loss recovery mechanisms. Given their loss tolerance and strict timing requirem...
172
click to vote
ACL
1992
15 years 7 months ago
1992
In this article we outline a basic approach to treating metonymy properly in a multilingual machine translation system. This is the first attempt at treating metonymy in an machin...