Sciweavers

6829 search results - page 1073 / 1366
» Quantitative Generalizations of Languages
Sort
View
162
Voted
QSIC
2005
IEEE
16 years 8 days ago
Runtime Validation of Behavioural Contracts for Component Software
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
Yan Jin, Jun Han
ACMMSP
2005
ACM
129views Hardware» more  ACMMSP 2005»
16 years 7 days ago
A locality-improving dynamic memory allocator
In general-purpose applications, most data is dynamically allocated. The memory manager therefore plays a crucial role in application performance by determining the spatial locali...
Yi Feng, Emery D. Berger
190
Voted
ACMSE
2005
ACM
16 years 7 days ago
Towards a "humans-first" computer science curriculum
Traditionally, computer science education has considered “objects-first” or “imperative-first” approaches, with the focus of the course on teaching design of programs star...
D. Scott McCrickard, Charles J. Fowler, Christa M....
190
Voted
ACMSE
2005
ACM
16 years 7 days ago
On developing a simple in-house digital library archive
Digital libraries (DLs) have become a major focus of information technology resources for organizations from academia, to the US Department of Defense to the archeological efforts...
Eric L. Brown, Luis G. Velazco, G. Kirksey, S. Ram...
APLAS
2005
ACM
16 years 7 days ago
Heterogeneous Fixed Points with Application to Points-To Analysis
Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existe...
Aditya Kanade, Uday P. Khedker, Amitabha Sanyal
« Prev « First page 1073 / 1366 Last » Next »