10575 search results - page 1691 / 2115 » T2Script Programming Language |
173
Voted
SAC
2006
ACM
16 years 8 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...
183
click to vote
VEE
2006
ACM
16 years 8 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ï¬...
161
click to vote
KBSE
2005
IEEE
15 years 12 months 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...
288
click to vote
VL
2005
IEEE
15 years 12 months ago
2005
IEEE
Despite years of availability of testing tools, professional software developers still seem to need better support to determine the effectiveness of their tests. Without improveme...
156
click to vote
VL
2005
IEEE
15 years 12 months ago
2005
IEEE
During our work with microfinance groups in rural India, we found that paper plays a crucial role in many local information practices. However, paperbased record keeping can be in...