1992 search results - page 101 / 399 » Memory modeling for system synthesis |
142
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
– This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use condit...
158
click to vote
GRAPHICSINTERFACE
2000
15 years 7 months ago
2000
With the advent of image based modeling techniques, it becomes easier to apply textures extracted from reality onto virtual worlds. Many repetitive patterns (structural textures) ...
173
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
181
click to vote
PODS
2005
ACM
16 years 5 months ago
2005
ACM
We consider a scenario where we want to query a large dataset that is stored in external memory and does not fit into main memory. The most constrained resources in such a situati...
131
click to vote
TOPNOC
2008
15 years 5 months ago
2008
State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...