3828 search results - page 15 / 766 » Proof-Based System Engineering Using a Virtual System Model |
ECBS
2011
IEEE
12 years 7 months ago
2011
IEEE
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
VEE
2012
ACM
12 years 3 months ago
2012
ACM
With the growing adoption of virtualized datacenters and cloud hosting services, the allocation and sizing of resources such as CPU, memory, and I/O bandwidth for virtual machines...
ISSTA
2010
ACM
13 years 11 months ago
2010
ACM
Virtual machines offer the ability to partition the resources of a physical system and to create isolated execution environments. The development of virtual machines is a very ch...
AI
2002
Springer
13 years 7 months ago
2002
Springer
Recently, two advances in agent-oriented software engineering have had a significant impact: the identification of interaction and coordination as the central focus of multi-agent ...
CODES
1999
IEEE
14 years 14 hour ago
1999
IEEE
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...