1237 search results - page 229 / 248 » Strictness and Totality Analysis |
IJCNN
2006
IEEE
14 years 23 days ago
2006
IEEE
— Research has shown substantial reductions in the oxides of nitrogen (NOx) concentrations by using 10% to 25% exhaust gas recirculation (EGR) in spark ignition (SI) engines [1]....
SCAM
2006
IEEE
14 years 22 days ago
2006
IEEE
Traditional program slicing requires two parameters: a program location and a variable, or perhaps a set of variables, of interest. Stop-list slicing adds a third parameter to the...
SP
2006
IEEE
14 years 22 days ago
2006
IEEE
The MIX technique forms the basis of many popular services that offer anonymity of communication in open and shared networks such as the Internet. In this paper, fundamental limit...
PLDI
2006
ACM
14 years 21 days ago
2006
ACM
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...
PODC
2006
ACM
14 years 21 days ago
2006
ACM
Motivated by applications to sensor, peer-to-peer, and adhoc networks, we study the problem of computing functions of values at the nodes in a network in a totally distributed man...