Sciweavers

3604 search results - page 407 / 721
» All Common Subsequences
Sort
View
ICFP
2009
ACM
16 years 1 months ago
Finding race conditions in Erlang with QuickCheck and PULSE
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
Koen Claessen, Michal Palka, Nicholas Smallbone, J...
ICSE
2009
IEEE-ACM
16 years 1 months ago
FeatureIDE: A tool framework for feature-oriented software development
Tools support is crucial for the acceptance of a new programming language. However, providing such tool support is a huge investment that can usually not be provided for a researc...
Christian Kästner, Thomas Thüm, Gunter S...
ISBRA
2009
Springer
16 years 1 months ago
Prediction of Contiguous Regions in the Amniote Ancestral Genome
Abstract. We investigate the problem of inferring contiguous ancestral regions (CARs) of the genome of the last common ancestor of all extant amniotes, based on the currently seque...
Aïda Ouangraoua, Frédéric Boyer...
CSE
2009
IEEE
16 years 1 months ago
Black Bridge: A Scatternet Formation Algorithm for Solving a New Emerging Problem
Abstract: Nowadays, it has become common to equip a device with Bluetooth. As such devices become pervasive in the world; much work has been done on forming them into a network, ho...
Yanqin Yang, Minyi Guo, Feilong Tang, Gongwei Zhan...
DSN
2009
IEEE
16 years 1 months ago
Fail-Aware Untrusted Storage
We consider a set of clients collaborating through an online service provider that is subject to attacks, and hence y trusted by the clients. We introduce the abstraction of a fai...
Christian Cachin, Idit Keidar, Alexander Shraer