3820 search results - page 253 / 764 » Bounded Model Debugging |
134
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
125
Voted
HIPC
2005
Springer
15 years 9 months ago
2005
Springer
We examine the problem of scheduling concurrent independent flows on multiple-disk I/O storage systems. Two models are considered: in the shared buffer model the memory buffer is ...
112
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
This work investigates the use of missing data techniques for noise robust speaker identification. Most previous work in this field relies on the diagonal covariance assumption ...
126
Voted
TCS
2008
15 years 3 months ago
2008
Formalized study of self-assembly has led to the definition of the tile assembly model, Previously I presented ways to compute arithmetic functions, such as addition and multiplic...
135
Voted
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...