2416 search results - page 141 / 484 » The Language of Cortical Dynamics |
159
click to vote
RML
2002
15 years 6 months ago
2002
In E-commerce processes, various rules and constraints regarding product specifications, pricing, terms and conditions are exchanged between vendors and buyers. Developing a forma...
238
click to vote
VEE
2012
ACM
14 years 1 months ago
2012
ACM
Process-level virtualization is increasingly being used to enhance the security of software applications from reverse engineering and unauthorized modification (called software p...
214
click to vote
ISSTA
2012
ACM
13 years 8 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
162
click to vote
HPCA
2011
IEEE
14 years 10 months ago
2011
IEEE
Dynamic languages such as Javascript are the de-facto standard for web applications. However, generating efficient code for dynamically-typed languages is a challenge, because it...
159
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
This paper describes the implementation of a purely functional programming language for building software systems. In this language, external tools like compilers and linkers are ...