1902 search results - page 243 / 381 » Differential Dynamic Logics |
164
click to vote
FCCM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Precision analysis and optimization is very important when transforming a floating-point algorithm into fixedpoint hardware implementations. The core analysis techniqu...
174
click to vote
ECWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In the service-oriented computing paradigm and the Web service architecture, the broker role is a key facilitator to leverage technical capabilities of loose coupling to ...
135
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Systems biologists are often faced with competing models for a given experimental system. Unfortunately, performing experiments can be time-consuming and expensive. Therefore, ...
169
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Cooperative steering controls enable mobile sampling platforms to conduct synoptic, adaptive surveys of dynamic spatiotemporal processes by appropriately regulating the...
145
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
—We investigate the problem of minimizing the overall transmission delay of data packets in a single-user wireless communication system, where the transmitter has a fixed amount...