10871 search results - page 1872 / 2175 » A stable programming language |
271
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract The Firing Squad Synchronization Problem is one of the classical problems for cellular automata. In this paper we consider the case of more than one general. A synchronous...
154
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
181
click to vote
UML
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
194
click to vote
APCSAC
2003
IEEE
16 years 19 hour ago
2003
IEEE
This paper introduces a method which can be used to map applications written in a high level source language program, like C, to a coarse grain reconfigurable architecture, MONTIU...
207
click to vote
CVPR
2003
IEEE
16 years 16 hour ago
2003
IEEE
We develop a framework for the image segmentation problem based on a new graph-theoretic formulation of clustering. The approach is motivated by the analogies between the intuitiv...