1399 search results - page 27 / 280 » Verification of Test Suites |
121
click to vote
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
106
click to vote
ISWC
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper presents the e-SUIT, a wearable computer incorporated in a traditional business suit. A key feature of the system is an array of input/output devices integrated into th...
86
Voted
IPOM
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a method for the distribution of video flows through several paths of an IP network. We call the approach multisource focusing on the fact that, from the recei...
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
—Four prototypes of biomimetic sensors have been designed and implemented for flight control of a robotic flying insect. The ocelli use four photodiodes to detect changes in li...
130
click to vote
ICES
2001
Springer
15 years 6 months ago
2001
Springer
The usefulness of an artificial analog neural network is closely bound to its trainability. This paper introduces a new analog neural network architecture using weights determined...