Sciweavers

1121 search results - page 78 / 225
» Model and Formalism Driven Development of Collaborative Appl...
Sort
View
108
Voted
OOPSLA
2007
Springer
15 years 7 months ago
Lost in translation: formalizing proposed extensions to c#
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
Gavin M. Bierman, Erik Meijer, Mads Torgersen
PPOPP
2005
ACM
15 years 7 months ago
Performance modeling and optimization of parallel out-of-core tensor contractions
The Tensor Contraction Engine (TCE) is a domain-specific compiler for implementing complex tensor contraction expressions arising in quantum chemistry applications modeling elect...
Xiaoyang Gao, Swarup Kumar Sahoo, Chi-Chung Lam, J...
ADC
2009
Springer
141views Database» more  ADC 2009»
15 years 8 months ago
Event-based Communication for Location-based Service Collaboration
Location-based context-aware services for mobile users need to collaborate in disparate networks. Services come and go as the user moves and no central repository is available. Th...
Annika Hinze, Yann Michel, Lisa Eschner
ISCAS
2007
IEEE
179views Hardware» more  ISCAS 2007»
15 years 8 months ago
A Batteryless Vibration-based Energy Harvesting System for Ultra Low Power Ubiquitous Applications
—In this paper, we propose a vibration driven energy harvesting platform based on piezoelectric material. A new maximum power point tracking (MPPT) method for this platform is al...
Lu Chao, Chi-Ying Tsui, Wing-Hung Ki
COMPSAC
2009
IEEE
15 years 6 months ago
Towards the Operational Semantics of User-Centric Communication Models
Abstract—The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation ...
Yingbo Wang, Yali Wu, Andrew A. Allen, Barbara Esp...