932 search results - page 164 / 187 » Verifying Progress in Timed Systems |
SCESM
2006
ACM
14 years 1 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
TSP
2008
13 years 7 months ago
2008
This paper studies the blind block synchronization problem in block transmission systems using linear redundant precoders (LRP). Two commonly used LRP systems, namely, zero padding...
USS
2010
13 years 5 months ago
2010
On November 3, 2009, voters in Takoma Park, Maryland, cast ballots for mayor and city council members using the ScantegrityII voting system--the first time any end-to-end (e2e) vo...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
In recent years, large databases of natural images have
become increasingly popular in the evaluation of face and
object recognition algorithms. However, Pinto et al. previously
...
HICSS
2010
IEEE
14 years 2 months ago
2010
IEEE
in Progress – Extended Abstract Word count: 3124 Effectively managing IT service centers such as call centers, computerized diagnostic imaging facilities, data centers, e-commerc...