3199 search results - page 494 / 640 » Variability in Automation System Models |
170
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
- A closed form expression for the propagation delay of a CMOS gate driving a distributed RLC line is introduced that is within 5% of dynamic circuit simulations for a wide range o...
196
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
or Abstraction for the Functional Verification of FPGAs Guy Dupenloup, Thierry Lemeunier, Roland Mayr Altera Corporation 101 Innovation Drive San Jose, CA 95134 1-408-544-8672 {gdu...
167
click to vote
ICEIS
2007
IEEE
16 years 1 months ago
2007
IEEE
Although extensive literature on BPR is available, there is still a lack of concrete guidance on actually changing processes for the better. In this paper we propose and detail out...
227
click to vote
SASO
2007
IEEE
16 years 1 months ago
2007
IEEE
Group communication primitives have broad utility as building blocks for distributed applications. The challenge is to create and maintain the distributed structures that support ...
176
click to vote
CHARME
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...