3056 search results - page 289 / 612 » Compiling Embedded Languages |
101
click to vote
USENIX
2000
15 years 15 days ago
2000
Traditional file system development is difficult. Stackable file systems promise to ease the development of file systems by offering a mechanism for incremental development. Unfor...
110
click to vote
ISORC
2005
IEEE
15 years 4 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
CIA
2004
Springer
15 years 4 months ago
2004
Springer
To realize large-scale socially embedded multiagent systems, this paper proposes a new system design methodology towards society-centered design. We have already developed the scen...
IJCAI
2007
15 years 18 days ago
2007
In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic, and rule bases have been propo...
ML
2010
ACM
14 years 9 months ago
2010
ACM
Image annotation datasets are becoming larger and larger, with tens of millions of images and tens of thousands of possible annotations. We propose a strongly performing method tha...