Sciweavers

10797 search results - page 1870 / 2160
» Robust control applications
Sort
View
LCPC
2007
Springer
16 years 23 days ago
Communicating Multiprocessor-Tasks
The use of multiprocessor tasks (M-tasks) has been shown to be successful for mixed task and data parallel implementations of algorithms from scientific computing. The approach o...
Jörg Dümmler, Thomas Rauber, Gudula R&uu...
MLG
2007
Springer
16 years 23 days ago
Abductive Stochastic Logic Programs for Metabolic Network Inhibition Learning
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
Jianzhong Chen, Stephen Muggleton, Jose Santos
OOPSLA
2007
Springer
16 years 23 days ago
Inferring aliasing and encapsulation properties for java
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
Kin-Keung Ma, Jeffrey S. Foster
153
Voted
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
16 years 22 days ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick
SG
2007
Springer
16 years 22 days ago
Customized Slider Bars for Adjusting Multi-dimension Parameter Sets
Abstract. We propose a meta user interface to design the user interface to tune vector-valued parameters of a given parametrized model. In our framework, the user defines a desire...
Shigeru Owada, Makoto Okabe, Takeo Igarashi, Frank...
« Prev « First page 1870 / 2160 Last » Next »