Sciweavers

17298 search results - page 3142 / 3460
» Abstract computing machines
Sort
View
139
Voted
CCE
2008
15 years 5 months ago
Multiobjective optimization of multipurpose batch plants using superequipment class concept
We present a novel approach for solving different design problems related to single products in multipurpose batch plants: the selection of one production line out of several avai...
Andrej Mosat, Laurent Cavin, Ulrich Fischer 0002, ...
CGF
2008
125views more  CGF 2008»
15 years 5 months ago
Interactive Visualization for Memory Reference Traces
We present the Memory Trace Visualizer (MTV), a tool that provides interactive visualization and analysis of the sequence of memory operations performed by a program as it runs. A...
A. N. M. Imroz Choudhury, Kristin C. Potter, Steve...
133
Voted
CORR
2010
Springer
79views Education» more  CORR 2010»
15 years 5 months ago
Quantitative Games on Probabilistic Timed Automata
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...
Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Triv...
CORR
2010
Springer
135views Education» more  CORR 2010»
15 years 5 months ago
Automatic derivation of domain terms and concept location based on the analysis of the identifiers
Abstract. Developers express the meaning of the domain ideas in specifically selected identifiers and comments that form the target implemented code. Software maintenance requires ...
Peter Václavík, Jaroslav Porubä...
CONSTRAINTS
2008
78views more  CONSTRAINTS 2008»
15 years 5 months ago
Boosting Haplotype Inference with Local Search
Abstract. A very challenging problem in the genetics domain is to infer haplotypes from genotypes. This process is expected to identify genes affecting health, disease and response...
Inês Lynce, João Marques-Silva, Steve...
« Prev « First page 3142 / 3460 Last » Next »