772 search results - page 126 / 155 » From Graph Transformation to Software Engineering and Back |
109
click to vote
FSTTCS
2009
Springer
15 years 8 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
121
click to vote
CGO
2005
IEEE
15 years 7 months ago
2005
IEEE
Data speculative optimization refers to code transformations that allow load and store instructions to be moved across potentially dependent memory operations. Existing research w...
131
click to vote
LCTRTS
2009
Springer
15 years 8 months ago
2009
Springer
The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multicore architectures. The StreamIt graphs describe task, da...
119
click to vote
INFOCOM
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract—Many recent router architectures decouple the routing engine from the forwarding engine, so that packet forwarding can continue even when the routing process is not acti...
ISPW
1991
IEEE
15 years 5 months ago
1991
IEEE
product and the project as well as to define synchronization (or interaction) abstractions; activity definitions are used to model the process activities that transform the produ...