2108 search results - page 405 / 422 » An Operational Semantics for Stateflow |
105
click to vote
ICDCS
2006
IEEE
15 years 7 months ago
2006
IEEE
Byzantine quorum systems have been proposed that work properly even when up to f replicas fail arbitrarily. However, these systems are not so successful when confronted with Byzan...
121
click to vote
IEEEPACT
2006
IEEE
15 years 7 months ago
2006
IEEE
Multiprocessor operating systems (OSs) pose several unique and conflicting challenges to System Virtual Machines (System VMs). For example, most existing system VMs resort to gan...
109
Voted
SI3D
2006
ACM
15 years 7 months ago
2006
ACM
Shade Trees Morgan McGuire George Stathis Hanspeter Pfister Shriram Krishnamurthi Brown University Harvard Extension School MERL Brown University As GPU-powered special effects be...
138
Voted
ICCV
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a new algorithm for the automatic recognition of object classes from images (categorization). Compact and yet discriminative appearance-based object class mode...
125
Voted
ICDCS
2005
IEEE
15 years 7 months ago
2005
IEEE
The lack of a flexible consistency management solution hinders P2P implementation of applications involving updates, such as read-write file sharing, directory services, online ...