7628 search results - page 1258 / 1526 » Spatial P systems |
174
click to vote
BPM
2005
Springer
16 years 3 days ago
2005
Springer
Most information systems log events (e.g., transaction logs, audit trails) to audit and monitor the processes they support. At the same time, many of these processes have been expl...
161
click to vote
HIPC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The proliferation of multiprocessor servers and multithreaded applications has increased the demand for high-performance synchronization. Traditional scheduler-based lock...
180
click to vote
HIPEAC
2005
Springer
16 years 2 days ago
2005
Springer
This article aims at making iterative optimization practical and usable by speeding up the evaluation of a large range of optimizations. Instead of using a full run to evaluate a s...
162
click to vote
ISW
2005
Springer
16 years 1 days ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
169
click to vote
LCTRTS
2005
Springer
16 years 1 days ago
2005
Springer
Efficient implementation of DSP applications is critical for many embedded systems. Optimising C compilers for embedded processors largely focus on code generation and instructio...