2373 search results - page 302 / 475 » On the Theory of Structural Subtyping |
165
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
184
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
177
click to vote
COMPGEOM
2009
ACM
16 years 1 months ago
2009
ACM
We study the problem of computing zigzag persistence of a sequence of homology groups and study a particular sequence derived from the levelsets of a real-valued function on a top...
183
click to vote
MEMOCODE
2007
IEEE
16 years 27 days ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
170
click to vote
AIRWEB
2007
Springer
16 years 24 days ago
2007
Springer
Nowadays web spamming has emerged to take the economic advantage of high search rankings and threatened the accuracy and fairness of those rankings. Understanding spamming techniq...