Sciweavers

13489 search results - page 219 / 2698
» Self-migration of operating systems
Sort
View
ACSD
2009
IEEE
117views Hardware» more  ACSD 2009»
16 years 2 months ago
Petrifying Operating Guidelines for Services
Abstract. Operating guidelines characterize correct interaction (e.g. deadlock freedom) with a service. They can be stored in a service registry. So far, they have been represented...
Niels Lohmann, Karsten Wolf
SMC
2007
IEEE
137views Control Systems» more  SMC 2007»
16 years 1 months ago
Extended grey numbers and their operations
— Combining both intervals and discrete sets of numbers, this paper presents a definition for an extended grey number model representing both continuous and discrete grey number...
Yingjie Yang
CSREAPSC
2006
15 years 8 months ago
A Real Time Scheduling Method for Embedded Multimedia Applications
Byoungchul Ahn, Ji-Hoon Kim, Dong Ha Lee, Sang Hoo...
JFLP
2002
84views more  JFLP 2002»
15 years 6 months ago
Subject Reduction of Logic Programs as Proof-Theoretic Property
We consider prescriptive type systems for logic programs (as in G
Pierre Deransart, Jan-Georg Smaus
OSDI
2004
ACM
16 years 7 months ago
Understanding and Dealing with Operator Mistakes in Internet Services
Operator mistakes are a significant source of unavailability in modern Internet services. In this paper, we first characterize these mistakes by performing an extensive set of exp...
Fábio Oliveira, Kiran Nagaraja, Ricardo Bia...