2555 search results - page 172 / 511 » Quantifiers and Working Memory |
120
Voted
INFOCOM
2010
IEEE
2010
IEEE
Throughput and Delay Analysis on Uncoded and Coded Wireless Broadcast with Hard Deadline Constraints
15 years 1 months ago
Multimedia streaming applications have stringent QoS requirements. Typically each packet is associated with a packet delivery deadline. This work models and considers realtime stre...
163
Voted
ICWS
2009
IEEE
15 years 1 months ago
2009
IEEE
The Service registry, the yellow pages of ServiceOriented Architecture (SOA), plays a central role in SOAbased service systems. The service registry has to be scalable to manage l...
135
Voted
SDM
2012
SIAM
13 years 6 months ago
2012
SIAM
Network-analysis literature is rich in node-centrality measures that quantify the centrality of a node as a function of the (shortest) paths of the network that go through it. Exi...
148
Voted
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
Ever scaling process technology makes embedded systems more vulnerable to soft errors than in the past. One of the generic methods used to fight soft errors is based on duplicati...
122
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
We propose an algorithm to compute a counterexample of minimal size to some property in a finite state program, using the same space constraints than SPIN. This algorithm uses nes...