2087 search results - page 399 / 418 » Computation of class numbers of quadratic number fields |
182
click to vote
LCTRTS
2010
Springer
16 years 28 days 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...
183
Voted
LICS
2009
IEEE
16 years 22 days ago
2009
IEEE
Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In ...
189
click to vote
CF
2009
ACM
16 years 18 days ago
2009
ACM
Recently, multi-core architectures with alternative memory subsystem designs have emerged. Instead of using hardwaremanaged cache hierarchies, they employ software-managed embedde...
188
click to vote
ICDCS
2008
IEEE
16 years 16 days ago
2008
IEEE
Quorum-based Power Saving (QPS) protocols have been proposed for ad hoc networks (e.g., IEEE 802.11 ad hoc mode) to increase energy efficiency and prolong the operational time of...
185
click to vote
IEEEPACT
2008
IEEE
16 years 15 days ago
2008
IEEE
Communication overheads are one of the fundamental challenges in a multiprocessor system. As the number of processors on a chip increases, communication overheads and the distribu...