20126 search results - page 3817 / 4026 » Timed Transition Systems |
125
Voted
TON
2008
15 years 3 months ago
2008
We consider the vector fixed point equations arising out of the analysis of the saturation throughput of a single cell IEEE 802.11e (EDCA) wireless local area network with nodes th...
135
Voted
AI
2004
Springer
15 years 3 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
133
Voted
AIR
2004
15 years 3 months ago
2004
Real-world data is never perfect and can often suffer from corruptions (noise) that may impact interpretations of the data, models created from the data and decisions made based on...
111
Voted
TVLSI
2008
15 years 3 months ago
2008
Lifetime concerns for complex systems-on-a-chip (SoC) designs due to decreasing levels in reliability motivate the development of solutions to ensure reliable operation. A precurso...
120
Voted
VC
2008
15 years 3 months ago
2008
Existing techniques for fast, high-quality rendering of translucent materials often fix BSSRDF parameters at precomputation time. We present a novel method for accurate rendering a...