461 search results - page 57 / 93 » Simulating the universe |
88
Voted
TECS
2008
14 years 9 months ago
2008
straction SUDEEP PASRICHA and NIKIL DUTT University of California, Irvine and MOHAMED BEN-ROMDHANE Newport Media Inc. Currently, system-on-chip (SoC) designs are becoming increasin...
79
Voted
MOVEP
2000
15 years 1 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
54
Voted
URBAN
2008
14 years 9 months ago
2008
Technologies associated with the second-generation of the World-Wide Web enable virtually anyone to share their data, documents, observations, and opinions on the Internet. In les...
ACSAC
2010
IEEE
14 years 7 months ago
2010
IEEE
IP blacklists are a spam filtering tool employed by a large number of email providers. Centrally maintained and well regarded, blacklists can filter 80+% of spam without having to...
ICC
2007
IEEE
15 years 1 months ago
2007
IEEE
We study the problem of optimal resource allocation for multi-user wireless video transmissions from an informationtheoretic point of view. We show that the previously known optima...