3169 search results - page 330 / 634 » Robust Timed Automata |
169
click to vote
GLVLSI
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper we have applied statistical sizing in an industrial setting. Efficient implementation of the statistical sizing algorithm is achieved by utilizing a dedicated interi...
152
click to vote
ICMCS
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract— Driven by the recent advances in digital entertainment technologies, digital multimedia content (such as music and movies) is becoming a major part of the average compu...
152
click to vote
SIGCSE
2004
ACM
16 years 2 days ago
2004
ACM
We present software tools that support robust input processing and comprehensive testing in Java. The software includes the JPT library that supports error-checked typed input via...
161
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
The design of new diagram recognition systems remains a challenging problem. Ideally, recognition systems should accept real-world input, perform robustly, fail gracefully, and be...
176
Voted
OTM
2009
Springer
15 years 11 months ago
2009
Springer
Grids currently serve as platforms for numerous scientific as well as business applications that generate and access vast amounts of data. In this paper, we address the need for e...