3169 search results - page 390 / 634 » Robust Timed Automata |
182
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Tracking of multiple objects in biological image data is a challenging problem due largely to poor imaging conditions and complicated motion scenarios. Existing tracking algorithm...
166
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
We present a methodology and algorithms for automatic refinement from a given design specification to an architecture model based on decisions in architecture exploration. An arch...
196
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...
172
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Pervasive computing applications are tedious to develop because they combine a number of problems ranging from device heterogeneity, to middleware constraints, to lack of programm...
155
Voted
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
- This paper performs analysis and design of latches and flip-flops while considering the effect of event upsets caused by energetic particle hits. First it is shown that the conve...