296 search results - page 23 / 60 » Discrete and Hybrid Nonholonomy |
171
click to vote
WSC
1997
15 years 7 months ago
1997
We present a system for describing and solving closed queuing network models of the memory access performance of NUMA architectures. The system consists of a model description lan...
168
Voted
COCOA
2009
Springer
15 years 9 months ago
2009
Springer
stract to be announcedPlenary session 09:00-10:00 Panos M, Pardalos, University of Florida, USA Tea Break 10:00-10:20 At the 1st floor 10:20-10:45 Polynomial Approximation Schemes ...
146
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
Abstract−Stabilization of uncertain hybrid systems with controllable transitions is considered. Uncertainty enters in the form of a disturbance input that can affect both the co...
171
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
134
Voted
ISLPED
2007
ACM
15 years 7 months ago
2007
ACM
A hybrid energy source has become a necessary solution for micro-scale applications, like wireless sensors, because of small form factor and extended lifetime requirements. Conven...