5639 search results - page 257 / 1128 » Timed Abstract Non-interference |
109
Voted
SAT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper we study NP-hard weighted satisfiability optimization problems for the class 2-CNF providing worst-case upper time bounds. Moreover we consider the monoton...
125
click to vote
SSS
2007
Springer
15 years 9 months ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
178
click to vote
VTC
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— This paper propose a channel estimation technique for multiple-input multiple-output (MIMO) - orthogonal frequency division multiplexing (OFDM) / time division multiple...
126
click to vote
ETFA
2005
IEEE
15 years 9 months ago
2005
IEEE
AbstractThe impact of the use of mobile devices by means of GPRS (General Packet Radio Service) technology to access environmental information in real time, provided by sensors str...
104
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— Hierarchical design plays an important role in microprocessor and ASIC domains where design complexity limits design productivity and tool capacity. Slack distribution,...