Sciweavers

4355 search results - page 549 / 871
» From Interpretation to Compilation
Sort
View
SPIN
2005
Springer
16 years 6 days ago
Execution Generated Test Cases: How to Make Systems Code Crash Itself
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
Cristian Cadar, Dawson R. Engler
WINE
2005
Springer
143views Economy» more  WINE 2005»
16 years 6 days ago
Economic Mechanisms for Shortest Path Cooperative Games with Incomplete Information
Abstract. In this paper we present a cooperative game theoretic interpretation of the shortest path problem. We consider a buying agent who has a budget to go from a specified sou...
T. S. Chandrashekar, Yadati Narahari
HICSS
2003
IEEE
166views Biometrics» more  HICSS 2003»
16 years 15 hour ago
Comparative Genome Annotation for Mapping, Prediction and Discovery of Genes
We have used comparative genome analyses to produce annotated maps for large genomic loci. The first example is a locus on mouse chromosome 9 that is syntenic to human chromosome ...
Claudia Kappen, J. Michael Salbaum
IDEAS
2003
IEEE
106views Database» more  IDEAS 2003»
16 years 8 hour ago
Frequent Itemsets Mining for Database Auto-Administration
With the wide development of databases in general and data warehouses in particular, it is important to reduce the tasks that a database administrator must perform manually. The a...
Kamel Aouiche, Jérôme Darmont, Le Gru...
199
Voted
ISESE
2002
IEEE
15 years 11 months ago
'Bad Practice' or 'Bad Methods' -- Are Software Engineering and Ethnographic Discourses Incompatible?
Organisational problems in industry have evoked increased interest in empirical methodologies in the broader software engineering community. In particular, the human role in softw...
Kari Rönkkö, Olle Lindeberg, Yvonne Ditt...