6171 search results - page 592 / 1235 » The FrameNet Data and Software |
213
click to vote
ISSRE
2005
IEEE
16 years 19 days ago
2005
IEEE
In this paper we present a method for automatically testing interactive multimodal systems1 . The proposed approach was originally dedicated to synchronous programming which is ma...
143
click to vote
ISSRE
2005
IEEE
16 years 19 days ago
2005
IEEE
Although N-version programming has been employed in some mission-critical applications, the reliability and fault correlation issues remain a debatable topic in the research commu...
163
click to vote
MMM
2005
Springer
16 years 19 days ago
2005
Springer
This paper describes solutions for parallel video processing based on LAN-connected PC-like workstations. We outline application scenarios for the processing of video with broadca...
200
click to vote
SC
2005
ACM
16 years 18 days ago
2005
ACM
In developing High-Performance Computing (HPC) software, time to solution is an important metric. This metric is comprised of two main components: the human effort required develo...
193
click to vote
TLDI
2005
ACM
16 years 18 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...