2044 search results - page 171 / 409 » System theory for numerical analysis |
256
click to vote
ECEASST
2010
15 years 4 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
179
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
156
click to vote
DLT
2008
15 years 8 months ago
2008
We show that for several classes of idempotent semirings the least fixed-point of a polynomial system of equations X = f(X) is equal to the least fixed-point of a linear system obt...
139
click to vote
JIKM
2007
15 years 6 months ago
2007
This paper presents the role of an innovative university masters’ degree program as a basis for skills development in human capital analysis for finance and business students in...
193
click to vote
ICW
2005
IEEE
16 years 6 days ago
2005
IEEE
— In this paper, we consider the standard state estimation problem over a congested packet-based network. The network is modeled as a queue with a single server processing the pa...