Sciweavers

3865 search results - page 161 / 773
» From Bidirectionality to Alternation
Sort
View
124
Voted
PIMRC
2008
IEEE
15 years 11 months ago
Design challenges of open spectrum access
Abstract—The use of licensed spectrum for wireless communication is driven by the need to control interference between different operators. However, with this mode of regulation,...
Konstantinos V. Katsaros, Pantelis A. Frangoudis, ...
122
Voted
DATE
2007
IEEE
102views Hardware» more  DATE 2007»
15 years 11 months ago
Accurate and scalable reliability analysis of logic circuits
Reliability of logic circuits is emerging as an important concern that may limit the benefits of continued scaling of process technology and the emergence of future technology al...
Mihir R. Choudhury, Kartik Mohanram
ISQED
2007
IEEE
107views Hardware» more  ISQED 2007»
15 years 11 months ago
Recursive Function Smoothing of Half-Perimeter Wirelength for Analytical Placement
Inspired by recent success of analytical placers that use a logarithmsum-exponential (LSE) to smooth half-perimeter wirelength (HPWL), we consider in this paper two alternative sm...
Chen Li 0004, Cheng-Kok Koh
PRIMA
2007
Springer
15 years 10 months ago
Supporting Requirements Analysis in Tropos: A Planning-Based Approach
Abstract. Software systems are becoming more and more part of human life influencing organizational and social activities. This introduces the need of considering the design of a ...
Volha Bryl, Paolo Giorgini, John Mylopoulos
FM
2005
Springer
114views Formal Methods» more  FM 2005»
15 years 10 months ago
Systematic Implementation of Real-Time Models
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
Martin De Wulf, Laurent Doyen, Jean-Françoi...