7557 search results - page 245 / 1512 » Constraints as a design pattern |
156
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
230
click to vote
EWSN
2006
Springer
16 years 6 months ago
2006
Springer
For the proper design of energy-efficient error control schemes some insight into channel error patterns is needed. This paper presents bit error and packet loss measurements taken...
189
Voted
AUTOID
2005
IEEE
16 years 9 days ago
2005
IEEE
In this paper, we analyze impedance matching concepts in passive radio frequency identification (RFID) transponders, which are powered by the incoming RF energy and consist of an...
137
click to vote
AIED
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The behaviorist view of learning that informs much of traditional schooling is not likely to invite students and teachers to see errors in a positive light. This is parti...
177
click to vote
ITC
1992
IEEE
15 years 10 months ago
1992
IEEE
In this paper we report an automatic test pattern generator that can handle designs with one million gates or more on medium size workstations. Run times and success rates, i.e. t...