10912 search results - page 1770 / 2183 » Object-Oriented Programming Languages |
165
Voted
VL
2006
IEEE
16 years 25 days ago
2006
IEEE
We have been working to uncover gender differences in the ways males and females problem solve in end-user programming situations, and have discovered differences in males’ vers...
186
click to vote
CASES
2006
ACM
16 years 24 days ago
2006
ACM
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...
189
click to vote
SAC
2006
ACM
16 years 23 days ago
2006
ACM
In this paper, we describe the design and implementation of a tuple-based distributed memory realized with the use of RFID technology. The key idea – rooted in a more general sc...
194
click to vote
VEE
2006
ACM
16 years 23 days ago
2006
ACM
We present Vector LLVA, a virtual instruction set architecture (VISA) that exposes extensive static information about vector parallelism while avoiding the use of hardware-speciï¬...
185
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...