Sciweavers

5325 search results - page 53 / 1065
» Effective Computation for Nonlinear Systems
Sort
View
161
Voted
RTSS
2006
IEEE
16 years 3 days ago
System-Level Energy Management for Periodic Real-Time Tasks
In this paper, we consider the system-wide energy management problem for a set of periodic real-time tasks running on a DVS-enabled processor. Our solution uses a generalized powe...
Hakan Aydin, Vinay Devadas, Dakai Zhu
MOC
1998
104views more  MOC 1998»
15 years 5 months ago
Chaos in the Lorenz equations: A computer assisted proof. Part II: Details
Abstract. Details of a new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique abstract existence results based...
Konstantin Mischaikow, Marian Mrozek
133
Voted
DAC
2005
ACM
16 years 7 months ago
Automated nonlinear Macromodelling of output buffers for high-speed digital applications
We present applications of a recently developed automated nonlinear macromodelling approach to the important problem of macromodelling high-speed output buffers/drivers. Good nonl...
Ning Dong, Jaijeet S. Roychowdhury
DISOPT
2008
138views more  DISOPT 2008»
15 years 6 months ago
An algorithmic framework for convex mixed integer nonlinear programs
This paper is motivated by the fact that mixed integer nonlinear programming is an important and difficult area for which there is a need for developing new methods and software f...
Pierre Bonami, Lorenz T. Biegler, Andrew R. Conn, ...
ICTAI
2009
IEEE
15 years 3 months ago
A Knowledge-Light Nonlinear Case-Based Reasoning Approach to Radiotherapy Planning
Radiation is often used in prostate cancer treatments. Radiotherapy treatment planning is a complex decision making process. In order to make a patient well, the oncologist has to...
Nishikant Mishra, Sanja Petrovic, Santhanam Sundar