1236 search results - page 181 / 248 » The Problems of Data Modeling in Software Practice |
152
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
130
click to vote
DDECS
2007
IEEE
15 years 10 months ago
2007
IEEE
—Current system-on-chip implementations integrate IP blocks from different vendors. Typical problems are incompatibility and integration overheads. This paper presents a case stu...
144
click to vote
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
136
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this research paper we address the importance of Product Data Management (PDM) with respect to its contributions in industry. Moreover we also present some currently available ...
127
click to vote
ICCAD
2009
IEEE
15 years 2 months ago
2009
IEEE
Very thorough online self-test is essential for overcoming major reliability challenges such as early-life failures and transistor aging in advanced technologies. This paper demon...