4520 search results - page 60 / 904 » Algebraic Techniques for Timed Systems |
97
Voted
RTCSA
2009
IEEE
15 years 8 months ago
2009
IEEE
Responsive Link, an ISO/IEC communication standard, provides many functional capabilities for distributed realtime systems. This paper is focused on periodic and aperiodic communi...
103
click to vote
QEST
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—ITPN-PerfBound is a graphical tool for the modeling and performance bound analysis of Interval Time Petri Nets (ITPN), that has been developed within the DrawNET modelin...
117
click to vote
FOCS
2006
IEEE
15 years 8 months ago
2006
IEEE
A family of subsets C of [n] def = {1, . . . , n} is (r, t)exclusive if for every S ⊂ [n] of size at least n − r, there exist S1, . . . , St ∈ C with S = S1∪S2∪· · · ...
148
click to vote
SC
2009
ACM
15 years 6 months ago
2009
ACM
It has been shown that the sparse grid combination technique can be a practical tool to solve high dimensional PDEs arising in multidimensional option pricing problems in finance...
115
Voted
ICPPW
2009
IEEE
15 years 8 months ago
2009
IEEE
— Cell Superscalar (CellSs) provides a simple, flexible and easy programming approach for the Cell Broadband Engine (Cell/B.E.) that automatically exploits the inherent concurre...