12333 search results - page 694 / 2467 » System Level Modelling for Hardware Software Systems |
195
click to vote
WOSP
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
179
click to vote
DATE
2005
IEEE
16 years 27 days ago
2005
IEEE
- The problem of determining lower bounds for the energy cost of a given nanoscale design is addressed via a complexity theory-based approach. This paper provides a theoretical fra...
229
click to vote
QOSA
2010
Springer
15 years 10 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
197
click to vote
ITICSE
2004
ACM
16 years 21 days ago
2004
ACM
User Mode Linux is a virtual machine running on a GNULinux operating system. It is the right choice for teaching operating systems’ administration, as it does not need any dedic...
209
click to vote
ISORC
2007
IEEE
16 years 1 months ago
2007
IEEE
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...