Sciweavers

53 search results - page 6 / 11
» tse 2002
Sort
View
TSE
2002
95views more  TSE 2002»
15 years 5 months ago
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
Peter Frey, Radharamanan Radhakrishnan, Harold W. ...
INTERNET
2002
103views more  INTERNET 2002»
15 years 5 months ago
Enabling Distributed Corba Access to Smart Card Applications
Alvin T. S. Chan, Florine Tse, Jiannong Cao, Hong ...
ISCAS
2002
IEEE
98views Hardware» more  ISCAS 2002»
15 years 10 months ago
Analysis of Hopf bifurcation in parallel-connected boost converters via averaged models
Herbert H. C. Iu, C. K. Tse, V. Pjevalica, Y. M. L...