14190 search results - page 77 / 2838 » Abstractions for hybrid systems |
RSP
2000
IEEE
15 years 4 months ago
2000
IEEE
We present a flexible, yet cost-effective prototyping platform for hybrid hardware/software systems. Our approach is based on combining off-the-shelf hardware components with cus...
111
click to vote
XSYM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. LONG PAPER. BaseX is an early adopter of the upcoming XQuery Full Text Recommendation. This paper presents some of the enhancements made to the XML database to fully supp...
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— Ultra wide band (UWB) impulse radio (IR) technology calls for robust and low-complexity receiver techniques. State-of-the-art proposals are both coherent ML receivers, ...
AUTOMATICA
2006
14 years 12 months ago
2006
Abstract-- New methods for model validation of continuoustime nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-paramet...
ENTCS
2007
14 years 12 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...