1658 search results - page 28 / 332 » Implementing Bit-addressing with Specialization |
EMSOFT
2006
Springer
14 years 9 days ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
ng Implementations from Abstraction Functions Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial In...
ACMSE
2009
ACM
14 years 3 months ago
2009
ACM
In this paper we introduce G-expressions, a new syntax based on the S-expression syntax utilized by most Lisp family languages. We have implemented a new homoiconic language, Ging...
ACIVS
2008
Springer
14 years 3 months ago
2008
Springer
A currently popular trend in object detection and pattern recognition is usage of statistical classifiers, namely AdaBoost and its modifications. The speed performance of these cla...
NETGAMES
2004
ACM
14 years 2 months ago
2004
ACM
Large-scale multiplayer online games require considerable investment in hosting infrastructures. However, the difficulty of predicting the success of a new title makes investing ...