985 search results - page 75 / 197 » A Caching Model of Operating System Kernel Functionality |
139
click to vote
SIGGRAPH
2010
ACM
15 years 9 months ago
2010
ACM
The NVIDIA® OptiX™ ray tracing engine is a programmable system designed for NVIDIA GPUs and other highly parallel architectures. The OptiX engine builds on the key observation ...
147
click to vote
RTCSA
2008
IEEE
15 years 11 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
168
click to vote
TACAS
1998
Springer
15 years 9 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
139
click to vote
SIES
2007
IEEE
15 years 11 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...
208
click to vote
ESEC
1999
Springer
15 years 9 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...