15636 search results - page 427 / 3128 » Modelling by supersaturated designs |
192
click to vote
GLVLSI
2009
IEEE
16 years 2 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
226
click to vote
ICECCS
2009
IEEE
16 years 2 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
201
click to vote
W4A
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we detail the synergies we have observed between the features and limitations of mobile phones, and the usability and accessibility requirements of rural developing ...
190
click to vote
ICCS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. A state-of-the-art integrated environment was created to study interaction among fire, structure and agent models in a fire evacuation from a typical office building. For...
198
click to vote
ISLPED
2003
ACM
16 years 27 days ago
2003
ACM
Power will be the key limiter to system scalability as interconnection networks take up an increasingly significant portion of system power. In this paper, we propose an architec...