4355 search results - page 512 / 871 » From Interpretation to Compilation |
186
click to vote
SAS
2005
Springer
16 years 8 days ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
141
click to vote
SIGITE
2004
ACM
16 years 6 days ago
2004
ACM
This experience report describes lessons learned using first generation tablet PCs to support active learning in an undergraduate computer science laboratory course. We learned th...
177
click to vote
WOSP
2004
ACM
16 years 6 days ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
161
click to vote
ADAEUROPE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
178
Voted
APWEB
2004
Springer
16 years 5 days ago
2004
Springer
In a state-of-the-art XML database, an XML query is evaluated as a sequence of structural joins in which positions of data nodes are used to perform each individual structural joi...