2631 search results - page 273 / 527 » A Practical Method for the Sparse Resultant |
189
click to vote
ACSD
2006
IEEE
16 years 1 months ago
2006
IEEE
Synchronous Data Flow Graphs (SDFGs) are a useful tool for modeling and analyzing embedded data flow applications, both in a single processor and a multiprocessing context or for...
247
click to vote
CBSQ
2003
Springer
16 years 15 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
177
click to vote
VLSID
1997
IEEE
15 years 11 months ago
1997
IEEE
—Logical initializability is the property of a gate-level circuit whereby it can be driven to a unique start state when simulated by a three-valued (0, 1, ) simulator. In practic...
199
click to vote
HYBRID
1994
Springer
15 years 11 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
201
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...