Sciweavers

7555 search results - page 54 / 1511
» The Type System of DBPL
Sort
View
ICCHP
2004
Springer
14 years 2 months ago
First User Test Results with the Predictive Typing System FASTY
This paper gives a brief overview about the partially EU funded project IST-2000-25420 FASTY in the IST program. The objective of FASTY was the creation of a system for increasing ...
Christian Beck, Gottfried Seisenbacher, Georg Edel...
POPL
2000
ACM
14 years 1 months ago
A Type System for Dynamic Web Documents
Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes t...
Anders Sandholm, Michael I. Schwartzbach
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
14 years 18 days ago
A Behavioral Type Inference System for Compositional System-on-Chip Design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
Jean-Pierre Talpin, David Berner, Sandeep K. Shukl...
SCL
2008
75views more  SCL 2008»
13 years 8 months ago
Stabilization of a Boussinesq system of KdV-KdV type
A family of Boussinesq systems has recently been proposed by J. L. Bona, M. Chen, and J.-C. Saut in [2] to describe the two-way propagation of small amplitude gravity waves on the ...
Ademir F. Pazoto, Lionel Rosier
POPL
2000
ACM
14 years 1 months ago
Type Systems for Distributed Data Structures
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...
Ben Liblit, Alexander Aiken