1179 search results - page 161 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
120
click to vote
GAMEON
2003
15 years 5 months ago
2003
In this paper, we discuss another approach based on mimicry for interactive comedy, a relatively new genre in interactive drama. An interactive comedy system is proposed in which ...
162
click to vote
ISLPED
2007
ACM
15 years 6 months ago
2007
ACM
We analyze the effect of thermal constraints on the performance and power of multi-core processors. We propose system-level power and thermal models, and derive expressions for (a...
155
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Time-course microarray experiments can produce useful data which can help in understanding the underlying dynamics of the system. Clustering is an important stage in m...
139
click to vote
COMCOM
2006
15 years 4 months ago
2006
This paper discusses issues of personalization of presence services in the context of Internet Telephony. Such services take into consideration the willingness and ability of a use...
158
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...