Sciweavers

2251 search results - page 143 / 451
» Specification and Implementation Problems for C
Sort
View
142
Voted
SIGCOMM
1997
ACM
15 years 8 months ago
Potential Benefits of Delta Encoding and Data Compression for HTTP
Caching in the World Wide Web currently follows a naive model, which assumes that resources are referenced many times between changes. The model also provides no way to update a c...
Jeffrey C. Mogul, Fred Douglis, Anja Feldmann, Bal...
FPGA
2000
ACM
168views FPGA» more  FPGA 2000»
15 years 7 months ago
A benchmark suite for evaluating configurable computing systems--status, reflections, and future directions
This paper presents a benchmark suite for evaluating a configurable computing system's infrastructure, both tools and architecture. A novel aspect of this work is the use of ...
S. Kumar, Luiz Pires, Subburajan Ponnuswamy, C. Na...
137
Voted
WSC
2008
15 years 6 months ago
PLCStudio: Simulation based PLC code verification
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
Sang C. Park, Chang Mok Park, Gi-Nam Wang, Jonggeu...
AMW
2010
15 years 5 months ago
Generating XML/GML Schemas from Geographic Conceptual Schemas
Abstract. A large volume of data with complex structures is currently represented in GML (Geography Markup Language) for storing and exchanging geographic information. As the size ...
André C. Hora, Clodoveu A. Davis Jr., Mirel...
135
Voted
DICTA
2007
15 years 5 months ago
Efficient Image Processing with the Apply Language
Apply is a Domain-Specific Language for image processing and low-level computer vision. Apply allows programmers to write kernel operations that focus on the computation for a sin...
Leonard G. C. Hamey