Sciweavers

2355 search results - page 292 / 471
» Scheduling in the Z-Polyhedral Model
Sort
View
FPL
2009
Springer
172views Hardware» more  FPL 2009»
15 years 11 months ago
Performance comparison of single-precision SPICE Model-Evaluation on FPGA, GPU, Cell, and multi-core processors
Automated code generation and performance tuning techniques for concurrent architectures such as GPUs, Cell and FPGAs can provide integer factor speedups over multi-core processor...
Nachiket Kapre, André DeHon
ICECCS
1998
IEEE
161views Hardware» more  ICECCS 1998»
15 years 11 months ago
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
Christophe Aussaguès, Vincent David
DEXA
1998
Springer
90views Database» more  DEXA 1998»
15 years 11 months ago
On the Correctness of a Transaction Model for Mobile Computing
We discuss and prove the correctness of a transaction model for mobile computing. In our transaction model, we incorporate a prewrite operation (before a write) which does not upda...
Sanjay Kumar Madria, Bharat K. Bhargava
WSC
2007
15 years 9 months ago
Project planning using an interactive, structured modeling environment
Planning construction projects typically makes use of the activity network based Critical Path Method (CPM), since it is very simple to use and reasonably versatile. Most other pl...
Ian Flood
WSC
2008
15 years 9 months ago
C-5 Isochronal inspection process modeling
United States Air Mobility Command (AMC) has a limited number of C-5 aircraft, and so opportunities to either preserve or increase aircraft availability are of interest to them. I...
Alan W. Johnson, Charles Glasscock, Adam Little, M...