Sciweavers

3330 search results - page 218 / 666
» software 2010
Sort
View
TCAD
2010
98views more  TCAD 2010»
13 years 5 months ago
Statistical Modeling With the PSP MOSFET Model
PSP and the backward propagation of variance (BPV) method are used to characterize the statistical variations of metal-oxide-semiconductor field effect transistors (MOSFETs). BPV s...
Xin Li, Colin C. McAndrew, Weimin Wu, Samir Chaudh...
TCOM
2010
71views more  TCOM 2010»
13 years 5 months ago
Unitary space-time constellations based on quasi-orthogonal sequences
In this paper, we propose a novel class of unitary space-time constellations based on quaternary quasi-orthogonal sequences (QOSs), minimizing the maximum correlation between the s...
Jeongchang Kim, Kyungwhoon Cheun, Soongyoon Choi
VTC
2010
IEEE
114views Communications» more  VTC 2010»
13 years 8 months ago
A Secure Multi-Application Platform for Vehicle Telematics
Contemporary vehicles offer an advanced telematics platform with multiple applications available such as electronic road tolling, emergency call, breakdown call, or route planning....
Jef Maerien, Sam Michiels, Stefan Van Baelen, Chri...
ICSE
2010
IEEE-ACM
13 years 9 months ago
Integrating legacy systems with MDE
Integrating several legacy software systems together is commonly performed with multiple applications of the Adapter Design Pattern in oo languages such as Java. The integration i...
Mickael Clavreul, Olivier Barais, Jean-Marc J&eacu...
VMCAI
2010
Springer
14 years 8 months ago
Model-Checking In-Lined Reference Monitors
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
Meera Sridhar, Kevin W. Hamlen