1940 search results - page 251 / 388 » Dependable Software: An Oxymoron |
156
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
128
click to vote
ARCS
2010
Springer
15 years 11 months ago
2010
Springer
Register renaming is a widely used technique to remove false data dependencies in contemporary superscalar microprocessors. The register rename logic includes a mapping table that ...
155
click to vote
OHS
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents two empirical usability studies based on techniques from Human-Computer Interaction HCI and software engineering, which were used to elicitate requirements fo...
161
click to vote
COMPGEOM
1996
ACM
15 years 10 months ago
1996
ACM
Fast C implementations of four geometric predicates, the 2D and 3D orientation and incircle tests, are publicly available. Their inputs are ordinary single or double precision flo...
202
click to vote
ANCS
2007
ACM
15 years 10 months ago
2007
ACM
Today's large multi-core Internet servers support thousands of concurrent connections or flows. The computation ability of future server platforms will depend on increasing n...