1433 search results - page 237 / 287 » The Design of Large Real-Time Systems: The Time-Triggered Ap... |
OSDI
2006
ACM
15 years 11 months ago
2006
ACM
There are currently two approaches to providing Byzantine-fault-tolerant state machine replication: a replica-based approach, e.g., BFT, that uses communication between replicas t...
103
click to vote
TOOLS
1999
IEEE
15 years 3 months ago
1999
IEEE
This paper reports on the utilisation of object technology in a university-level course on software development, specifically designed for distance learning, and now enrolling ove...
CADE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
93
Voted
ACL
2006
15 years 16 days ago
2006
The LOGON MT demonstrator assembles independently valuable general-purpose NLP components into a machine translation pipeline that capitalizes on output quality. The demonstrator ...
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
The efficiency and robustness of a vision system is often largely determined by the quality of the image features available to it. In data mining, one typically works with immense...