655 search results - page 103 / 131 » Coinduction in Concurrent Timed Systems |
COORDINATION
2009
Springer
16 years 11 days ago
2009
Springer
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
VLSID
2008
IEEE
16 years 6 days ago
2008
IEEE
With increasing adoption of Electronic System Level (ESL) tools, effective design and validation time has reduced to a considerable extent. Cosimulation is found to be a principal...
IPPS
2009
IEEE
15 years 6 months ago
2009
IEEE
Multi-core processors have changed the conventional hardware structure and require a rethinking of system scheduling and resource management to utilize them efficiently. However, ...
103
click to vote
RECONFIG
2008
IEEE
15 years 6 months ago
2008
IEEE
1 We present a fast, efficient, and parameterized modular multiplier and a secure exponentiation circuit especially intended for FPGAs on the low end of the price range. The desig...
ICPADS
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— Emergent wide-area distributed systems like computational grids present opportunities for large scientific applications. On these systems, communication mechanisms hav...