1941 search results - page 118 / 389 » The architecture design of a cross-domain context management... |
101
click to vote
SPIN
1999
Springer
15 years 5 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
SIGSOFT
2001
ACM
16 years 2 months ago
2001
ACM
Layered architecture in operating system code is often compromised by execution path-specific customizations such as prefetching, page replacement and scheduling strategies. Paths...
113
click to vote
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal conseque...
203
click to vote
FPGA
2011
ACM
14 years 5 months ago
2011
ACM
FPGAs have been used in many applications to achieve orders-of-magnitude improvement in absolute performance and energy efficiency relative to conventional microprocessors. Despit...
165
click to vote
ISCOPE
1999
Springer
15 years 5 months ago
1999
Springer
The concept of design patterns has recently emerged as a new paradigm in the context of object-oriented design methodology. Similar ideas are being explored in other areas of compu...