3082 search results - page 345 / 617 » Deviation Analysis: A New Use of Model Checking |
183
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Computer vision has traditionally focused on extracting structure, such as depth, from images acquired using thin-lens or pinhole optics. The development of computational imaging i...
197
click to vote
PTS
2008
15 years 8 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
179
click to vote
MASCOTS
2004
15 years 8 months ago
2004
Peer-to-peer file sharing networks have emerged as a new popular application in the Internet scenario. In this paper, we provide an analytical model of the resources size and of t...
191
click to vote
TCOM
2010
15 years 1 months ago
2010
Abstract--This paper provides a systematic mutual information (MI) and multichannel beamforming (MBF) characterization of optimized multiple-input multiple-output (MIMO) communicat...
171
click to vote
ISCAS
2005
IEEE
16 years 4 days ago
2005
IEEE
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...