5634 search results - page 294 / 1127 » About Abstract Classes |
155
click to vote
CBSE
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
135
Voted
FMSB
2008
15 years 6 months ago
2008
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
127
Voted
USENIX
2003
15 years 6 months ago
2003
Abstract: A virtual-machine monitor (VMM) is a useful technique for adding functionality below existing operating system and application software. One class of VMMs (called Type II...
147
Voted
SIGCOMM
2010
ACM
15 years 5 months ago
2010
ACM
We argue that recent hypervisor-vs-microkernel discussions completely miss the point. Fundamentally, the two classes of systems h in common, and provide similar abstractions. We a...
160
Voted
AAECC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and by replacing matching with unification. Narrowing has been widely used in diff...