278 search results - page 25 / 56 » A Framework for Counterexample Generation and Exploration |
127
click to vote
FDL
2006
IEEE
15 years 6 months ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
ISI
2008
Springer
15 years 12 days ago
2008
Springer
Often several cooperating parties would like to have a global view of their joint data for various data mining objectives, but cannot reveal the contents of individual records due...
102
Voted
SC
2009
ACM
15 years 5 months ago
2009
ACM
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...
107
Voted
BMCBI
2010
15 years 16 days ago
2010
Background: New technologies are enabling the measurement of many types of genomic and epigenomic information at scales ranging from the atomic to nuclear. Much of this new data i...
111
click to vote
CDVE
2004
Springer
15 years 5 months ago
2004
Springer
Creativity has become a valuable asset, given the fast paced changes most companies must nowadays deal with. Companies now look for creative, highly adaptive individuals who can ex...