1312 search results - page 117 / 263 » Embedded contract languages |
172
click to vote
JTRES
2010
ACM
15 years 3 months ago
2010
ACM
We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specification. SCJ is designed to make Java amenable to writing mission- and safety-critical software...
158
Voted
FDL
2006
IEEE
15 years 9 months ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
100
click to vote
NAACL
2007
15 years 4 months ago
2007
This paper explores the potential for annotating and enriching data for low-density languages via the alignment and projection of syntactic structure from parsed data for resource...
133
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
193
click to vote
CINQ
2004
Springer
15 years 8 months ago
2004
Springer
Spatial data mining is a process used to discover interesting but not explicitly available, highly usable patterns embedded in both spatial and nonspatial data, which are possibly ...