5334 search results - page 49 / 1067 » Communicating quantum processes |
111
click to vote
ISCAS
2005
IEEE
15 years 7 months ago
2005
IEEE
Polar modulation techniques offer the capability of multimode wireless system and the potential for the high efficiency Power Amplifier (PA). This paper describes a new design of D...
109
click to vote
SPIN
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
CAISE
2007
Springer
15 years 8 months ago
2007
Springer
IUI
2005
ACM
15 years 7 months ago
2005
ACM
The paper presents a first prototype of a handheld museum guide delivering contextualized information based on the recognition of drawing details selected by the user through the ...
GLVLSI
1998
IEEE
15 years 6 months ago
1998
IEEE
