2266 search results - page 83 / 454 » Generalizing parametric timing analysis |
156
Voted
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
110
click to vote
WSC
2004
15 years 5 months ago
2004
In the analysis of a manufacturing system, the analyst is often interested in the change in mean cycle time as a function of different throughput (start rate) levels. Since the va...
189
click to vote
ECRTS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
141
click to vote
EWSN
2006
Springer
16 years 3 months ago
2006
Springer
Time synchronization is a crucial component of a large class of sensor network applications, traditionally implemented as a standalone middleware service that provides a virtual gl...
134
click to vote
SIGIR
2004
ACM
15 years 9 months ago
2004
ACM
Recent research has had some success using the length of time a user displays a document in their web browser as implicit feedback for document preference. However, most studies h...