5451 search results - page 718 / 1091 » Typed Operational Semantics |
167
click to vote
IDEAS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
179
click to vote
RTSS
1999
IEEE
15 years 11 months ago
1999
IEEE
High performance monitoring and control of real-time environments over the Internet is of importance to many users. The general public, as well as professionals, desires the abili...
236
click to vote
ISD
1999
Springer
15 years 11 months ago
1999
Springer
The successful development of any geographic information system project needs the careful design and implementation of spatial databases via conceptual and logical data-modeling. T...
187
click to vote
ICCL
1998
IEEE
15 years 11 months ago
1998
IEEE
On-line partial evaluators are hardly ever selfapplicable, because the complexity of deciding whether to residualize terms causes combinatorial explosion when self-application is ...
204
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...