4520 search results - page 143 / 904 » Algebraic Techniques for Timed Systems |
227
click to vote
GRAPHICSINTERFACE
2000
15 years 8 months ago
2000
This paper describes a texture generation technique that combines orientation and luminance to support the simultaneous display of multiple overlapping scalar fields. Our orientat...
207
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
Current Information Retrieval systems use inverted index structures for efficient query processing. Due to the extremely large size of many data sets, these index structures are u...
214
click to vote
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
Object-oriented techniques have been along the last decade one of the most useful programming paradigms. However, for distributed embedded systems the semantic gap between the obj...
193
click to vote
IPPS
2005
IEEE
16 years 17 days ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
269
Voted
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents a new fault-tolerant scheduling algorithm for multiprocessor hard-real-time systems. The so called partitioning method is used to schedule a set of tasks in a ...