3565 search results - page 510 / 713 » Modeling a system controller for timing analysis |
117
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
— This paper formulates and solves the inverse dynamics problem of deformable robots made entirely of electro-active polymer gel. One of the primary difficulties with deformable...
207
click to vote
COLCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—Geospatial tagging (geotagging) is an emerging and very promising application that can help users find a wide variety of location-specific information, and facilitate the deve...
134
click to vote
DSD
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a component-based framework and its supporting simulation tool for joint software-hardware modelling and performance analysis of multiprocessor embedded systems. This j...
168
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
138
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Optimal resource scheduling in multiagent systems is a computationally challenging task, particularly when the values of resources are not additive. We consider the combinatorial ...