2604 search results - page 332 / 521 » General constant expressions for system programming language... |
253
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
139
Voted
IWMM
2009
Springer
15 years 11 months ago
2009
Springer
Dynamic binary instrumentation systems are used to inject or modify arbitrary instructions in existing binary applications; several such systems have been developed over the past ...
170
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
Dynamic binary translation (DBT) has been used to achieve numerous goals (e.g., better performance) for general-purpose computers. Recently, DBT has also attracted attention for e...
137
Voted
ENTCS
2007
15 years 4 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
126
Voted
EICS
2009
ACM
15 years 11 months ago
2009
ACM
Adaptive groupware systems support changes in users’ locations, devices, roles and collaborative structure. Developing such systems is difficult due to the complex distributed ...