705 search results - page 109 / 141 » New Compilation Languages Based on Structured Decomposabilit... |
113
click to vote
FDL
2004
IEEE
15 years 1 months ago
2004
IEEE
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
CORR
2010
Springer
14 years 8 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
IFIP
2009
Springer
14 years 7 months ago
2009
Springer
RFID technology is, according to both industry and academia, one of the most promising new technologies for improving logistics and manufacturing excellence this decade. This resea...
IWOMP
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Exploiting the full computational power of current hierarchical multiprocessor machines requires a very careful distribution of threads and data among the underlying non-...
LREC
2008
14 years 11 months ago
2008
Accessing structured data in the form of ontologies requires training and learning formal query languages (e.g., SeRQL or SPARQL) which poses significant difficulties for non-expe...