2006 WCET Abstracts Collection -- 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis

On the 4th of July, 2006, the 6th International Workshop on Worst-Case Execution Time Analysis (WCET\u2706) was held in Dresden, Germany, co-located with the 18th Euromicro International Conference on Real-Time Systems (ECRTS\u2706), both with support of Euromicro Technical Committee. The goal of the workshop was to bring together people from academia, tool vendors and users in industry that are interested in all aspects of timing analysis for real-time systems. The workshop provided a relaxed forum to present and discuss new ideas, new research directions, and to review current trends in this area. The workshop was based on short presentations that encouraged discussion by the attendees. Abstracts of the presentations are put together in this paper. Links to extended abstracts or full papers are provided. The first section directs to the preface of the proceedings

Infrastructure water supply in Bauru: historical reflections

Abstracts aceptados sin presentacion / Accepted abstracts without presentatio

Semiotic process of the office configuration

Abstracts aceptados sin presentacion / Accepted abstracts without presentatio

TIP spatial index: efficient access to digital libraries in a context-aware mobile system

We present a framework for efficient, uniform, location-based access to digital library collections that are external to a context-aware mobile information system. Using a tourist Information system, we utilize a spatial index to manage the context of location. We show how access to resources from within and outside of the tourist information system can be carried out in a seamless manner. We show how the spatial index can be navigated to continually provide information to the user. An empirical evaluation of the navigation strategy versus traditional spatial searching shows that navigation is efficient and outperforms traditional spatial search. In conclusion, our work provides a strategy for context-aware mobile systems to co-operate with digital libraries in a seamless and efficient manner

Shape predicates allow unbounded verification of linearizability using canonical abstraction

Canonical abstraction is a static analysis technique that represents states as 3-valued logical structures, and is able to construct finite representations of systems with infinite statespaces for verification. The granularity of the abstraction can be altered by the definition of instrumentation predicates, which derive their meaning from other predicates. We introduce shape predicates for preserving certain structures of the state during abstraction. We show that shape predicates allow linearizability to be verified for concurrent data structures using canonical abstraction alone, and use the approach to verify a stack and two queue algorithms. This contrasts with previous efforts to verify linearizability with canonical abstraction, which have had to employ other techniques as well

Symbol grounding and its implications for artificial intelligence

In response to Searle's well-known Chinese room argument against Strong AI (and more generally, computationalism), Harnad proposed that if the symbols manipulated by a robot were sufficiently grounded in the real world, then the robot could be said to literally understand. In this article, I expand on the notion of symbol groundedness in three ways. Firstly, I show how a robot might select the best set of categories describing the world, given that fundamentally continuous sensory data can be categorised in an almost infinite number of ways. Secondly, I discuss the notion of grounded abstract (as opposed to concrete) concepts. Thirdly, I give an objective criterion for deciding when a robot's symbols become sufficiently grounded for "understanding" to be attributed to it. This deeper analysis of what symbol groundedness actually is weakens Searle's position in significant ways; in particular, whilst Searle may be able to refute Strong AI in the specific context of present-day digital computers, he cannot refute computationalism in general

Analysis of Abstracts Presented at the Prosthodontic Research Section of IADR General Sessions 2004–2005: Demographics, Publication Rates, and Factors Contributing to Publication

Purpose: The purposes of this study were to describe the demographics of abstracts presented at the prosthodontics section of IADR General Sessions from 2004 to 2005, evaluate the publication rate of abstracts, and analyze the relationship between variables in abstracts and publication. Materials and Methods: Prosthodontics research section abstracts from the IADR General Session in 2004 and 2005 were evaluated for: number of authors, presentation type, origin, affiliation, topic, study design, statistics, study outcome, and funding. The publication rate was calculated following a PubMed search. The journal of publication, year of publication, and the length of time before publication were analyzed. Descriptive statistics were used for the data analysis; the relationships between presentation type, study design, study outcome, statistics, funding, and publication were analyzed using logistic regression (α= 0.05). Results: From 346 abstracts, 37.0% were published. For oral presentations, 40.7% were published; 35.8% of poster presentations were published. The mean duration before publication was 26.4 months. North America had the most abstracts, and Europe had the most publications. Fixed prosthodontic research had the highest number and proportion for publication. A significant association with publication was noted for neutral study outcomes (p= 0.018), studies with funding (p= 0.035), and abstracts from Europe (p= 0.001). Conclusions: The majority of abstracts from the prosthodontics research section of IADR General Sessions from 2004 and 2005 remain unpublished. A significant association for publication was noted with neutral outcomes, funding, and abstracts from Europe

The UK NHS Economic Evaluation Database : Economic issues in evaluations of health technology

Objective: The U.K. NHS Economic Evaluation Database (EED) project is commissioned to identify papers on economic evaluations of health technologies and to disseminate their findings to NHS decision makers by means of structured abstracts that are available through a public database and the Cochrane Library. This paper discusses current issues relating to the economic aspects of producing NHS EED abstracts. Methods: A review of NHS EED was undertaken between 1994 and 1999 to determine the methodologies adopted and issues that influence the usefulness of economic evaluations. Methods adopted to improve the quality of NHS EED abstracts are also reported. Results: Eighty-five percent of NHS EED abstracts are cost-effectiveness analyses (CEAs), 9.3% are cost-utility analyses (CUAs), and only 1.4% are cost-benefit analyses (CBAs). Of the total abstracts, 65.9% are based on single studies, 19.5% on reviews, 3.9% on estimates of effectiveness, and 10.7% on combinations of these sources. Models are utilized in 16.7% of CEAs, 60.2% of CUAs, and 20% of CBAs. Analyses of CBA studies reveal a degree of misuse of well-established definitions. NHS EED internal control mechanisms are reported that provide a means of ensuring that abstracts are based on sound academic principles. Conclusions: Most economic evaluations are conducted by means of CEA, followed by CUA, while CBA accounts for an extreme minority of cases. Single studies form the principal source of effectiveness data, although models are widely used, principally in CUA. The structure of NHS EED abstracts provides decision makers with the principal results and an interpretation of the relative strengths and weaknesses of economic evaluations