7961 search results - page 154 / 1593 » Input-Output Model Programs |
108
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— We describe how a graph grammar program for robotic self-assembly, together with measurements of kinetic rate data yield a Markov Process model of the dynamics of progr...
132
click to vote
HICSS
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper describes ThreadMon, a monitoring tool for improving the performance of multithreaded programs, and how we have used it to examine various aspects of the many-to-many (...
138
click to vote
CASCON
2001
15 years 4 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
134
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
130
click to vote
ICCAD
2001
IEEE
16 years 3 days ago
2001
IEEE
As system integration evolves and tighter design constraints must be met, it becomes necessary to account for the non-ideal behavior of all the elements in a system. Certain devic...