12052 search results - page 190 / 2411 » computer 2010 |
DSS
2006
14 years 10 months ago
2006
Workflow research is commonly concerned with optimization, modeling, and dependency. In this research, we however address a more fundamental issue. By modeling humans and machines...
ENTCS
2006
14 years 10 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
PROCEDIA
2010
14 years 9 months ago
2010
We discuss the scaling behavior of a state-of-the-art Configuration Interaction code for nuclear physics on modern multicore computer architectures. In the CI approach, the quant...
102
click to vote
IMCSIT
2010
14 years 5 months ago
2010
A key element for outsourcing critical parts of a business process in Service Oriented Architectures are Service Level Agreements (SLAs). They build the key element to move from so...
SIAMNUM
2010
14 years 5 months ago
2010
We discuss and compare two greedy algorithms, that compute discrete versions of Fekete-like points for multivariate compact sets by basic tools of numerical linear algebra. The fi...