5863 search results - page 1145 / 1173 » On Model-Checking of P Systems |
SIGMOD
2010
ACM
14 years 3 months ago
2010
ACM
Database partitioning is a technique for improving the performance of distributed OLTP databases, since “single partition” transactions that access data on one partition do no...
CF
2009
ACM
14 years 3 months ago
2009
ACM
Energy consumption and heat dissipation have become key considerations for modern high performance computer systems. In this paper, we focus on non-clairvoyant speed scaling to mi...
AIME
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Mechanical ventilation can cause severe lung damage by inadequate adjustment of the ventilator. We introduce a Machine Learning approach to predict the pressure-dependent...
AGENTS
2001
Springer
14 years 3 months ago
2001
Springer
The goal of this project is to develop a pedestrian mobility aid for the elderly. In order for this type of assistive technology to be useful and accepted by its intended user com...
ICSE
2001
IEEE-ACM
14 years 3 months ago
2001
IEEE-ACM
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...