3575 search results - page 239 / 715 » Modeling Concurrency with Geometry |
187
click to vote
PAMI
2010
15 years 4 months ago
2010
—Adapting the hyperparameters of support vector machines (SVMs) is a challenging model selection problem, especially when flexible kernels are to be adapted and data are scarce....
178
Voted
CBSE
2005
Springer
15 years 11 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
150
Voted
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
160
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
173
click to vote
FIDJI
2003
Springer
15 years 11 months ago
2003
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...