Sciweavers

9325 search results - page 409 / 1865
» The decentralized implementability problem
Sort
View
POPL
2007
ACM
16 years 5 months ago
Interprocedural analysis of asynchronous programs
An asynchronous program is one that contains procedure calls which are not immediately executed from the callsite, but stored and "dispatched" in a non-deterministic ord...
Ranjit Jhala, Rupak Majumdar
CDC
2008
IEEE
115views Control Systems» more  CDC 2008»
15 years 11 months ago
Min-Max predictive control of a pilot plant using a QP approach
— The practical implementation of Min-Max MPC (MMMPC) controllers is limited by the computational burden required to compute the control law. This problem can be circumvented by ...
Jorn Klaas Gruber, Daniel R. Ramírez, Teodo...
128
Voted
VTS
2005
IEEE
96views Hardware» more  VTS 2005»
15 years 10 months ago
Pseudo-Functional Scan-based BIST for Delay Fault
This paper presents a pseudo-functional BIST scheme that attempts to minimize the over-testing problem of logic BIST for delay and crosstalk-induced failures. The over-testing pro...
Yung-Chieh Lin, Feng Lu, Kwang-Ting Cheng
SPAA
2003
ACM
15 years 10 months ago
Relaxing the problem-size bound for out-of-core columnsort
Previous implementations of out-of-core columnsort limit the problem size to N ≤ (M/P)3/2, where N is the number of records to sort, P is the number of processors, and M is the ...
Geeta Chaudhry, Elizabeth A. Hamon, Thomas H. Corm...
147
Voted
CAV
2003
Springer
140views Hardware» more  CAV 2003»
15 years 10 months ago
Certifying Optimality of State Estimation Programs
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, ...