2838 search results - page 250 / 568 » Verifying Controlled Components |
113
click to vote
BPM
2007
Springer
15 years 4 months ago
2007
Springer
The collaborative business process can be unreliable when business partners collaborate in a peer-to-peer fashion without central control. Therefore, an important issue that needs ...
92
Voted
ASPDAC
2006
ACM
15 years 4 months ago
2006
ACM
- This paper presents a new test and characterization scheme for 10+ GHz low jitter wide band PLL in 90 nm partially depleted (PD) Silicon-On-Insulator (SOI) CMOS technology. We me...
104
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
90
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Being able to ensure that a multiagent system will not generate undesirable behaviors is essential within the context of critical applications (embedded systems or real-time system...
104
Voted
ASPDAC
2001
ACM
15 years 4 months ago
2001
ACM
Ethernet communication devices, such as adapter, hub, bridge and switch, all follow IEEE 802.3 standard protocol. We have designed and implemented an integrated 10/100 Mbps Etherne...