7225 search results - page 244 / 1445 » Software is data too |
172
click to vote
RSP
2005
IEEE
15 years 11 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
166
click to vote
MSR
2005
ACM
15 years 11 months ago
2005
ACM
We propose a framework for describing, comparing and understanding tools for the mining of software repositories. The fundamental premise of this framework is that mining should b...
163
click to vote
EUROMICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
The paper presents an approach to process scheduling for embedded systems. Target architectures consist of several processors and ASICs connected by shared busses. We have develop...
159
click to vote
SIGCOMM
1994
ACM
15 years 10 months ago
1994
ACM
This paper describes our experiences, from a software perspective, with the OSIRIS network adaptor. It first identifies the problems we encountered while programming OSIRIS and op...
173
click to vote
ESEC
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...