5863 search results - page 1088 / 1173 » On Model-Checking of P Systems |
127
click to vote
MOBISYS
2007
ACM
16 years 3 months ago
2007
ACM
Abstract-- Wireless sensor networks represent a key technology enabler for enhanced health care and assisted living systems. Recent standardization efforts to ensure compatibility ...
146
click to vote
ISPASS
2009
IEEE
2009
IEEE
Machine learning based online performance prediction for runtime parallelization and task scheduling
15 years 10 months ago
—With the emerging many-core paradigm, parallel programming must extend beyond its traditional realm of scientific applications. Converting existing sequential applications as w...
167
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents λI , a language for dynamic tracking of information flow across multiple, interdependent dimensions of information. Typical dimensions of interest are integr...
161
click to vote
SENSYS
2009
ACM
15 years 10 months ago
2009
ACM
Sensor networks have the potential to empower domain experts from a wide range of fields. However, presently they are notoriously difficult for these domain experts to program, ...
163
click to vote
IDEAS
2009
IEEE
15 years 10 months ago
2009
IEEE
Database Management Systems (DBMSs) that can be tailored to specific requirements offer the potential to improve reliability and maintainability and simultaneously the ability t...