844 search results - page 11 / 169 » More On Implicit Syntax |
DSRT
2008
IEEE
15 years 3 months ago
2008
IEEE
According to statistics and future prospects in the next few years world-wide energy consumption will increase significantly. Therefore not only more energy efficient technologi...
DAC
1994
ACM
15 years 29 days ago
1994
ACM
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...
165
Voted
AIED
2011
Springer
14 years 1 months ago
2011
Springer
Self-assessment motivation questionnaires have been used in classrooms yet many researchers find only a weak correlation between answers to these questions and learning. In this pa...
FORMATS
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
PG
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper, we propose efficient numerical techniques for Butterworth filtering and implicit fairing of large irregular triangle meshes, where the corresponding filters are ...