3820 search results - page 253 / 764 » Bounded Model Debugging |
164
click to vote
IPPS
2006
IEEE
16 years 4 days 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...
158
Voted
HIPC
2005
Springer
15 years 11 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 ...
148
click to vote
ICASSP
2008
IEEE
16 years 17 days 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 ...
159
click to vote
TCS
2008
15 years 6 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...
165
click to vote
CSFW
2009
IEEE
16 years 26 days 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...