Sciweavers

3302 search results - page 267 / 661
» Software Is More Than Code
Sort
View
C5
2006
IEEE
16 years 22 days ago
Idioms for Composing Games with EToys
1 Creating one’s own games has been the main motivation for many people to learn programming. But the barrier to learn a general purpose programming language is very high, espec...
Markus Gälli, Oscar Nierstrasz, Serge Stinckw...
ICMCS
2006
IEEE
112views Multimedia» more  ICMCS 2006»
16 years 21 days ago
Multipoint Measuring System for Video and Sound - 100-camera and microphone system
We developed a novel multipoint measurement system capable of acquiring video and sound at more than 100 points in a "synchronized" manner. In this paper, we first descr...
Toshiaki Fujii, Kensaku Mori, Kazuya Takeda, Kenji...
PVM
1998
Springer
15 years 11 months ago
A Parallel I/O Test Suite
Abstract. Amongst its many features, MPI-2 offers the first standard highperformance I/O interface. While this enables a parallel and I/O intensive code to run on multiple platform...
D. Lancaster, Cliff Addison, Tim Oliver
PLDI
1996
ACM
15 years 10 months ago
Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...
Mark W. Bailey, Jack W. Davidson
EUROCAST
2007
Springer
161views Hardware» more  EUROCAST 2007»
15 years 10 months ago
Using Verification Technology to Specify and Detect Malware
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
Andreas Holzer, Johannes Kinder, Helmut Veith