15792 search results - page 2613 / 3159 » Computational Abstraction Steps |
204
click to vote
ICSM
2005
IEEE
16 years 24 days ago
2005
IEEE
Clustering layouts of software systems combine two important aspects: they reveal groups of related artifacts of the software system, and they produce a visualization of the resul...
187
click to vote
RSP
2005
IEEE
16 years 23 days ago
2005
IEEE
Networks-on-chip (NoCs) are an emergent communication infrastructure, which can be designed to deal with growing system complexity and technology evolution. The efficient use of N...
204
click to vote
ICESS
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. We consider broadcast protocols in wireless networks that have limited energy and computation resources. The well-known algorithm, DBIP (Directional Broadcast Incremental...
191
click to vote
VMCAI
2005
Springer
16 years 20 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
188
click to vote
GIAE
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...