Sciweavers

7890 search results - page 463 / 1578
» The MathSAT 3 System
Sort
View
CODES
2008
IEEE
16 years 1 months ago
Symbolic voter placement for dependability-aware system synthesis
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
Felix Reimann, Michael Glabeta, Martin Lukasiewycz...
SI3D
2005
ACM
16 years 12 days ago
Geopostors: a real-time geometry / impostor crowd rendering system
The simulation of large crowds of humans is important in many fields of computer graphics, including real-time applications such as games, as they can breathe life into otherwise...
Simon Dobbyn, John Hamill, Keith O'Conor, Carol O'...
INFOCOM
2002
IEEE
15 years 11 months ago
Resource Management in Third Generation Mobile Communication Systems Employing Smart Antennas
— Third Generation (3G) Mobile Communication systems will provide enhanced high-speed data, multimedia, and voice services to mobile users. Beam forming techniques have been prop...
Shakheela H. Marikar, Luiz A. DaSilva
SC
2009
ACM
16 years 1 months ago
Implementing a high-volume, low-latency market data processing system on commodity hardware using IBM middleware
A stock market data processing system that can handle high data volumes at low latencies is critical to market makers. Such systems play a critical role in algorithmic trading, ri...
Xiaolan J. Zhang, Henrique Andrade, Bugra Gedik, R...
PSIVT
2009
Springer
152views Multimedia» more  PSIVT 2009»
16 years 1 months ago
Multiple View Geometry of Projector-Camera Systems from Virtual Mutual Projection
Recently, projector camera systems have been used actively for image synthesis and for 3D reconstruction. For using the projector camera systems in these applications, it is very ...
Shuhei Kobayashi, Fumihiko Sakaue, Jun Sato