1421 search results - page 171 / 285 » Satisfying KBO Constraints |
192
click to vote
ICRA
2003
IEEE
16 years 13 days ago
2003
IEEE
−−−− Ordinary t-timed Petri Nets are used for modeling, analysis and synthesis of random topology production systems and networks. Each production system is first decompose...
172
click to vote
ISQED
2003
IEEE
16 years 13 days ago
2003
IEEE
An algorithm for mapping core terminals to System-On-a-Chip (SOC) I/O pins and scheduling tests in order to achieve costefficient concurrent test for core-based designs is present...
168
click to vote
ITC
2002
IEEE
16 years 2 days ago
2002
IEEE
—Logic optimization is the step of the very large scale integration (VLSI) design cycle where the designer performs modifications on a design to satisfy different constraints suc...
202
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
We consider the problem of anomaly detection in multiple co-evolving data streams. In this paper, we introduce FRAHST (Fast Rank-Adaptive row-Householder Subspace Tracking). It au...
202
click to vote
MPC
2010
Springer
15 years 12 months ago
2010
Springer
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...