7892 search results - page 369 / 1579 » Programming with Models |
151
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
109
click to vote
ESORICS
2005
Springer
15 years 8 months ago
2005
Springer
We consider the enforcement powers of program monitors, which intercept security-sensitive actions of a target application at run time and take remedial steps whenever the target a...
121
Voted
JELIA
2004
Springer
15 years 8 months ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
126
Voted
WCRE
2003
IEEE
15 years 8 months ago
2003
IEEE
Our research goal is to retarget image processing programs written in sequential languages (e.g., C) to architectures with data-parallel processing capabilities. Image processing ...
110
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— The task in control allocation is to determine how to generate a specified generalized force from a redundant set of control effectors where the associated actuator control in...