Sciweavers

2355 search results - page 255 / 471
» Scheduling in the Z-Polyhedral Model
Sort
View
CDC
2009
IEEE
119views Control Systems» more  CDC 2009»
15 years 11 months ago
Optimal controlled trajectories for a mathematical model of anti-angiogenic therapy in cancer
Abstract— Anti-angiogenic therapy is a novel treatment approach in cancer therapy that aims at preventing a tumor from developing a network of blood vessels and capillaries that ...
Urszula Ledzewicz, Heinz Schättler
3DPVT
2004
IEEE
107views Visualization» more  3DPVT 2004»
15 years 10 months ago
An Easy Viewer for Out-of-Core Visualization of Huge Point-Sampled Models
In this paper, we propose a viewer for huge point-sampled models by combining out-of-core technologies with view-dependent level-of-detail (LOD) control. This viewer is designed o...
Fang Meng, Hongbin Zha
HYBRID
1995
Springer
15 years 10 months ago
Compositional and Uniform Modelling of Hybrid Systems
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
Albert Benveniste
APPINF
2003
15 years 8 months ago
Towards Modelling an Intelligent Calendar Agent with LUPS
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
Juan Carlos Acosta Guadarrama, Mauricio Javier Oso...
FMOODS
2003
15 years 8 months ago
A Rewriting Based Model for Probabilistic Distributed Object Systems
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...
Nirman Kumar, Koushik Sen, José Meseguer, G...