Sciweavers

713 search results - page 83 / 143
» Toward a More Reliable Theory of Software Reliability
Sort
View
ATAL
2008
Springer
15 years 1 months ago
The identification of users by relational agents
Virtual agents designed to establish relationships with more than one user must be able to identify and distinguish among those users with high reliability. We descr...
Daniel Schulman, Mayur Sharma, Timothy W. Bickmore
NETWORK
2006
109views more  NETWORK 2006»
14 years 11 months ago
Can DiffServ guarantee IP QoS under failures?
As ISPs and telcos converge toward all-IP network infrastructures, the problem of service reliability becomes more acute. In this article, we investigate to what extent DiffServ c...
Brunilde Sansò, Christian Awad, André...
ICSE
2010
IEEE-ACM
15 years 1 months ago
DETERMIN: inferring likely deterministic specifications of multithreaded programs
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...
Jacob Burnim, Koushik Sen
SQJ
2002
110views more  SQJ 2002»
14 years 11 months ago
A General Model of Unit Testing Efficacy
Much of software engineering is targeted towards identifying and removing existing defects while preventing the injection of new ones. Defect management is therefore one important ...
Houman Younessi, Panlop Zeephongsekul, Winai Bodhi...
DAC
2006
ACM
16 years 24 days ago
Prototyping a fault-tolerant multiprocessor SoC with run-time fault recovery
Modern integrated circuits (ICs) are becoming increasingly complex. The complexity makes it difficult to design, manufacture and integrate these high-performance ICs. The advent o...
Xinping Zhu, Wei Qin