9842 search results - page 412 / 1969 » Compositional timing analysis |
163
click to vote
SEW
2003
IEEE
15 years 11 months ago
2003
IEEE
Component-based software engineering (CBSE) and the use of (de-facto) standard component models have gained popularity in recent years, particularly in the development of desktop ...
185
Voted
ISCC
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract: The Differentiated Service Architecture (DiffServ) is currently a popular research topic as a lowcost method to provide Quality of Service to the different applications i...
184
click to vote
ICSE
2001
IEEE-ACM
15 years 10 months ago
2001
IEEE-ACM
Object-oriented concepts are crucial in software design because they address fundamental issues of adaptation and evolution. With the proliferation of object-oriented notations an...
173
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
168
click to vote
RTSS
1998
IEEE
15 years 10 months ago
1998
IEEE
We consider the problem of implementing shared objects in uniprocessor and multiprocessor real-time systems in which tasks are executed using a scheduling quantum. In most quantum...