1573 search results - page 73 / 315 » Picture Programming Project |
TSC
2010
14 years 6 months ago
2010
Today's data centers offer IT services mostly hosted on dedicated physical servers. Server virtualization provides a technical means for server consolidation. Thus, multiple v...
VMCAI
2005
Springer
15 years 5 months ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ď...
105
click to vote
PPPJ
2003
ACM
15 years 5 months ago
2003
ACM
We report on a continuing study into teaching programming to pre-teens school-children, with some as young as seven years old. As part of the study we aim to test childrens’ alg...
HCI
2009
14 years 9 months ago
2009
The review starts with the assessment of needs for health promotion, particularly drawing upon the aging of the workforce in Europe and U.S. Basic intervention models for work site...
ISCA
1987
IEEE
15 years 3 months ago
1987
IEEE
This paper presents a new multiprocessor architecture for the parallel execution of logic programs, developed as part of the Aquarius Project. This architecture is designed to sup...