8398 search results - page 471 / 1680 » Optimal Software Testing |
196
click to vote
SIGCOMM
1994
ACM
15 years 11 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...
163
Voted
IFIP
2000
Springer
15 years 11 months ago
2000
Springer
Scientific programs rely heavily on software libraries. This paper describes the limitations of this reliance and shows how it degrades software quality. We offer a solution that u...
201
click to vote
ASPDAC
2012
ACM
14 years 3 months ago
2012
ACM
—Host-compiled simulation has been widely adopted as a practical approach for fast and high-level evaluation of complex software-intensive systems at early stages of the design p...
221
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Software architectures have played a significant role in determining the success of software systems. In spite of impact of the architectures to the software development and, as a...
185
click to vote
DAC
1998
ACM
16 years 8 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...