2846 search results - page 512 / 570 » A Software Performance Engineering Tool based on the UML-SPT |
194
click to vote
FM
2008
Springer
15 years 7 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
203
click to vote
GSEM
2004
Springer
15 years 11 months ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
161
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
Coarse Grain Reconfigurable Architectures (CGRAs) promise high performance at high power efficiency. They fulfil this promise by keeping the hardware extremely simple, and movi...
183
click to vote
LCTRTS
2009
Springer
16 years 1 months ago
2009
Springer
Dynamic binary translation (DBT) can provide security, virtualization, resource management and other desirable services to embedded systems. Although DBT has many benefits, its r...
188
click to vote
CODES
2006
IEEE
16 years 10 days ago
2006
IEEE
The memory subsystem of a complex multiprocessor systemson-chip (MPSoC) is an important contributor to the chip power consumption. The selection of memory architecture, as well as...