535 search results - page 35 / 107 » Termination of Abstract Reduction Systems |
ICC
2000
IEEE
14 years 2 months ago
2000
IEEE
Abstract—We describe two classes of simple, effective techniques for reducing the average optical power requirement in intensity-modulated optical systems using multiple BPSK or ...
MICCAI
2004
Springer
14 years 10 months ago
2004
Springer
Abstract. With the increasing capability of MR imaging and Computational Fluid Dynamics (CFD) techniques, a significant amount of data related to the haemodynamics of the cardiovas...
ESTIMEDIA
2009
Springer
13 years 7 months ago
2009
Springer
Abstract--Memory accesses are a major cause of energy consumption for embedded systems and the stack is a frequent target for data accesses. This paper presents a fully software te...
ICCD
1999
IEEE
14 years 2 months ago
1999
IEEE
ions", in IEEE Transactions on CAD of VLSI, 25(3):403-412, March, 2006. , E. Mercer, C. Myers, "Modular Verification of Timed Systems Using Automatic Abstraction" in...
AMI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. High average intensity of traffic and problems like traffic congestions, road safety, etc. are challenging problems striking highway operators in these days. With the bro...