5376 search results - page 364 / 1076 » Scalable Kernel Systems |
176
click to vote
DATE
2006
IEEE
16 years 24 days ago
2006
IEEE
Enhancing productivity for designing complex embedded systems requires system level design methodology and language support for capturing complex design in high level models. For ...
192
click to vote
SBCCI
2004
ACM
16 years 5 days ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
166
click to vote
USS
2008
15 years 9 months ago
2008
Making vital disk data recoverable even in the event of OS compromises has become a necessity, in view of the increased prevalence of OS vulnerability exploits over the recent yea...
177
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
The build system forms an indispensable part of any software project. It needs to evolve in parallel with the source code in order to build, test and install the software. Unfortu...
183
click to vote
SIES
2007
IEEE
16 years 1 months ago
2007
IEEE
— The paper presents a software architecture for Distributed Timed Multitasking - a new model of computation that can be used to engineer open, and the same time, predictable emb...