908 search results - page 14 / 182 » Temporal Analysis of Time Bounded Digital Systems |
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
The act of computer programming is generally considered to be temporally removed from a computer program’s execution. In this paper we discuss the idea of programming as an acti...
RITA
2000
13 years 7 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
DRM
2004
Springer
14 years 1 months ago
2004
Springer
Once electronic content has been released it is very difficult to prevent copies of the content from being widely distributed. Such distribution can cause economic harm to the con...
IV
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper introduces Temporal Social Surfaces. Temporal Social Surfaces show the dynamic evolution of social relationships in groups. Changes in measures of social network analys...
WCET
2010
13 years 5 months ago
2010
To meet performance requirements as well as constraints on cost and power consumption, future embedded systems will be designed with multi-core processors. However, the question o...