2826 search results - page 128 / 566 » A resource-based analysis of IT sourcing |
ACSD
2006
IEEE
15 years 7 months ago
2006
IEEE
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...
109
click to vote
FDL
2006
IEEE
15 years 7 months ago
2006
IEEE
We present an introspection/reflection framework for SystemC which extracts design-relevant structure information and transaction data under any LRM-2.1 compliant simulation kern...
115
Voted
SAS
1999
Springer
15 years 6 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
CLUSTER
2004
IEEE
15 years 5 months ago
2004
IEEE
The complexity and cost of isolating the root cause of system problems in large parallel computers generally scales with the size of the system. Syslog messages provide a primary ...
115
click to vote
EDBT
2010
ACM
15 years 5 months ago
2010
ACM
A profound analysis of all relevant business data in the company is necessary for optimizing business processes effectively. Current analyses typically exclusively run on business...