20126 search results - page 195 / 4026 » Timed Transition Systems |
145
click to vote
ICDCSW
2005
IEEE
15 years 9 months ago
2005
IEEE
Recently, context-aware computing with information appliances is the topic of many research efforts. In order to realize context-aware systems, it is necessary to describe rules, ...
156
Voted
DAC
1997
ACM
15 years 8 months ago
1997
ACM
We present a system-level approach for power optimization under a set of user specified costs and timing constraints of hard real-time designs. The approach optimizes all three d...
144
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Implementing real-time video processing systems put high requirements on computation and memory performance. FPGAs have proven to be effective implementation architecture for thes...
170
click to vote
PG
2003
IEEE
15 years 9 months ago
2003
IEEE
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
110
click to vote
IFL
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...