30240 search results - page 631 / 6048 » Robust System Design |
198
click to vote
JDCTA
2010
15 years 2 months ago
2010
Combining with the characteristics of equestrian sports and the psycho diagnosis technology and using the tools such as Visual Basic, Photoshop, Microsoft Access, Psychodiagnosis ...
190
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Feedback of channel state information (CSI) is necessary to achieve high throughput and low outage probability in multiuser multiantenna systems. There are two types of CSI: direc...
173
click to vote
SECURWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...
145
click to vote
LFCS
1997
Springer
15 years 11 months ago
1997
Springer
The paper is devoted to the investigation of behavioural equivalences of concurrent systems modelled by Petri nets. Back-forth bisimulation equivalences known from the literature a...
225
click to vote
FDL
2004
IEEE
15 years 11 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...