3742 search results - page 592 / 749 » On the Use of Formal Techniques for Validation |
185
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
186
click to vote
PCI
2005
Springer
15 years 12 months ago
2005
Springer
Cache misses form a major bottleneck for memory-intensive applications, due to the significant latency of main memory accesses. Loop tiling, in conjunction with other program tran...
168
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents our ongoing effort on developing a principled methodology for automatic ontology mapping based on BayesOWL, a probabilistic framework we developed for modeling ...
171
click to vote
DFG
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
180
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...