6960 search results - page 535 / 1392 » Continuity Analysis of Programs |
226
Voted
HOTOS
1997
IEEE
15 years 11 months ago
1997
IEEE
We are building an operating system in which an integral run-time code generator constantly strives to improve the quality of already executing code. Our system is based on a plat...
212
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
The problem of regulating air traffic in the en route airspace of the National Airspace System is studied using an Eulerian network model to describe air traffic flow. The evolutio...
216
click to vote
NIPS
2007
15 years 8 months ago
2007
Stability is a desirable characteristic for linear dynamical systems, but it is often ignored by algorithms that learn these systems from data. We propose a novel method for learn...
187
click to vote
JAR
2008
15 years 7 months ago
2008
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
200
Voted
TSE
2002
15 years 6 months ago
2002
Although there has been recent research into ways to design environments that enable end users to create their own programs, little attention has been given to helping these end u...