23036 search results - page 4413 / 4608 » Sketching informal presentations |
189
click to vote
OOPSLA
2005
Springer
16 years 1 days ago
2005
Springer
We present a points-to analysis technique suitable for environments with small time and memory budgets, such as just-in-time (JIT) compilers and interactive development environmen...
148
click to vote
TACAS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience wi...
178
click to vote
VSTTE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
188
click to vote
ACMDIS
2004
ACM
16 years 5 hour ago
2004
ACM
Context photography consists of capturing context when taking a still picture, by sensing physical input in addition to light and representing it visually in real time. With this ...
165
click to vote
ACMDIS
2004
ACM
16 years 5 hour ago
2004
ACM
Toolkits and other tools have dramatically reduced the time and technical expertise needed to design and implement graphical user interfaces (GUIs) allowing high-quality, iterativ...