10707 search results - page 1711 / 2142 » Designing executable abstractions |
189
click to vote
ICCS
2003
Springer
16 years 25 days ago
2003
Springer
Object oriented languages, in particular Java, use a frequent dynamic dispatch mechanism to search for the definition of an invoked method. A method could be defined in more than...
202
click to vote
ICS
2003
Tsinghua U.
16 years 25 days ago
2003
Tsinghua U.
We describe the architecture for a single-chip aegis processor which can be used to build computing systems secure against both physical and software attacks. Our architecture ass...
190
click to vote
PLDI
2010
ACM
16 years 21 days ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
226
click to vote
FCCM
2002
IEEE
16 years 17 days ago
2002
IEEE
The paper presents a Design Space Exploration (DSE) experiment which has been carried out in order to determine the optimum FPGA–based Variable-Length Decoder (VLD) computing re...
172
click to vote
SIGMOD
2010
ACM
16 years 13 days ago
2010
ACM
Spreadsheets are among the most commonly used applications for data management and analysis. Perhaps they are even among the most widely used computer applications of all kinds. H...