935 search results - page 118 / 187 » Stable models and difference logic |
DFT
2007
IEEE
14 years 2 months ago
2007
IEEE
Decreasing feature sizes have led to an increased vulnerability of random logic to soft errors. A particle strike may cause a glitch or single event transient (SET) at the output ...
ERLANG
2006
ACM
14 years 1 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
DOLAP
2000
ACM
14 years 1 days ago
2000
ACM
Generating tool specific schemata and configuration information for OLAP database tools from conceptual graphical models is an important prerequisite for a comprehensive tool supp...
CHI
2006
ACM
14 years 8 months ago
2006
ACM
Researchers are using emerging technologies to develop novel play environments, while established computer and console game markets continue to grow rapidly. Even so, evaluating t...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— Internet connectivity at the AS level, defined in terms of pairwise logical peering relationships, is constantly evolving. This evolution is largely a response to economic, po...