7557 search results - page 611 / 1512 » Modeling Timed Concurrent Systems |
185
click to vote
WSC
1998
15 years 8 months ago
1998
Carousel storage systems are often used to increase storage density, throughput and efficiency while reducing inventory and man-hours. The Hewlett-Packard company has developed a ...
203
click to vote
MEMOCODE
2007
IEEE
16 years 1 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
233
click to vote
ICPPW
2005
IEEE
16 years 21 days ago
2005
IEEE
High-performance computing is essential for solving large problems and for reducing the time to solution for a single problem. Current top high-performance computing systems conta...
190
click to vote
WSC
1998
15 years 8 months ago
1998
Simulation at the machine-control level plays an important role in designing machine controls and operational specifications. Recently, there has been a considerable amount of wor...
161
click to vote
ACISP
2009
Springer
16 years 1 months ago
2009
Springer
Denial of service resilience is an important practical consideration for key agreement protocols in any hostile environment such as the Internet. There are well-known models that ...