Sciweavers

13489 search results - page 219 / 2698
» Self-migration of operating systems
Sort
View
ACSD
2009
IEEE
117views Hardware» more  ACSD 2009»
16 years 1 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 26 days 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 6 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...