262 search results - page 26 / 53 » Hybrid Constraints in Automated Model Synthesis and Model Pr... |
136
click to vote
TIME
1994
IEEE
15 years 8 months ago
1994
IEEE
: In this paper we explain how we have integrated the functionalities of a constraint management system and a temporal data base system to enable a model-based control of systems t...
135
Voted
DAC
2001
ACM
16 years 4 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
108
click to vote
AIPS
1998
15 years 5 months ago
1998
Casting planning problems as propositional satis ability problems has recently been shown to be an effective way of scaling up plan synthesis. Until now, the bene ts of this appro...
147
click to vote
IJHPCA
2010
15 years 2 months ago
2010
As high-end computing systems continue to grow in scale, recent advances in multiand many-core architectures have pushed such growth toward more denser architectures, that is, mor...
143
click to vote
MOBISYS
2007
ACM
16 years 3 months ago
2007
ACM
Provenance becomes a critical requirement for healthcare IT infrastructures, especially when pervasive biomedical sensors act as a source of raw medical streams for large-scale, a...