3101 search results - page 579 / 621 » Using Relational Databases in the Engineering Repository Sys... |
161
Voted
JIT
2004
Springer
15 years 7 months ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
160
click to vote
CAD
2010
Springer
15 years 2 months ago
2010
Springer
Augmented Reality (AR) has been acclaimed as one of the promising technologies for advancing future UbiComp (Ubiquitous Computing) environments. Despite a myriad of AR application...
133
Voted
EUROSYS
2007
ACM
15 years 11 months ago
2007
ACM
The major chip manufacturers have all introduced chip multiprocessing (CMP) and simultaneous multithreading (SMT) technology into their processing units. As a result, even low-end...
104
click to vote
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
119
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...