503 search results - page 28 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
AVI
2008
15 years 2 days ago
2008
This paper presents an interactive visualisation system that assists users of semi-automatic speech transcription systems to assess alternative recognition results in real time an...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
162
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
CLUSTER
2001
IEEE
15 years 1 months ago
2001
IEEE
This paper describes GulfStream, a scalable distributed software system designed to address the problem of managing the network topology in a multi-domain server farm. In particul...
121
click to vote
MSR
2005
ACM
15 years 3 months ago
2005
ACM
Most computer science educators hold strong opinions about the “right” approach to teaching introductory level programming. Unfortunately, we have comparatively little hard ev...