651 search results - page 130 / 131 » Structured Types and Separation Logic |
PLDI
2009
ACM
14 years 8 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
ASUNAM
2009
IEEE
14 years 2 months ago
2009
IEEE
—We envision new communication paradigms, using physical dynamic interconnectedness among people. Delay Tolerant Networks (DTNs) are a new communication paradigm to support such ...
CAISE
2003
Springer
14 years 19 days ago
2003
Springer
Abstract. Even though SQL has become widely accepted as a language for implementing relational database schemas and querying data, there are cases where s experience the need for n...
FPGA
2003
ACM
14 years 19 days ago
2003
ACM
This paper presents a new power saving, high speed FPGA design enhancing a previous SiGe CML FPGA based on the Xilinx 6200 FPGA. The design aims at having a higher performance but...
JISBD
2000
13 years 8 months ago
2000
A Natural Language Interface for Databases allows users of multimedia kiosks to formulate natural language questions. User questions are first translated into a logic language and ...