3579 search results - page 295 / 716 » Transformations of software models into performance models |
168
click to vote
SC
2003
ACM
15 years 12 months ago
2003
ACM
Buffered CoScheduled MPI (BCS-MPI) introduces a new approach to design the communication layer for largescale parallel machines. The emphasis of BCS-MPI is on the global coordinat...
205
click to vote
SIES
2007
IEEE
16 years 26 days ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
170
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
The agent-oriented modeling process is divided in a typical sequence of activities, i.e., requirements specification, analysis, and design. The requirements are specified by des...
167
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Simulation of transaction level models (TLMs) is an established embedded systems design technique. Its use cases include virtual prototyping for early software development, platfo...
175
click to vote
CODES
2009
IEEE
16 years 1 months ago
2009
IEEE
Multiprocessor System-on-Chips (MPSoCs) are nowadays widely used, but the problem of their software development persists to be one of the biggest challenges for developers. Virtua...