Sciweavers

679 search results - page 93 / 136
» hybrid 2010
Sort
View
FSTTCS
2010
Springer
13 years 8 months ago
Place-Boundedness for Vector Addition Systems with one zero-test
Reachability and boundedness problems have been shown decidable for Vector Addition Systems with one zero-test. Surprisingly, place-boundedness remained open. We provide here a va...
Rémi Bonnet, Alain Finkel, Jérô...
GLOBECOM
2010
IEEE
13 years 8 months ago
Relay-Induced Error Propagation Reduction for Decode-and-Forward Cooperative Communications
An attractive hybrid method of mitigating the effects of error propagation that may be imposed by the relay node (RN) on the destination node (DN) is proposed. We selected the most...
Dandan Liang, Soon Xin Ng, Lajos Hanzo
ICCAD
2010
IEEE
119views Hardware» more  ICCAD 2010»
13 years 8 months ago
Symbolic system level reliability analysis
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
Michael Glaß, Martin Lukasiewycz, Felix Reim...
INFOCOM
2010
IEEE
13 years 8 months ago
On the Impact of Mobility on Multicast Capacity of Wireless Networks
Analogous to the beneficial impact that mobility has on the throughput of unicast networks, this paper establishes that mobility can provide a similar gain in the order-wise growth...
Jubin Jose, Ahmed Abdel-Hadi, Piyush Gupta, Sriram...
NAACL
2010
13 years 8 months ago
Urdu Word Segmentation
Word Segmentation is the foremost obligatory task in almost all the NLP applications where the initial phase requires tokenization of input into words. Urdu is amongst the Asian l...
Nadir Durrani, Sarmad Hussain