30240 search results - page 886 / 6048 » Robust System Design |
213
click to vote
WSC
2004
15 years 9 months ago
2004
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...
203
click to vote
AOSD
2007
ACM
15 years 11 months ago
2007
ACM
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...
189
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
This paper describes a novel hand-based verification system based on palm-finger segmentation and fusion. The proposed system operates on 2D hand images acquired by placing the ha...
226
click to vote
FORMATS
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
216
click to vote
IPPS
2008
IEEE
16 years 2 months ago
2008
IEEE
Communications systems, encompassing VoIP, IM, and other personal media, present different challenges for P2P environments than other P2P applications. In particular, reliable com...