10622 search results - page 1711 / 2125 » Python Programming Language |
193
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ï¬...
184
click to vote
KBSE
2005
IEEE
16 years 11 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...
297
click to vote
VL
2005
IEEE
16 years 11 days 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...
167
click to vote
VL
2005
IEEE
16 years 11 days 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...
200
click to vote
WORDS
2005
IEEE
16 years 11 days ago
2005
IEEE
A major advantage of service-based computing technology is the ability to enable rapid formation of large-scale distributed systems by composing massively available services to ac...