Sciweavers

6829 search results - page 1073 / 1366
» Quantitative Generalizations of Languages
Sort
View
QSIC
2005
IEEE
15 years 10 months 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»
15 years 10 months 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
ACMSE
2005
ACM
15 years 10 months 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....
ACMSE
2005
ACM
15 years 10 months 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
15 years 10 months 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 »