13618 search results - page 372 / 2724 » The Newton Operating System |
214
click to vote
ICONS
2008
IEEE
16 years 2 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
202
click to vote
ISCIS
2004
Springer
16 years 29 days ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...
184
click to vote
ISORC
2002
IEEE
16 years 15 days ago
2002
IEEE
ARTISST (ARTISST is a Real-Time System Simulation Tool) is a modular event-driven simulation framework for real-time systems. It is targeted towards the performance evaluation of ...
157
click to vote
LISA
2007
15 years 10 months ago
2007
We describe a tool that provides a method for running dataless caching clients – a hybrid combination of imaging systems with traditional diskless nodes. Unlike imaging systems,...
181
click to vote
LISA
2008
15 years 10 months ago
2008
Automated system deployment frameworks and configuration management systems have been in wide use for a number of years. However, due to increasing pressures to maintain high avai...