Sciweavers

2523 search results - page 293 / 505
» Correct Development of Embedded Systems
Sort
View
117
Voted
SOSP
2009
ACM
15 years 11 months ago
Automatic device driver synthesis with termite
Faulty device drivers cause significant damage through down time and data loss. The problem can be mitigated by an improved driver development process that guarantees correctness...
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le S...
127
Voted
ASPLOS
2010
ACM
15 years 7 months ago
Modeling GPU-CPU workloads and systems
Heterogeneous systems, systems with multiple processors tailored for specialized tasks, are challenging programming environments. While it may be possible for domain experts to op...
Andrew Kerr, Gregory F. Diamos, Sudhakar Yalamanch...
142
Voted
ICPPW
2002
IEEE
15 years 7 months ago
SNOW: Software Systems for Process Migration in High-Performance, Heterogeneous Distributed Environments
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
Kasidit Chanchio, Xian-He Sun
124
Voted
ECAI
2000
Springer
15 years 7 months ago
Flexible Text Classification for Financial Applications: The Facile System
This paper describes an advanced system for multilingual text classification adaptable to different user needs. The system has been initially developed as an applied research proje...
Fabio Ciravegna, Alberto Lavelli, Nadia Mana, Joha...
131
Voted
ESWS
2009
Springer
15 years 9 months ago
CultureSampo: A National Publication System of Cultural Heritage on the Semantic Web 2.0
CULTURESAMPO is an application demonstration of a national level publication system of cultural heritage contents on the Web, based on ideas and technologies of the Semantic (Web a...
Eero Hyvönen, Eetu Mäkelä, Tomi Kau...