Sciweavers

2214 search results - page 93 / 443
» complexity 2004
Sort
View
ATVA
2004
Springer
135views Hardware» more  ATVA 2004»
14 years 2 months ago
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
Data races do not cover all kinds of concurrency errors. This paper presents a data-ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
Cyrille Artho, Klaus Havelund, Armin Biere
ICGI
2004
Springer
14 years 2 months ago
The Omphalos Context-Free Grammar Learning Competition
This paper describes the Omphalos Context-Free Grammar Learning Competition held as part of the International Colloquium on Grammatical Inference 2004. The competition was created ...
Bradford Starkie, François Coste, Menno van...
ACE
2004
182views Education» more  ACE 2004»
13 years 10 months ago
Learning to Program: Spreadsheets, Scripting and HCI
An examination of some recent programming texts indicates that the complexities of modern programming languages and environments have replaced the study of algorithms and programm...
Peter Warren
BXML
2004
13 years 10 months ago
Towards Embedding VoiceXML Applications Through Compilation
: In this paper we present an approach to embedding VoiceXML applications by an off-line compilation scheme. Our primary motivation is that VoiceXML is an established standard for ...
Dirk Bühler, Stefan W. Hamerich
DBA
2004
113views Database» more  DBA 2004»
13 years 10 months ago
A Quality Measure for Distributed Clustering
Clustering has become an increasingly important task in modern application domains. Mostly, the data are originally collected at different sites. In order to extract information f...
Eshref Januzaj, Hans-Peter Kriegel, Martin Pfeifle