1362 search results - page 215 / 273 » Model Checking Large Network Protocol Implementations |
126
click to vote
ICCAD
2010
IEEE
15 years 27 days ago
2010
IEEE
Clock networks contribute a significant fraction of dynamic power and can be a limiting factor in high-performance CPUs and SoCs. The need for multi-objective optimization over a l...
128
click to vote
ENTCS
2008
15 years 3 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
128
click to vote
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
— Neural networks are used in a wide number of fields including signal and image processing, modeling and control and pattern recognition. Some of the most common type of neural ...
121
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Compared to other omics techniques, quantitative metabolomics is still at its infancy. Complex sample preparation and analytical procedures render exact quantification...
142
click to vote
PADS
2003
ACM
15 years 8 months ago
2003
ACM
Wireless networks’ models differ from wired ones at least in the innovative dynamic effects of host-mobility and open-broadcast nature of the wireless medium. Topology changes d...