7529 search results - page 307 / 1506 » The Modula-3 Type System |
156
click to vote
USENIX
1993
15 years 8 months ago
1993
Discovering different types of file resources (such as documentation, programs, and images) in the vast amount of data contained within network file systems is useful for both u...
163
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
A fundamental problem in the simulation and control of complex physical systems containing distributed-parameter components concerns finite-dimensional approximation. Numerical me...
205
click to vote
LCTRTS
1999
Springer
15 years 11 months ago
1999
Springer
The SpecInt95 benchmark suite is often used to evaluate the performance of programming tools, including those used for embedded systems programming. Embedded applications, however...
154
click to vote
ICECCS
1998
IEEE
15 years 11 months ago
1998
IEEE
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...
171
click to vote
EP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Multimedia style sheet systems uniformly use a constraintbased model of layout. Constraints provide a uniform mechanism for all aspects of style management and layout and...