15840 search results - page 2678 / 3168 » The Control of Synchronous Systems |
182
click to vote
ISESE
2006
IEEE
16 years 1 months ago
2006
IEEE
Spreadsheets are one of the most commonly used types of programs in the world, and it is important that they be sufficiently dependable. To help end users who create spreadsheets ...
211
click to vote
P2P
2006
IEEE
16 years 1 months ago
2006
IEEE
To achieve higher efficiency over their unstructured counterparts, structured peer-to-peer systems hold each node responsible for serving a specified set of keys and correctly r...
185
click to vote
QEST
2006
IEEE
16 years 1 months ago
2006
IEEE
Size-based policies have been known to successfully balance load and improve performance in homogeneous cluster environments where a dispatcher assigns a job to a server strictly ...
216
click to vote
RSP
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
207
click to vote
RTSS
2006
IEEE
16 years 1 months ago
2006
IEEE
The elastic task model proposed by Buttazzo, et. al. [9] is a powerful model for adapting real-time systems in the presence of uncertainty. This paper generalizes the existing ela...