53 search results - page 6 / 11 » The Probe-Insertion Technique for the Detection of Limit Cyc... |
ICFEM
2004
Springer
14 years 2 days ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
FCCM
2004
IEEE
13 years 10 months ago
2004
IEEE
The development of turbo codes has allowed for nearShannon limit information transfer in modern communication systems. Although turbo decoding is viewed as superior to alternate d...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
—Optical communication through the atmosphere possibly enables high data rate communication. However, the optical field undergoes fades or outages due to air turbulence. Spatial ...
LCTRTS
2007
Springer
14 years 25 days ago
2007
Springer
Energy efficiency is an important factor in embedded systems design. We consider an embedded system with a dynamic voltage scaling (DVS) capable processor and its system-wide pow...
SAC
2005
ACM
14 years 8 days ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...