Sciweavers

11200 search results - page 1949 / 2240
» An Object-oriented Optimization System
Sort
View
ICSR
2004
Springer
15 years 8 months ago
Validating Quality of Service for Reusable Software Via Model-Integrated Distributed Continuous Quality Assurance
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
Arvind S. Krishna, Douglas C. Schmidt, Atif M. Mem...
112
Voted
IWMM
2004
Springer
82views Hardware» more  IWMM 2004»
15 years 8 months ago
Write barrier elision for concurrent garbage collectors
Concurrent garbage collectors require write barriers to preserve consistency, but these barriers impose significant direct and indirect costs. While there has been a lot of work ...
Martin T. Vechev, David F. Bacon
LOPSTR
2004
Springer
15 years 8 months ago
Determinacy Analysis for Logic Programs Using Mode and Type Information
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
Pedro López-García, Francisco Bueno,...
132
Voted
PADL
2004
Springer
15 years 8 months ago
Improved Compilation of Prolog to C Using Moded Types and Determinism Information
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
José F. Morales, Manuel Carro, Manuel V. He...
PCM
2004
Springer
99views Multimedia» more  PCM 2004»
15 years 8 months ago
An Online Learning Framework for Sports Video View Classification
Sports videos have special characteristics such as well-defined video structure, specialized sports syntax, and some canonical view types. In this paper, we proposed an online lear...
Jun Wu, Xian-Sheng Hua, Jianmin Li, Bo Zhang, Hong...
« Prev « First page 1949 / 2240 Last » Next »