4636 search results - page 809 / 928 » Modelling and Validation with VipTool |
SUTC
2010
IEEE
14 years 29 days ago
2010
IEEE
—A primary functionality of wireless sensor networks (WSNs) is transporting the information acquired by the sensors as per the desired application requirements. The diverse appli...
DSD
2009
IEEE
14 years 29 days ago
2009
IEEE
Todays NoCs are reaching a level where it is getting very hard to ensure 100% of functionality. Consequently, fault tolerance has become an important aspect in todays design techn...
GECCO
2007
Springer
14 years 29 days ago
2007
Springer
A novel evolutionary approach for the bin packing problem (BPP) is presented. A simple steady-state genetic algorithm is developed that produces results comparable to other approa...
FASE
2009
Springer
14 years 29 days ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
HT
2007
ACM
14 years 29 days ago
2007
ACM
Web pages can be modeled as nodes in a social network, and hyperlinks between pages form links (relationships) between the nodes. Links may take the form of comments, for example ...