8190 search results - page 1572 / 1638 » From Timed to Hybrid Systems |
238
click to vote
REPLICATION
2010
15 years 4 months ago
2010
In this chapter, we discuss a widely used fault-tolerant data replication model called virtual synchrony. The model responds to two kinds of needs. First, there is the practical qu...
157
click to vote
SYNTHESE
2010
15 years 4 months ago
2010
We argue that current discussions of criteria for actual causation are ill-posed in several respects. (1) The methodology of current discussions is by induction from intuitions ab...
209
click to vote
CIVR
2010
Springer
15 years 4 months ago
2010
Springer
In many applications, we find large video collections from different genres where the user is often only interested in one or two specific video genres. So, when users are queryin...
183
click to vote
ICCAD
2009
IEEE
15 years 3 months ago
2009
IEEE
In a behavioral synthesis system, a typical approach used to guide the scheduler is to impose hard constraints on the relative timing between operations considering performance, a...
214
click to vote
ICWSM
2009
15 years 3 months ago
2009
Finding out about a topic online can be time consuming. It involves visiting multiple news sites, encyclopedia entries, video repositories and other resources while discarding irr...