12774 search results - page 195 / 2555 » A Framework for Proof Systems |
135
click to vote
RTSS
1996
IEEE
15 years 8 months ago
1996
IEEE
We present an integrated framework for developing realtime systems in which lock-free algorithms are employed to implement shared objects. There are two key objectives of our work...
132
click to vote
ISTA
2007
15 years 6 months ago
2007
: Quality is a multidimensional concept that has different meanings in different contexts and perspectives. In the domain of Information system, quality is often understood as the ...
130
click to vote
APCCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
— Frequency separation among the subcarriers is of great importance for multicarrier systems. At the transmitter side better frequency separation leads to a smaller out-ofband sp...
154
click to vote
EUROMICRO
2004
IEEE
15 years 8 months ago
2004
IEEE
It is now widely recognized that the so-called nonfunctional or extra-functional properties of a software system are at least as important as its somewhat more classical functiona...
144
click to vote
PDSE
1998
15 years 6 months ago
1998
With the advancement in network speed and computing power; distributed multimedia applications are becoming populal: However;generalprinciples of system testing cannot be directly...