5707 search results - page 758 / 1142 » Symbolic Simulation - Techniques and Applications |
232
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 8 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
194
click to vote
NETWORKING
2007
15 years 8 months ago
2007
Multicasting is one of the most important applications in Wireless Ad hoc Networks and the currently emerging Wireless Mesh Networks. In such networks, interference due to the shar...
193
click to vote
ERSA
2006
15 years 8 months ago
2006
Abstract-- With the constantly increasing gate capacity of FPGAs, a single FPGA chip is able to employ large-scale applications. To connect a large number of computational nodes, N...
181
click to vote
IJCAI
2003
15 years 8 months ago
2003
Multi-level spatial aggregates are important for data mining in a variety of scientific and engineering applications, from analysis of weather data (aggregating temperature and p...
182
click to vote
VMV
2001
15 years 8 months ago
2001
This paper presents an application for semiautomatic repositioning of bone fractures that allows the merging of several fragments. This application has been developed with regard ...