1260 search results - page 234 / 252 » OpenJ: An Extensible System Level Design Language |
HYBRID
2010
Springer
15 years 2 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
IPPS
2003
IEEE
15 years 2 months ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
CIKM
2004
Springer
15 years 3 months ago
2004
Springer
We study the representation, derivation and utilization of a special kind of constraints in multidatabase systems. A major challenge is when component database schemas are schemat...
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
ICTAI
2008
IEEE
15 years 4 months ago
2008
IEEE
Ontologies are a well-motivated formal representation to model knowledge needed to extract and encode data from text. Yet, their tight integration with Information Extraction (IE)...