Sciweavers

2211 search results - page 341 / 443
» The state of peer-to-peer simulators and simulations
Sort
View
IWCMC
2010
ACM
15 years 10 months ago
Performance of CSI-based multi-user MIMO for the LTE downlink
We consider the application of a channel state information (CSI) based multi-user (MU) multiple input multiple output (MIMO) scheme to the downlink of 3GPP Long Term Evolution (LT...
Philipp Frank, Andreas Müller, Joachim Speide...
IPPS
1999
IEEE
15 years 10 months ago
A Formal Framework for Specifying and Verifying Time Warp Optimizations
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
Victoria Chernyakhovsky, Peter Frey, Radharamanan ...
ISSS
1999
IEEE
131views Hardware» more  ISSS 1999»
15 years 10 months ago
Compressed Code Execution on DSP Architectures
Decreasing the program size has become an important goal in the design of embedded systems target to mass production. This problem has led to a number of efforts aimed at designin...
Paulo Centoducatte, Ricardo Pannain, Guido Araujo
ESOP
1999
Springer
15 years 10 months ago
Safe and Principled Language Interoperation
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
Valery Trifonov, Zhong Shao
ICCAD
1998
IEEE
94views Hardware» more  ICCAD 1998»
15 years 10 months ago
Noise considerations in circuit optimization
Noise can cause digital circuits to switch incorrectly and thus produce spurious results. Noise can also have adverse power, timing and reliability e ects. Dynamic logic is partic...
Andrew R. Conn, Ruud A. Haring, Chandramouli Viswe...