9006 search results - page 1533 / 1802 » Modeling Software |
125
click to vote
IPPS
1994
IEEE
15 years 8 months ago
1994
IEEE
Present-day parallel computers often face the problems of large software Overheadsfor process switching and interprocessor communication. These problems are addressed by the Multi...
177
click to vote
RTSS
1992
IEEE
15 years 8 months ago
1992
IEEE
The problem of scheduling a set of sporadic tasks that share a set of serially reusable, single unit software resources on a single processor is considered. The correctness condit...
163
click to vote
ICCAD
2007
IEEE
15 years 8 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
127
click to vote
ANSS
2004
IEEE
15 years 8 months ago
2004
IEEE
To enable optimizations in memory access behavior of high performance applications, cache monitoring is a crucial process. Simulation of cache hardware is needed in order to allow...
129
click to vote
ARGMAS
2004
Springer
15 years 8 months ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...