7167 search results - page 211 / 1434 » A Technique for Invariant Generation |
211
click to vote
SPIN
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
205
click to vote
ACMSE
2004
ACM
16 years 19 days ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
234
click to vote
RSP
2003
IEEE
16 years 14 days ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
202
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
We describe a new approach for creating concise high-level generative models from range images or other approximate representations of real objects. Using data from a variety of a...
184
click to vote
EACL
2010
ACL Anthology
15 years 7 months ago
2010
ACL Anthology
Abstract. Data-to-text generation systems tend to be knowledge-based and manually built, which limits their reusability and makes them time and cost-intensive to create and maintai...