6020 search results - page 47 / 1204 » A New Approach to Model Counting |
134
click to vote
LCTRTS
2010
Springer
15 years 8 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...
161
click to vote
IPSN
2007
Springer
15 years 8 months ago
2007
Springer
Recent work has shown that, despite the minimal information provided by a binary proximity sensor, a network of such sensors can provide remarkably good target tracking performanc...
120
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— The analysis regarding the impact of the single-step power control (SSPC) scheme on the system performance such as bit error rate, packet error rate and queueing variation is h...
133
click to vote
IWPEC
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Inclusion/exclusion branching is a way to branch on requirements imposed on problems, in contrast to the classical branching on parts of the solution. The technique turne...
101
click to vote
IMC
2005
ACM
15 years 7 months ago
2005
ACM
Network engineers and operators are faced with a number of challenges that arise in the context of network monitoring and measurement. These include: i) how much information is in...