4211 search results - page 485 / 843 » Types as Abstract Interpretations |
192
click to vote
FDL
2006
IEEE
16 years 21 days ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
173
click to vote
EDOC
2007
IEEE
16 years 1 months ago
2007
IEEE
The process of composing a service from other services typically involves multiple models. These models may represent the service from distinct perspectives, e.g., to model the di...
163
click to vote
COSIT
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper analyses the semantics of natural language expressions that are associated with the intuitive notion of ‘place’. We note that the nature of such terms is h...
169
click to vote
FCCM
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper, we present hthreads, a unifying programming model for specifying application threads running within a hybrid CPU/FPGA system. Threads are specified from a single p...
163
click to vote
ICTAI
2005
IEEE
16 years 7 days ago
2005
IEEE
Designing cooperative multi-robot systems (MRS) requires expert knowledge both in control and artificial intelligence. Formation control is an important research within the resea...