1260 search results - page 120 / 252 » OpenJ: An Extensible System Level Design Language |
204
click to vote
CSFW
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper we compare two information flow security properties: the lazy security (L-Sec) [11] and the Bisimulation Non-deducibility on Compositions (BNDC) [4]. To make this we...
307
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
182
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a hw/sw codesign methodology based on BORPH, an operating system designed for FPGA-based reconfigurable computers (RC's). By providing native kernel suppo...
165
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
In-situ reconfiguration of software is indispensable in embedded networked sensing systems. It is required for re-tasking a deployed network, fixing bugs, introducing new features...
264
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...