31387 search results - page 385 / 6278 » Abstracts |
150
click to vote
WIA
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In computer science methods to aid learning are very imporcause abstract models are used frequently. For this conventional teaching methods do not suffice. We have develo...
137
click to vote
SIGCSE
1998
ACM
15 years 11 months ago
1998
ACM
tterns help narrow the gap between the abstract views of the data structures and their concrete implementations. The smaller the gap, the higher the level action. The more abstract...
181
click to vote
FPL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This work discusses the Memory Architecture for Reconfigurable Computers (MARC), a scalable, device-independent memory interface that supports both irregular (via configu...
172
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
128
click to vote
PSB
2007
15 years 8 months ago
2007
bstract. We are distributing 281 annotated abstracts and another 5,000 noisily d abstracts along with a gene name lexicon to participants. We have performed a series of baseline ex...