758 search results - page 105 / 152 » Pattern-Constrained Test Case Generation |
OOPSLA
2010
Springer
13 years 9 months ago
2010
Springer
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,...
SENSYS
2010
ACM
13 years 9 months ago
2010
ACM
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...
ICMCS
2009
IEEE
13 years 8 months ago
2009
IEEE
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...
INTERSPEECH
2010
13 years 5 months ago
2010
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...
TSP
2010
13 years 5 months ago
2010
A parametric generalized likelihood ratio test (GLRT) for multichannel signal detection in spatially and temporally colored disturbance was recently introduced by modeling the dist...