2573 search results - page 462 / 515 » Combinations of Modal Logics |
136
click to vote
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Source code querying tools allow programmers to explore relations between different parts of the code base. This paper describes such a tool, named CodeQuest. It combines...
145
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
In NAND flash-based storage systems, an intermediate software layer called a flash translation layer (FTL) is usually employed to hide the erase-before-write characteristics of NA...
142
click to vote
FPGA
2000
ACM
15 years 7 months ago
2000
ACM
With increased logic density due to the shift towards Deep Submicron technologies (DSM), FPGAs have become a viable option for implementing large designs. However, most commercial...
108
click to vote
IMS
2000
15 years 7 months ago
2000
Many architectural ideas that appear to be useful from a hardware standpoint fail to achieve wide acceptance due to lack of compiler support. In this paper we explore the design of...
134
Voted
POPL
1995
ACM
15 years 7 months ago
1995
ACM
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...