Sciweavers

840 search results - page 53 / 168
» Programming the future
Sort
View
ECRTS
2002
IEEE
14 years 1 months ago
POSIX-Compatible Application-Defined Scheduling in MaRTE OS
Abstract: This paper presents an application program interface (API) that enables applications to use applicationdefined scheduling algorithms in a way compatible with the scheduli...
Mario Aldea Rivas, Michael González Harbour
EUSFLAT
2007
134views Fuzzy Logic» more  EUSFLAT 2007»
13 years 10 months ago
Selection of Optimal Set of Diagnostic Tests with Use of Evolutionary Approach in Intelligent Systems
This paper concerns problem of selection of optimal subset of irredundant unconditional diagnostic tests by means of evolutionary approach. The method of correction of features’...
A. E. Yankovskaya, Y. R. Tsoy
POPL
2008
ACM
14 years 9 months ago
A theory of contracts for web services
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
Giuseppe Castagna, Nils Gesbert, Luca Padovani
IEEEINTERACT
2003
IEEE
14 years 2 months ago
Compiler Support for Dynamic Speculative Pre-Execution
Speculative pre-execution is a promising prefetching technique which uses an auxiliary assisting thread in addition to the main program flow. A prefetching thread (p-thread), whic...
Won Woo Ro, Jean-Luc Gaudiot
DYNAMO
2000
87views more  DYNAMO 2000»
13 years 10 months ago
Overcoming the Challenges to Feedback-Directed Optimization
Feedback-directed optimization (FDO) is a general term used to describe any technique that alters a program's execution based on tendencies observed in its present or past ru...
Michael D. Smith