1456 search results - page 244 / 292 » The Layer-Independent Descriptor Concept |
HYBRID
2010
Springer
15 years 5 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
LCTRTS
2010
Springer
15 years 5 months ago
2010
Springer
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
100
click to vote
AOSD
2009
ACM
15 years 5 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
113
click to vote
MOBIHOC
2009
ACM
15 years 5 months ago
2009
ACM
Spectrum is a critical yet scarce resource and it has been shown that dynamic spectrum access can significantly improve spectrum utilization. To achieve this, it is important to ...
100
click to vote
MSWIM
2009
ACM
15 years 5 months ago
2009
ACM
The provision of rich multimedia services, such as Mobile TV, is considered of key importance for the Long Term Evolution (LTE) proliferation in mobile market. To this direction, ...