5171 search results - page 402 / 1035 » Deterministic Parallel Processing |
135
click to vote
EDOC
2008
IEEE
15 years 5 months ago
2008
IEEE
We present an algorithm for the runtime monitoring of business process properties with data parameterization. The properties are expressed in LTL-FO+ , an extension to traditional...
152
click to vote
CCGRID
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents an ontology-based conceptual mapping framework that translates a formal and visually rich business process modeling (BPM) language, Fundamental Business Proces...
126
click to vote
CATA
2004
15 years 5 months ago
2004
This paper describes the instruction execution mechanism of Responsive Multithreaded (RMT) Processor for distributed real-time processing. The execution order of each thread is co...
152
click to vote
IGARSS
2009
15 years 1 months ago
2009
The main purpose of this paper is to describe available (HPC)based implementations of remotely sensed hyperspectral image processing algorithms on multi-computer clusters, heterog...
156
click to vote
NPIV
1999
ACM
15 years 8 months ago
1999
ACM
We built a tool to visualize and explore program execution traces. Our goal was to help programmers without any prior knowledge of a program, quickly get enough knowledge about it...