1915 search results - page 144 / 383 » Design and construction of organic computing systems |
99
Voted
EUROSYS
2010
ACM
15 years 5 months ago
2010
ACM
The availability of virtualization features in modern CPUs has reinforced the trend of consolidating multiple guest operating systems on top of a hypervisor in order to improve pl...
117
click to vote
LCTRTS
2010
Springer
15 years 7 months ago
2010
Springer
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
99
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
82
Voted
CGI
2004
IEEE
15 years 4 months ago
2004
IEEE
We present ByzantineCAD, a feature-based parametric CAD system for designing pierced Byzantine jewellery. ByzantineCAD is an automated system where jewellery is designed according...
EUC
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this article we elaborate on portability in componentbased operating systems, focusing in the hardware mediator construct proposed by Frhlich in the Application-Orient...