Sciweavers

406 search results - page 45 / 82
» Identifying Codes and Covering Problems
Sort
View
VAMOS
2010
Springer
13 years 10 months ago
Introducing TVL, a Text-based Feature Modelling
Feature models are a common way to represent variability in software product line engineering. For this purpose, most authors use a graphical notation based on FODA. The main drawb...
Quentin Boucher, Andreas Classen, Paul Faber, Patr...
BSDCON
2003
13 years 10 months ago
Reasoning about SMP in FreeBSD
While the subject of SMP locking primitives has been well covered in the literature [Val][Schm][Bald][Leh], there has been relatively little discussion on the rationale and proces...
Jeffrey Hsu
ICST
2010
IEEE
13 years 7 months ago
Longer is Better: On the Role of Test Sequence Length in Software Testing
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous...
Andrea Arcuri
TMM
2011
182views more  TMM 2011»
13 years 3 months ago
Scalable Video Multicast in Hybrid 3G/Ad-Hoc Networks
Mobile video broadcasting service, or mobile TV, is expected to become a popular application for 3G wireless network operators. Most existing solutions for video Broadcast Multica...
Sha Hua, Yang Guo, Yong Liu, Hang Liu, Shivendra S...
PODS
2005
ACM
131views Database» more  PODS 2005»
14 years 8 months ago
Buffering in query evaluation over XML streams
All known algorithms for evaluating advanced XPath queries (e.g., ones with predicates or with closure axes) on XML streams employ buffers to temporarily store fragments of the do...
Ziv Bar-Yossef, Marcus Fontoura, Vanja Josifovski