7827 search results - page 192 / 1566 » time 2007 |
155
click to vote
FSEN
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
189
click to vote
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
154
click to vote
ICCD
2007
IEEE
16 years 3 months ago
2007
IEEE
We have developed a new statistical timing analysis approach that does not impose any assumptions on the nature of manufacturing variability and takes into account an arbitrary mo...
177
click to vote
ICC
2007
IEEE
16 years 18 days ago
2007
IEEE
—— The performance of multiuser MIMO downlink systems with block diagonalization (BD) relies on the channel state information (CSI) at the transmitter to a great extent. For ti...
172
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The central role of transcription factors (TFs) in higher eukaryotes has led to much interest in deciphering transcriptional regulatory interactions. Even in the best ...