Sciweavers

2355 search results - page 318 / 471
» Scheduling in the Z-Polyhedral Model
Sort
View
AINA
2005
IEEE
16 years 13 days ago
A Probabilistic Signal-Strength-Based Evaluation Methodology for Sensor Network Deployment
: The deployment of senor networks have attracted a lot of attention recently. In essence this issue is concerned with how well a sensing field is monitored by sensors to achieve ...
Sheng-Po Kuo, Yu-Chee Tseng, Fang-Jing Wu, Chun-Yu...
209
Voted
EMSOFT
2005
Springer
16 years 10 days ago
Model-based analysis of distributed real-time embedded system composition
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
Gabor Madl, Sherif Abdelwahed
FOSSACS
2005
Springer
16 years 10 days ago
Stochastic Transition Systems for Continuous State Spaces and Non-determinism
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
Stefano Cattani, Roberto Segala, Marta Z. Kwiatkow...
ICALP
2005
Springer
16 years 10 days ago
How Well Can Primal-Dual and Local-Ratio Algorithms Perform?
We define an algorithmic paradigm, the stack model, that captures many primal-dual and local-ratio algorithms for approximating covering and packing problems. The stack model is ...
Allan Borodin, David Cashman, Avner Magen
EURODAC
1994
IEEE
116views VHDL» more  EURODAC 1994»
15 years 11 months ago
A performance evaluator for parameterized ASIC architectures
System-levelpartitioning assigns functionalobjects such as tasks or code segments to system-level components such as o-the-shelf processors or application-speci c architectures in...
Jie Gong, Daniel D. Gajski, Alex Nicolau