Sciweavers

2604 search results - page 263 / 521
» Process Change Support Features
Sort
View
ECRTS
2005
IEEE
16 years 9 days ago
Non-Preemptive Interrupt Scheduling for Safe Reuse of Legacy Drivers in Real-Time Systems
Low-level support of peripheral devices is one of the most demanding activities in a real-time operating system. In fact, the rapid development of new interface boards causes a tr...
Tullio Facchinetti, Giorgio C. Buttazzo, Mauro Mar...
ISM
2005
IEEE
83views Multimedia» more  ISM 2005»
16 years 8 days ago
Efficient and Fair Multi-Level Packet Scheduling for Differentiated Services
As the demands on quality of service (QoS) of real-time applications over the Internet increase, many research efforts have developed various packet scheduling schemes to support ...
Chin-Chi Wu, Hsien-Ming Wu, Woei Lin
FTDCS
1999
IEEE
15 years 11 months ago
PODC: Paradigm-Oriented Distributed Computing
We describe an environment for distributed computing that uses the concept of well-known paradigms. The main advantage of paradigmoriented distributed computing (PODC) is that the...
Hairong Kuang, Lubomir Bic, Michael B. Dillencourt...
WWW
2010
ACM
15 years 10 months ago
Time is of the essence: improving recency ranking using Twitter data
Realtime web search refers to the retrieval of very fresh content which is in high demand. An effective portal web search engine must support a variety of search needs, including ...
Anlei Dong, Ruiqiang Zhang, Pranam Kolari, Jing Ba...
ESOP
2006
Springer
15 years 10 months ago
A Verification Methodology for Model Fields
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
K. Rustan M. Leino, Peter Müller