2881 search results - page 541 / 577 » Model Checking for Programming Languages using Verisoft |
120
click to vote
VRML
2010
ACM
15 years 5 months ago
2010
ACM
Thanks to the WebGL graphics API specification for the JavaScript programming language, the possibility of using the GPU capabilities in a web browser without the need for an ad-...
145
click to vote
NN
2000
Springer
15 years 1 months ago
2000
Springer
The article contributes to the quest to relate global data on brain and behavior (e.g. from PET, Positron Emission Tomography, and fMRI, functional Magnetic Resonance Imaging) to ...
113
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...
158
click to vote
SIGADA
2001
Springer
15 years 6 months ago
2001
Springer
Statement and AbstractProblem Statement and AbstractProblem Statement and AbstractProblem Statement and Abstract The U.S. Navy currently bases the majority of our contact managemen...
114
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...