Sciweavers

759 search results - page 137 / 152
» Test case generator for GUITAR
Sort
View
110
Voted
IEEEHPCS
2010
14 years 11 months ago
Extending the educational scope of a particle-based simulation framework through parallelization
Particle systems have been incorporated into a wide variety of applications in both academia and industry. They can be employed to investigate complex natural phenomena, illustrat...
T. Francis Chen, Gladimir V. G. Baranoski
OOPSLA
2010
Springer
14 years 11 months ago
A simple inductive synthesis methodology and its applications
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Moo...
SENSYS
2010
ACM
14 years 10 months ago
Efficient diagnostic tracing for wireless sensor networks
Wireless sensor networks (WSNs) are hard to program due to unconventional programming models used to satisfy stringent resource constraints. The common event-driven concurrent pro...
Vinaitheerthan Sundaram, Patrick Th. Eugster, Xian...
ICMCS
2009
IEEE
185views Multimedia» more  ICMCS 2009»
14 years 10 months ago
Connecting content to community in social media via image content, user tags and user communication
In this paper we develop a recommendation framework to connect image content with communities in online social media. The problem is important because users are looking for useful...
Munmun De Choudhury, Hari Sundaram, Yu-Ru Lin, Aji...
97
Voted
INTERSPEECH
2010
14 years 7 months ago
Modeling liaison in French by using decision trees
French is known to be a language with major pronunciation irregularities at word endings with consonants. Particularly, the well-known phonetic phenomenon called Liaison is one of...
Josafá de Jesus Aguiar Pontes, Sadaoki Furu...