Sciweavers

298 search results - page 43 / 60
» UPPAAL - Now, Next, and Future
Sort
View
AICOM
1999
116views more  AICOM 1999»
13 years 9 months ago
Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models
On-board diagnostic systems play an important role in the current generation of cars and will play an increasingly important role in the next future. The design of on-board diagno...
Fulvio Cascio, Luca Console, Marcella Guagliumi Ma...
TOG
2002
112views more  TOG 2002»
13 years 9 months ago
Ray tracing on programmable graphics hardware
Recently a breakthrough has occurred in graphics hardware: fixed function pipelines have been replaced with programmable vertex and fragment processors. In the near future, the gr...
Timothy J. Purcell, Ian Buck, William R. Mark, Pat...
TPDS
2002
80views more  TPDS 2002»
13 years 9 months ago
Performance Optimization Problem in Speculative Prefetching
Speculative prefetching has been proposed to improve the response time of network access. Previous studies in speculative prefetching focus on building and evaluating access models...
Nor Jaidi Tuah, Mohan Kumar, Svetha Venkatesh, Saj...
JUCS
2010
132views more  JUCS 2010»
13 years 8 months ago
A Mobile Intelligent Interruption Management System
: Mobile phones have become the most hated device that people cannot live without. For its primary usage as a communication device, it has surpassed any other medium. But it comes ...
Sina Zulkernain, Praveen Madiraju, Sheikh Iqbal Ah...
PUC
2010
116views more  PUC 2010»
13 years 8 months ago
Requirements for mobile photoware
What is the future of digital imaging? Mobile imaging technologies have been changing rapidly and will continue to do so. We explore new developments in cameraphone photography wit...
Morgan Ames, Dean Eckles, Mor Naaman, Mirjana Spas...